tezos-error-monad

Tezos: error monad
Library tezos-error-monad
val return : 'a -> 'a Lwt.t

return x is an Lwt promise that is already resolved to x. return is an alias for Lwt.return.

val return_unit : unit Lwt.t

return_unit is an Lwt promise that is already resolved to (). It is an alias for Lwt.return_unit.

val return_none : _ option Lwt.t

return_none is an Lwt promise that is already resolved to None. It is an alias for Lwt.return_none.

val return_nil : _ list Lwt.t

return_nil is an Lwt promise that is already resolved to []. It is an alias for Lwt.return_nil.

val return_true : bool Lwt.t

return_true is an Lwt promise that is already resolved to true. It is an alias for Lwt.return_true.

val return_false : bool Lwt.t

return_false is an Lwt promise that is already resolved to false. It is an alias for Lwt.return_false.

val return_some : 'a -> 'a option Lwt.t

return_some x is an Lwt promise that is already resolved to Some x. return_some is an alias for Lwt.return_some.

val return_ok : 'a -> ( 'a, _ ) result Lwt.t

return_ok x is an Lwt promise that is already resolved to Ok x. return_ok is an alias for Lwt.return_ok.

val return_error : 'e -> ( _, 'e ) result Lwt.t

return_error x is an Lwt promise that is already resolved to Error x. return_error is an alias for Lwt.return_error.

The following return_ok_* functions are intended to be used within the scope of Lwt_syntax when returning results compatible with Lwt_result_syntax.

val return_ok_unit : ( unit, 'e ) result Lwt.t

return_ok_unit is an Lwt promise that is already resolved to Ok ().

val return_ok_true : ( bool, 'e ) result Lwt.t

return_ok_true is an Lwt promise that is already resolved to Ok true.

val return_ok_false : ( bool, 'e ) result Lwt.t

return_ok_false is an Lwt promise that is already resolved to Ok false.

val return_ok_none : ( 'a option, 'e ) result Lwt.t

return_ok_none is an Lwt promise that is already resolved to Ok None.

val return_ok_nil : ( 'a list, 'e ) result Lwt.t

return_ok_nil is an Lwt promise that is already resolved to Ok [].

val let* : 'a Lwt.t -> ( 'a -> 'b Lwt.t ) -> 'b Lwt.t

let* is a binding operator alias for Lwt.bind and Lwt.(>>=).

val and* : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

and* is a binding operator alias for Lwt.both and Lwt.(<&>).

val let+ : 'a Lwt.t -> ( 'a -> 'b ) -> 'b Lwt.t

let+ is a binding operator alias for Lwt.map and Lwt.(>|=).

val and+ : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

and+ is a binding operator alias for Lwt.both and Lwt.(<&>).

val join : unit Lwt.t list -> unit Lwt.t

join is the joining of concurrent unit values (it is Lwt.join).

val all : 'a Lwt.t list -> 'a list Lwt.t

all is the joining of concurrent non-unit values (it is Lwt.all).

val both : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

both is the joining of two concurrent non-unit values (it is Lwt.both).