package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-alpha.environment/Tezos_protocol_environment_alpha/Error_monad/Result_syntax/index.html
Module Error_monad.Result_syntax
val return : 'a -> ('a, 'e) Pervasives.resultval return_unit : (unit, 'e) Pervasives.resultval return_none : ('a option, 'e) Pervasives.resultval return_some : 'a -> ('a option, 'e) Pervasives.resultval return_nil : ('a list, 'e) Pervasives.resultval return_true : (bool, 'e) Pervasives.resultval return_false : (bool, 'e) Pervasives.resultval fail : 'e -> ('a, 'e) Pervasives.resultval (let*) :
('a, 'e) Pervasives.result ->
('a -> ('b, 'e) Pervasives.result) ->
('b, 'e) Pervasives.resultval (let+) :
('a, 'e) Pervasives.result ->
('a -> 'b) ->
('b, 'e) Pervasives.resultval join :
(unit, 'e) Pervasives.result list ->
(unit, 'e list) Pervasives.resultval all :
('a, 'e) Pervasives.result list ->
('a list, 'e list) Pervasives.resultval both :
('a, 'e) Pervasives.result ->
('b, 'e) Pervasives.result ->
('a * 'b, 'e list) Pervasives.resultval tzfail : 'error -> ('a, 'error trace) Pervasives.resultval (and*) :
('a, 'e trace) Pervasives.result ->
('b, 'e trace) Pervasives.result ->
('a * 'b, 'e trace) Pervasives.resultval (and+) :
('a, 'e trace) Pervasives.result ->
('b, 'e trace) Pervasives.result ->
('a * 'b, 'e trace) Pervasives.resultval tzjoin :
(unit, 'error trace) Pervasives.result list ->
(unit, 'error trace) Pervasives.resultval tzall :
('a, 'error trace) Pervasives.result list ->
('a list, 'error trace) Pervasives.resultval tzboth :
('a, 'error trace) Pervasives.result ->
('b, 'error trace) Pervasives.result ->
('a * 'b, 'error trace) Pervasives.result