Module Make.Make_monadic

Parameters

• Monad : Prime_sigs.Monad

Signature

type elt

type t

type 'a monad = 'a Monad.t

val fold_s : (elt -> 'a -> 'a monad) -> t -> 'a -> 'a monad

val iter_s : (elt -> unit monad) -> t -> unit monad

val search_s : (elt -> 'a option monad) -> t -> 'a option monad

val for_all_s : (elt -> bool monad) -> t -> bool monad

val exists_s : (elt -> bool monad) -> t -> bool monad

val filter_s : (elt -> bool monad) -> t -> t monad