package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos protocol alpha package

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_repr/index.html

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

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

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

Sourceval lazy_expr : expr -> lazy_expr
Sourcetype t = {
  1. code : lazy_expr;
  2. storage : lazy_expr;
}

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

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

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.

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.

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