val foldi :
'a list ->
init:'b ->
f:(int -> 'b -> 'a -> ('b, 'e) t) ->
('b, 'e) tval fold : 'a list -> init:'b -> f:('b -> 'a -> ('b, 'e) t) -> ('b, 'e) tval find : 'a list -> f:('a -> (bool, 'e) t) -> ('a option, 'e) tval findi :
'a list ->
f:(int -> 'a -> (bool, 'e) t) ->
((int * 'a) option, 'e) tval find_map : 'a list -> f:('a -> ('b option, 'e) t) -> ('b option, 'e) tval find_mapi :
'a list ->
f:(int -> 'a -> ('b option, 'e) t) ->
('b option, 'e) tval exists : 'a list -> f:('a -> (bool, 'e) t) -> (bool, 'e) tval existsi : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> (bool, 'e) tval for_all : 'a list -> f:('a -> (bool, 'e) t) -> (bool, 'e) tval for_alli : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> (bool, 'e) tDeferred iterators
val init : int -> f:(int -> ('a, 'e) t) -> ('a list, 'e) tval iter : 'a list -> f:('a -> (unit, 'e) t) -> (unit, 'e) tval iteri : 'a list -> f:(int -> 'a -> (unit, 'e) t) -> (unit, 'e) tval map : 'a list -> f:('a -> ('b, 'e) t) -> ('b list, 'e) tval mapi : 'a list -> f:(int -> 'a -> ('b, 'e) t) -> ('b list, 'e) tval filter : 'a list -> f:('a -> (bool, 'e) t) -> ('a list, 'e) tval filteri : 'a list -> f:(int -> 'a -> (bool, 'e) t) -> ('a list, 'e) tval filter_map : 'a list -> f:('a -> ('b option, 'e) t) -> ('b list, 'e) tval filter_mapi :
'a list ->
f:(int -> 'a -> ('b option, 'e) t) ->
('b list, 'e) tval concat_map : 'a list -> f:('a -> ('b list, 'e) t) -> ('b list, 'e) tval concat_mapi :
'a list ->
f:(int -> 'a -> ('b list, 'e) t) ->
('b list, 'e) t