Syntax module (with let and returns) for the TzResult monad (i.e., the TzTraced Result monad).
val return : 'a -> ('a, 'error) resultval return_unit : (unit, 'error) resultval return_none : ('a option, 'error) resultval return_some : 'a -> ('a option, 'error) resultval return_nil : ('a list, 'error) resultval return_true : (bool, 'error) resultval return_false : (bool, 'error) resultval fail :
'error ->
('a, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) resultval and* :
('a, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('b, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('a * 'b, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) resultval and+ :
('a, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('b, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('a * 'b, 'e Tezos_error_monad.TzLwtreslib.Monad.trace) resultval join :
(unit, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) result list ->
(unit, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) resultval all :
('a, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) result list ->
('a list, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) resultval both :
('a, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('b, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) result ->
('a * 'b, 'error Tezos_error_monad.TzLwtreslib.Monad.trace) result