Compo_resT2 (soteria-rust.Soteria_rust_lib.State.StateM.Compo

Parameters

module I : sig ... end

module M : sig ... end

Signature

type ('a, 'b) t = (('a, I.error, I.fix) Compo_res.t, 'b) M.t

val ok : 'a -> (('a, 'b, 'c) Compo_res.t, 'd) M.t

val error : 'a -> (('b, 'a, 'c) Compo_res.t, 'd) M.t

val miss : 'a list -> (('b, 'c, 'a) Compo_res.t, 'd) M.t

val bind : 
  (('a, 'b, 'c) Compo_res.t, 'd) M.t ->
  ('a -> (('e, 'b, 'c) Compo_res.t, 'd) M.t) ->
  (('e, 'b, 'c) Compo_res.t, 'd) M.t

val bind2 : 
  (('a, 'b, 'c) Compo_res.t, 'd) M.t ->
  ('a -> (('e, 'f, 'c) Compo_res.t, 'd) M.t) ->
  ('b -> (('e, 'f, 'c) Compo_res.t, 'd) M.t) ->
  (('e, 'f, 'c) Compo_res.t, 'd) M.t

val map : ('a, 'b) t -> ('a -> 'c) -> ('c, 'b) t

val lift : ('a, 'b) M.t -> ('a, 'b) t