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

monadic return operator of the gas monad

Binding operator for the gas monad

Mapping operator for the gas monad, m >|$ f is equivalent to m >>$ fun x -> return (f x)

Variant of ( >>$ ) to bind uncarbonated functions

Another variant of ( >>$ ) that lets recover from inner errors

gas-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.

Escaping the gas monad

re-export of Error_monad.record_trace_eval. This function has no effect in the case of a gas-exhaustion error.