Module TzPervasives.Result_syntax

include module type of Tezos_error_monad.TzLwtreslib.Monad.Result_syntax
val return : 'a -> ( 'a, 'e ) Stdlib.result
val return_unit : ( unit, 'e ) Stdlib.result
val return_none : ( 'a option, 'e ) Stdlib.result
val return_some : 'a -> ( 'a option, 'e ) Stdlib.result
val return_nil : ( 'a list, 'e ) Stdlib.result
val return_true : ( bool, 'e ) Stdlib.result
val return_false : ( bool, 'e ) Stdlib.result
val fail : 'e -> ( 'a, 'e ) Stdlib.result
val let* : ( 'a, 'e ) Stdlib.result -> ( 'a -> ( 'b, 'e ) Stdlib.result ) -> ( 'b, 'e ) Stdlib.result
val let+ : ( 'a, 'e ) Stdlib.result -> ( 'a -> 'b ) -> ( 'b, 'e ) Stdlib.result
val join : ( unit, 'e ) Stdlib.result list -> ( unit, 'e list ) Stdlib.result
val all : ( 'a, 'e ) Stdlib.result list -> ( 'a list, 'e list ) Stdlib.result
val both : ( 'a, 'e ) Stdlib.result -> ( 'b, 'e ) Stdlib.result -> ( 'a * 'b, 'e list ) Stdlib.result
val tzfail : 'error -> ( 'a, 'error TzTrace.trace ) Stdlib.result
val and* : ( 'a, 'error TzTrace.trace ) Stdlib.result -> ( 'b, 'error TzTrace.trace ) Stdlib.result -> ( 'a * 'b, 'error TzTrace.trace ) Stdlib.result
val and+ : ( 'a, 'error TzTrace.trace ) Stdlib.result -> ( 'b, 'error TzTrace.trace ) Stdlib.result -> ( 'a * 'b, 'error TzTrace.trace ) Stdlib.result
val tzjoin : ( unit, 'error TzTrace.trace ) Stdlib.result list -> ( unit, 'error TzTrace.trace ) Stdlib.result
val tzall : ( 'a, 'error TzTrace.trace ) Stdlib.result list -> ( 'a list, 'error TzTrace.trace ) Stdlib.result
val tzboth : ( 'a, 'error TzTrace.trace ) Stdlib.result -> ( 'b, 'error TzTrace.trace ) Stdlib.result -> ( 'a * 'b, 'error TzTrace.trace ) Stdlib.result