Module Monad.ListSource

Parameters

module M : S

Signature

Sourceval find_map : 'a list -> f:('a -> 'b option M.t) -> 'b option M.t
Sourceval map : 'a list -> f:('a -> 'b M.t) -> 'b list M.t
Sourceval concat_map : 'a list -> f:('a -> 'b list M.t) -> 'b list M.t
Sourceval exists : 'a list -> f:('a -> bool M.t) -> bool M.t
Sourceval iter : 'a list -> f:('a -> unit M.t) -> unit M.t
Sourceval filter : 'a list -> f:('a -> bool M.t) -> 'a list M.t
Sourceval filter_map : 'a list -> f:('a -> 'b option M.t) -> 'b list M.t
Sourceval fold_left : 'a list -> f:('acc -> 'a -> 'acc M.t) -> init:'acc -> 'acc M.t
Sourceval for_all : 'a list -> f:('a -> bool M.t) -> bool M.t