Module `Tezos_raw_protocol_alpha.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.

Sourcetype location = Tezos_protocol_environment_alpha.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_alpha.Micheline.annot

Annotations attached to Michelson expressions.

Source

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_alpha.Micheline.canonical

Represents a Michelson expression as canonical Micheline.

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Lazy_script_decode

Sourcetype lazy_expr = expr Tezos_protocol_environment_alpha.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 'location michelson_node =
  ('location, Michelson_v1_primitives.prim)
    Tezos_protocol_environment_alpha.Micheline.node

Sourcetype node = location michelson_node

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

Source

val location_encoding : 
  location Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval expr_encoding : expr Tezos_protocol_environment_alpha.Data_encoding.t

Source

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_alpha.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_alpha.Data_encoding.encoding

Sourceval deserialization_cost_estimated_from_bytes : int -> Gas_limit_repr.cost

Sourceval deserialized_cost : expr -> Gas_limit_repr.cost

Sourceval bytes_node_cost : bytes -> Gas_limit_repr.cost

Sourceval force_decode_cost : lazy_expr -> Gas_limit_repr.cost

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.

Sourceval stable_force_decode_cost : lazy_expr -> Gas_limit_repr.cost

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

Source

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

Sourceval force_bytes_cost : lazy_expr -> Gas_limit_repr.cost

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

Source

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

Sourceval unit : expr

Sourceval unit_parameter : lazy_expr

Sourceval is_unit : expr -> bool

Sourceval is_unit_parameter : lazy_expr -> bool

Sourceval strip_annotations : node -> node

Sourceval strip_locations_cost : _ michelson_node -> Gas_limit_repr.cost

Sourceval strip_annotations_cost : node -> Gas_limit_repr.cost

Sourceval micheline_serialization_cost : expr -> Gas_limit_repr.cost

Computes the cost of serializing a given term.

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.

Source

val fold : 
  ('loc, 'prim) Tezos_protocol_environment_alpha.Micheline.node ->
  'acc ->
  ('acc ->
    ('loc, 'prim) Tezos_protocol_environment_alpha.Micheline.node ->
    'acc) ->
  'acc

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_repr/index.html

Module `Tezos_raw_protocol_alpha.Script_repr`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_repr/index.html

Module Tezos_raw_protocol_alpha.Script_reprSource

Module `Tezos_raw_protocol_alpha.Script_repr`Source