Module Kxclib.MonadOps

Parameters

module M : sig ... end

Signature

val return : 'a -> 'a M.t
val returning : 'a -> _ -> 'a M.t
val (>>=) : 'a M.t -> ('a -> 'b M.t) -> 'b M.t
val (>>) : 'x M.t -> 'y M.t -> 'y M.t
val (>|=) : 'x M.t -> ('x -> 'y) -> 'y M.t
val sequence_list : 'a M.t list -> 'a list M.t
val (>>=*) : 'x M.t list -> ('x list -> 'y M.t) -> 'y M.t