package tezos-protocol-012-Psithaca
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Script_repr/index.html
Module Tezos_raw_protocol_012_Psithaca.Script_reprSource
Defines a Michelson expression representation as a Micheline node with canonical (int) location and Michelson_v1_primitives.prim as content.
Types expr and node both define representation of Michelson expressions and are indeed the same type internally, although this is not visible outside Micheline due to interface abstraction.
Locations are used by Micheline mostly for error-reporting and pretty- printing expressions. canonical_location is simply an int.
Annotations attached to Michelson expressions.
type expr =
Michelson_v1_primitives.prim
Tezos_protocol_environment_012_Psithaca.Micheline.canonicalRepresents a Michelson expression as canonical Micheline.
A record containing either an underlying serialized representation of an expression or a deserialized one, or both. If either is absent, it will be computed on-demand.
type 'location michelson_node =
('location, Michelson_v1_primitives.prim)
Tezos_protocol_environment_012_Psithaca.Micheline.nodeSame as expr, but used in different contexts, as required by Micheline's abstract interface.
Type t joins the contract's code and storage in a single record.
Returns (a lower bound on) the cost to deserialize a lazy_expr. If the expression has already been deserialized (i.e. the lazy expression contains the deserialized value or both the bytes representation and the deserialized value) then the cost is free.
Like force_decode_cost, excepted that the returned cost does not depend on the internal state of the lazy_expr. This means that the cost is never free (excepted for zero bytes expressions).
val force_decode :
lazy_expr ->
expr Tezos_protocol_environment_012_Psithaca.Error_monad.tzresultReturns the cost to serialize a lazy_expr. If the expression has already been deserialized (i.e. le lazy expression contains the bytes representation or both the bytes representation and the deserialized value) then the cost is free.
val force_bytes :
lazy_expr ->
bytes Tezos_protocol_environment_012_Psithaca.Error_monad.tzresultmicheline_nodes root returns the number of internal nodes in the micheline expression held from root.