Module Make.Make_monadic

Parameters

• Monad : Prime_sigs.Monad

Signature

type key

type 'a t

type 'a monad = 'a Monad.t

val fold_s : (key -> 'a -> 'b -> 'b monad) -> 'a t -> 'b -> 'b monad

val iter_s : (key -> 'a -> unit monad) -> 'a t -> unit monad

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

val for_all_s : (key -> 'a -> bool monad) -> 'a t -> bool monad

val exists_s : (key -> 'a -> bool monad) -> 'a t -> bool monad

val filter_s : (key -> 'a -> bool monad) -> 'a t -> 'a t monad

val map_s : ('a -> 'b monad) -> 'a t -> 'b t monad

val mapi_s : (key -> 'a -> 'b monad) -> 'a t -> 'b t monad

val fmapi_s : (key -> 'a -> 'b option monad) -> 'a t -> 'b t monad