package tezos-protocol-011-PtHangz2

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 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. from_tzresult x is equivalent to return () >?$ fun () -> x

Open the abstraction barrier to construct an 'a t from a function. This must only be used on functions that can only fail because of gas such as unparse_ty

Gas consumption

Escaping the gas monad

re-export of Error_monad.record_trace_eval

read the state of the state monad