package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.1.tar.gz

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Lazy_storage_kind/index.html

Module `Tezos_raw_protocol_014_PtKathma.Lazy_storage_kind`Source

Lazy_storage offers a unified interface for specific Michelson datatype that behave somewhat lazily, because they are intended to be quite big. Instead of serializing/deserializing the whole value to/from the storage, only an identifier is used. The identifier acts like a pointer. When using the value in a Michelson script, some part of it may be read from the storage, and a lightweight diff is computed. The diff is effectively applied to the storage at the end of the execution.

This module defines the different kinds of lazy storages and their basic properties. See also Lazy_storage_diff.

Lazy storage types are:

Big_map

Sourcemodule type ID = sig ... end

Lazy storage ids are kept as abstract as possible to avoid mixing them up.

Sourcemodule Big_map : sig ... end

Sourcemodule Sapling_state : sig ... end

Sourcetype ('id, 'alloc, 'updates) t =

| Big_map : (Big_map.Id.t, Big_map.alloc, Big_map.updates) t
| Sapling_state : (Sapling_state.Id.t, Sapling_state.alloc, Sapling_state.updates) t

Kinds of lazy storage. The GADT ensures operations are properly applied to the correct kind.

'id the abstract type for the identifier of the kind. 'alloc is the type used to construct a new value. 'updates is the type used to update a value.

Sourcetype ex =

| Ex_Kind : (_, _, _) t -> ex

Sourceval all : (int * ex) list

Sourcetype (_, _) cmp =

| Eq : ('a, 'a) cmp
| Neq

Source

val equal : 
  ('i1, 'a1, 'u1) t ->
  ('i2, 'a2, 'u2) t ->
  ('i1 * 'a1 * 'u1, 'i2 * 'a2 * 'u2) cmp

Sourcetype ('i, 'a, 'u) kind = ('i, 'a, 'u) t

Sourcemodule Temp_ids : sig ... end

Type to manage temporary ids. Used only in the context.

Sourcemodule IdSet : sig ... end