Module TzMonad.Lwt_syntax

val return : 'a -> 'a Lwt.t
val return_unit : unit Lwt.t
val return_none : 'a option Lwt.t
val return_nil : 'a list Lwt.t
val return_true : bool Lwt.t
val return_false : bool Lwt.t
val return_some : 'a -> 'a option Lwt.t
val return_ok : 'a -> ('a, 'b) Stdlib.result Lwt.t
val return_error : 'e -> ('a, 'e) Stdlib.result Lwt.t
val return_ok_unit : (unit, 'e) Stdlib.result Lwt.t
val return_ok_true : (bool, 'e) Stdlib.result Lwt.t
val return_ok_false : (bool, 'e) Stdlib.result Lwt.t
val return_ok_none : ('a option, 'e) Stdlib.result Lwt.t
val return_ok_nil : ('a list, 'e) Stdlib.result Lwt.t
val let* : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
val and* : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t
val let+ : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t
val and+ : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t
val join : unit Lwt.t list -> unit Lwt.t
val all : 'a Lwt.t list -> 'a list Lwt.t
val both : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t