Module TzPervasives.Lwt_result_syntax
include module type of Tezos_error_monad.TzLwtreslib.Monad.Lwt_result_syntax
val return : 'a -> ( 'a, 'e ) Stdlib.result Lwt.t
val return_unit : ( unit, 'e ) Stdlib.result Lwt.t
val return_none : ( 'a option, 'e ) Stdlib.result Lwt.t
val return_some : 'a -> ( 'a option, 'e ) Stdlib.result Lwt.t
val return_nil : ( 'a list, 'e ) Stdlib.result Lwt.t
val return_true : ( bool, 'e ) Stdlib.result Lwt.t
val return_false : ( bool, 'e ) Stdlib.result Lwt.t
val fail : 'e -> ( 'a, 'e ) Stdlib.result Lwt.t
val let* :
( 'a, 'e ) Stdlib.result Lwt.t ->
( 'a -> ( 'b, 'e ) Stdlib.result Lwt.t ) ->
( 'b, 'e ) Stdlib.result Lwt.t
val let+ :
( 'a, 'e ) Stdlib.result Lwt.t ->
( 'a -> 'b ) ->
( 'b, 'e ) Stdlib.result Lwt.t
val lwt_map_error :
( 'e -> 'f ) ->
( 'a, 'e ) Stdlib.result Lwt.t ->
( 'a, 'f ) Stdlib.result Lwt.t
val let*! : 'a Lwt.t -> ( 'a -> 'b Lwt.t ) -> 'b Lwt.t
val let*? :
( 'a, 'e ) Stdlib.result ->
( 'a -> ( 'b, 'e ) Stdlib.result Lwt.t ) ->
( 'b, 'e ) Stdlib.result Lwt.t
val join :
( unit, 'e ) Stdlib.result Lwt.t list ->
( unit, 'e list ) Stdlib.result Lwt.t
val all :
( 'a, 'e ) Stdlib.result Lwt.t list ->
( 'a list, 'e list ) Stdlib.result Lwt.t
val both :
( 'a, 'e ) Stdlib.result Lwt.t ->
( 'b, 'e ) Stdlib.result Lwt.t ->
( 'a * 'b, 'e list ) Stdlib.result Lwt.t
val tzfail : 'error -> ( 'a, 'error TzTrace.trace ) Stdlib.result Lwt.t