package bastet

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Array.Traversable`

module A : Interface.APPLICATIVE

include Interface.FUNCTOR with type 'a t = 'a array

type 'a t = 'a array

val map : ('a -> 'b) -> 'a t -> 'b t

include Interface.FOLDABLE with type 'a t := 'a t

val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a

val fold_right : ('b -> 'a -> 'a) -> 'a -> 'b t -> 'a

module Fold_Map (M : Interface.MONOID) : sig ... end

module Fold_Map_Any (M : Interface.MONOID_ANY) : sig ... end

module Fold_Map_Plus (P : Interface.PLUS) : sig ... end

type 'a applicative_t = 'a A.t

val traverse : ('a -> 'b applicative_t) -> 'a t -> 'b t applicative_t

val sequence : 'a applicative_t t -> 'a t applicative_t