Monad_syntax (reference.caqti.caqti.platform.Caqti_platform.System_utils.Monad

Parameters

module Monad : System_sig.FIBER

Sourceval (let*) : 'a Monad.t -> ('a -> 'b Monad.t) -> 'b Monad.t

Sourceval (let+) : 'a Monad.t -> ('a -> 'b) -> 'b Monad.t

val (>>=?) : 
  ('a, 'e) result Monad.t ->
  ('a -> ('b, 'e) result Monad.t) ->
  ('b, 'e) result Monad.t

Sourceval (>|=?) : ('a, 'e) result Monad.t -> ('a -> 'b) -> ('b, 'e) result Monad.t

val (let*?) : 
  ('a, 'e) result Monad.t ->
  ('a -> ('b, 'e) result Monad.t) ->
  ('b, 'e) result Monad.t

Sourceval (let+?) : ('a, 'e) result Monad.t -> ('a -> 'b) -> ('b, 'e) result Monad.t