package tezos-protocol-017-PtNairob

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-017-PtNairob

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_017_PtNairob.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_017_PtNairob.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_017_PtNairob.Micheline.annot

Annotations attached to Michelson expressions.

Source

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_017_PtNairob.Micheline.canonical

Represents a Michelson expression as canonical Micheline.

Sourcetype Tezos_protocol_environment_017_PtNairob.Error_monad.error +=

| Lazy_script_decode

Source

type lazy_expr =
  expr Tezos_protocol_environment_017_PtNairob.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_017_PtNairob.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_017_PtNairob.Data_encoding.t

Source

val expr_encoding : 
  expr Tezos_protocol_environment_017_PtNairob.Data_encoding.t

Source

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_017_PtNairob.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_017_PtNairob.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_017_PtNairob.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_017_PtNairob.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_017_PtNairob.Micheline.node ->
  'acc ->
  ('acc ->
    ('loc, 'prim) Tezos_protocol_environment_017_PtNairob.Micheline.node ->
    'acc) ->
  'acc

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

package tezos-protocol-017-PtNairob

Module Tezos_raw_protocol_017_PtNairob.Script_reprSource

Module `Tezos_raw_protocol_017_PtNairob.Script_repr`Source