package caqti

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `System_utils.Monad_syntax`Source

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