package tezos-protocol-012-Psithaca
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
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.