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-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

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

Module `Tezos_raw_protocol_014_PtKathma.Carbonated_map`Source

An in-memory data-structure for a key-value map where all operations account for gas costs.

Sourcemodule type S = sig ... end

Sourcemodule type GAS = sig ... end

This module is used to provide the function for consuming gas when constructing carbonated maps.

Sourcemodule type COMPARABLE = sig ... end

Standard Compare.COMPARE extended with a compare_cost function specifying the cost for comparing values.

Sourcemodule Make_builder (C : COMPARABLE) : sig ... end

A functor for exposing the type of a carbonated map before the carbonated make is created. This is useful in scenarios where the map that will need to be carbonated is defined before the gas consuming functions for the carbonation are available. See for example Raw_context.

Source

module Make
  (G : GAS)
  (C : COMPARABLE) : 
  S with type key = C.t and type context = G.context

A functor for building gas metered maps. When building a gas metered map via Make(G)(C), C is a COMPARABLE required to construct a the map while G is a module providing the gas consuming functions. The type of the context on which the gas consuming function operates is determined by G.context.