Module type `Prime_enummap.S_monadic`

type key
type 'a t
type 'a monad

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