Result.Error
The Error monad.
The error monad is a concretization of the result monad with the error type fixed to Error.t
, aka Or_error Monad
module type S = sig ... end
module Make
(M : Monad) :
S
with type 'a t := 'a T(M).t
and type 'a m := 'a T(M).m
and type 'a e := 'a T(M).e
and type err := Core_kernel.Error.t
Make(M)
wraps M
into the Error
monad.
include S
with type 'a t = 'a Core_kernel.Or_error.t
and type 'a m = 'a
and type 'a e = 'a Core_kernel.Or_error.t
and type err := Core_kernel.Error.t
include S
with type 'a t = 'a Core_kernel.Or_error.t
with type 'a m = 'a
with type 'a e = 'a Core_kernel.Or_error.t
with type err := Core_kernel.Error.t
include Monad with type 'a t := 'a t
sequence xs
computes a sequence of computations xs
in the left to right order.
module Fn : sig ... end
Various function combinators lifted into the Kleisli category.
module Pair : sig ... end
The pair interface lifted into the monad.
module Triple : sig ... end
The triple interface lifted into a monad.
module Lift : sig ... end
Lifts functions into the monad.
module Exn : sig ... end
Interacting between monads and language exceptions
module Collection : sig ... end
Lifts collection interface into the monad.
module List : Collection.S with type 'a t := 'a list
The Monad.Collection.S interface for lists
module Seq : Collection.S with type 'a t := 'a Core_kernel.Sequence.t
The Monad.Collection.S interface for sequences
include Syntax.Let.S with type 'a t := 'a t
include Core_kernel.Monad.S with type 'a t := 'a t
module Monad_infix : sig ... end
val return : 'a -> 'a t
module Let_syntax : sig ... end
module Let : Syntax.Let.S with type 'a t := 'a t
Monadic operators, see Monad.Syntax.S for more.
Monadic operators, see Monad.Syntax.S for more.
val failf :
('a, Stdlib.Format.formatter, unit, unit -> 'b t) Core_kernel.format4 ->
'a
failf "<fmt>" <args> ()
constructs an error message using the specified format description and returns a computation that will result in the constructed error.