Module `Tezos_raw_protocol_011_PtHangz2.Script_repr`Source

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.

Source

type location =
  Tezos_protocol_environment_011_PtHangz2.Micheline.canonical_location

Locations are used by Micheline mostly for error-reporting and pretty- printing expressions. canonical_location is simply an int.

Sourcetype annot = Tezos_protocol_environment_011_PtHangz2.Micheline.annot

Annotations attached to Michelson expressions.

Source

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_011_PtHangz2.Micheline.canonical

Represents a Michelson expression as canonical Micheline.

Sourcetype Tezos_protocol_environment_011_PtHangz2.Error_monad.error +=

| Lazy_script_decode

Source

type lazy_expr =
  expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.lazy_t

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.

Source

type node =
  (location, Michelson_v1_primitives.prim)
    Tezos_protocol_environment_011_PtHangz2.Micheline.node

Same as expr, but used in different contexts, as required by Micheline's abstract interface.

Source

val location_encoding : 
  location Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

Source

val expr_encoding : 
  expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

Source

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

Sourceval lazy_expr : expr -> lazy_expr

Sourcetype t = {

code : lazy_expr;
storage : lazy_expr;

}

Type t joins the contract's code and storage in a single record.

Sourceval encoding : t Tezos_protocol_environment_011_PtHangz2.Data_encoding.encoding

Sourceval deserialization_cost_estimated_from_bytes : int -> Gas_limit_repr.cost

Sourceval deserialized_cost : expr -> Gas_limit_repr.cost

Sourceval serialized_cost : bytes -> Gas_limit_repr.cost

Sourceval bytes_node_cost : bytes -> Gas_limit_repr.cost

Sourceval force_decode_cost : lazy_expr -> Gas_limit_repr.cost

Source

val force_decode : 
  lazy_expr ->
  expr Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult

Sourceval force_bytes_cost : lazy_expr -> Gas_limit_repr.cost

Source

val force_bytes : 
  lazy_expr ->
  bytes Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult

Sourceval unit_parameter : lazy_expr

Sourceval is_unit_parameter : lazy_expr -> bool

Sourceval strip_annotations : node -> node

Sourceval strip_locations_cost : node -> Gas_limit_repr.cost

Sourcemodule Micheline_size : sig ... end

Sourceval micheline_nodes : node -> int

micheline_nodes root returns the number of internal nodes in the micheline expression held from root.

Sourceval fold : node -> 'c -> ('c -> node -> 'c) -> 'c

fold node i f traverses node applying f on an accumulator initialized by i.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-011-PtHangz2.raw/Tezos_raw_protocol_011_PtHangz2/Script_repr/index.html

Module `Tezos_raw_protocol_011_PtHangz2.Script_repr`Source

package tezos-protocol-011-PtHangz2

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-011-PtHangz2.raw/Tezos_raw_protocol_011_PtHangz2/Script_repr/index.html

Module Tezos_raw_protocol_011_PtHangz2.Script_reprSource

Module `Tezos_raw_protocol_011_PtHangz2.Script_repr`Source