package tezos-protocol-012-Psithaca
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Gas_monad/index.html
Module Tezos_raw_protocol_012_Psithaca.Gas_monadSource
This monad combines:
- a state monad where the state is the context
- two levels of error monad to distinguish gas exhaustion from other errors
It is useful for backtracking on type checking errors without backtracking the consumed gas.
Alias of ('a, 'trace) t to avoid confusion when the module is open
Binding operator for the gas monad
Mapping operator for the gas monad, m >|$ f is equivalent to m >>$ fun x -> return (f x)
val (>?$) :
('a, 'trace) t ->
('a ->
('b, 'trace) Tezos_protocol_environment_012_Psithaca.Pervasives.result) ->
('b, 'trace) tVariant of ( >>$ ) to bind uncarbonated functions
val (>??$) :
('a, 'trace) t ->
(('a, 'trace) Tezos_protocol_environment_012_Psithaca.Pervasives.result ->
('b, 'trace) t) ->
('b, 'trace) tAnother variant of ( >>$ ) that lets recover from inner errors
val of_result :
('a, 'trace) Tezos_protocol_environment_012_Psithaca.Pervasives.result ->
('a, 'trace) tgas-free embedding of tzresult values. of_result x is equivalent to return () >?$ fun () -> x
A wrapper around Gas.consume. If that fails, the whole computation within the Gas_monad returns an error. See the Alpha_context.Gas module for details.
val run :
Alpha_context.context ->
('a, 'trace) t ->
(('a, 'trace) Tezos_protocol_environment_012_Psithaca.Pervasives.result
* Alpha_context.context)
Tezos_protocol_environment_012_Psithaca.Error_monad.tzresultEscaping the gas monad
val record_trace_eval :
(unit -> 'err) ->
('a, 'err Tezos_protocol_environment_012_Psithaca.Error_monad.trace) t ->
('a, 'err Tezos_protocol_environment_012_Psithaca.Error_monad.trace) tre-export of Error_monad.record_trace_eval. This function has no effect in the case of a gas-exhaustion error.