Module type Monad_sequence.S

Helpers for operating over a sequence of data (currently, either an array or a list) inside of a monad.

type 'a monad
type 'a t
type boolean
val foldi : 'a t -> init:'b -> f:( int -> 'b -> 'a -> 'b monad ) -> 'b monad
val fold : 'a t -> init:'b -> f:( 'b -> 'a -> 'b monad ) -> 'b monad
val fold_map : 'a t -> init:'b -> f:( 'b -> 'a -> ('b * 'c) monad ) -> ('b * 'c t) monad
val exists : 'a t -> f:( 'a -> boolean monad ) -> boolean monad
val existsi : 'a t -> f:( int -> 'a -> boolean monad ) -> boolean monad
val for_all : 'a t -> f:( 'a -> boolean monad ) -> boolean monad
val for_alli : 'a t -> f:( int -> 'a -> boolean monad ) -> boolean monad
val all : 'a monad t -> 'a t monad
val all_unit : unit monad t -> unit monad
val init : int -> f:( int -> 'a monad ) -> 'a t monad
val iter : 'a t -> f:( 'a -> unit monad ) -> unit monad
val iteri : 'a t -> f:( int -> 'a -> unit monad ) -> unit monad
val map : 'a t -> f:( 'a -> 'b monad ) -> 'b t monad
val mapi : 'a t -> f:( int -> 'a -> 'b monad ) -> 'b t monad