MonadReaderResult (cooltt.Basis.Monad.MonadReaderResult)

Parameters

module X : sig ... end

include MonadReaderResult
  with type 'a m = X.local -> ('a, exn) Stdlib.result
  with type local := X.local

include S with type 'a m = X.local -> ('a, exn) Stdlib.result

type 'a m = X.local -> ('a, exn) Stdlib.result

val ret : 'a -> 'a m

val bind : 'a m -> ('a -> 'b m) -> 'b m

val read : X.local m

val scope : (X.local -> X.local) -> 'a m -> 'a m

val run : X.local -> 'a m -> ('a, exn) Stdlib.result

val run_exn : X.local -> 'a m -> 'a

val throw : exn -> 'a m

val trap : 'a m -> ('a, exn) Stdlib.result m