Module Result.List

val foldi : 'a list -> init:'b -> f:(int -> 'b -> 'a -> ('b, 'e) t) -> ('b, 'e) t
val fold : 'a list -> init:'b -> f:('b -> 'a -> ('b, 'e) t) -> ('b, 'e) t
val find : 'a list -> f:('a -> (bool, 'e) t) -> ('a option, 'e) t
val findi : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> ((int * 'a) option, 'e) t
val find_map : 'a list -> f:('a -> ('b option, 'e) t) -> ('b option, 'e) t
val find_mapi : 'a list -> f:(int -> 'a -> ('b option, 'e) t) -> ('b option, 'e) t
val exists : 'a list -> f:('a -> (bool, 'e) t) -> (bool, 'e) t
val existsi : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> (bool, 'e) t
val for_all : 'a list -> f:('a -> (bool, 'e) t) -> (bool, 'e) t
val for_alli : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> (bool, 'e) t

Deferred iterators

val init : int -> f:(int -> ('a, 'e) t) -> ('a list, 'e) t
val iter : 'a list -> f:('a -> (unit, 'e) t) -> (unit, 'e) t
val iteri : 'a list -> f:(int -> 'a -> (unit, 'e) t) -> (unit, 'e) t
val map : 'a list -> f:('a -> ('b, 'e) t) -> ('b list, 'e) t
val mapi : 'a list -> f:(int -> 'a -> ('b, 'e) t) -> ('b list, 'e) t
val filter : 'a list -> f:('a -> (bool, 'e) t) -> ('a list, 'e) t
val filteri : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> ('a list, 'e) t
val filter_map : 'a list -> f:('a -> ('b option, 'e) t) -> ('b list, 'e) t
val filter_mapi : 'a list -> f:(int -> 'a -> ('b option, 'e) t) -> ('b list, 'e) t
val concat_map : 'a list -> f:('a -> ('b list, 'e) t) -> ('b list, 'e) t
val concat_mapi : 'a list -> f:(int -> 'a -> ('b list, 'e) t) -> ('b list, 'e) t