package tezos-protocol-011-PtHangz2

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Tezos Protocol Implementation - Typed storage

This module hides the hierarchical (key x value) database under pre-allocated typed accessors for all persistent entities of the tezos context.

This interface enforces no invariant on the contents of the database. Its goal is to centralize all accessors in order to have a complete view over the database contents and avoid key collisions.

module type Simple_single_data_storage = sig ... end
module Roll : sig ... end

Storage from this submodule must only be accessed through the module `Roll`.

module Contract : sig ... end

Storage from this submodule must only be accessed through the module `Contract`.

module Big_map : sig ... end
module Sapling : sig ... end

Set of all registered delegates.

Set of all active delegates with rolls.

Set of all the delegates with frozen rewards/bonds/fees for a given cycle.

Votes

module Vote : sig ... end
module type FOR_CYCLE = sig ... end

Seed

module Seed : sig ... end

Storage from this submodule must only be accessed through the module `Seed`.

Commitments

Ramp up security deposits...

module Ramp_up : sig ... end
module Pending_migration : sig ... end
module Liquidity_baking : sig ... end
module Global_constants : sig ... end

A map of Script_repr.expr values, indexed by their hash (Script_expr_hash.t). Values from this map can be incorporated by any contract via the primitive Michelson_v1_primitives.H_constant.

OCaml

Innovation. Community. Security.