package tezos-protocol-007-PsDELPH1

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

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-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Storage_description/index.html

Module Tezos_raw_protocol_007_PsDELPH1.Storage_descriptionSource

Sourcetype 'key t

Typed description of the key-value context.

Trivial display of the key-value context layout.

Export an RPC hierarchy for querying the context. There is one service by possible path in the context. Services for "directory" are able to aggregate in one JSON object the whole subtree.

Sourceval create : unit -> 'key t

Create a empty context description, keys will be registered by side effects.

Register a single key accessor at a given path.

Sourceval register_named_subcontext : 'key t -> string list -> 'key t

Return a description for a prefixed fragment of the given context. All keys registered in the subcontext will be shared by the external context

Sourcetype (_, _, _) args =
  1. | One : {
    1. rpc_arg : 'a Tezos_protocol_environment_007_PsDELPH1.RPC_arg.t;
    2. encoding : 'a Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t;
    3. compare : 'a -> 'a -> int;
    } -> ('key, 'a, 'key * 'a) args
  2. | Pair : ('key, 'a, 'inter_key) args * ('inter_key, 'b, 'sub_key) args -> ('key, 'a * 'b, 'sub_key) args

Description of an index as a sequence of `RPC_arg.t`.

Sourceval register_indexed_subcontext : 'key t -> list: ('key -> 'arg list Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult Tezos_protocol_environment_007_PsDELPH1.Lwt.t) -> ('key, 'arg, 'sub_key) args -> 'sub_key t

Return a description for a indexed sub-context. All keys registered in the subcontext will be shared by the external context. One should provide a function to list all the registered index in the context.

Helpers for manipulating and defining indexes.

Sourceval pack : ('key, 'a, 'sub_key) args -> 'key -> 'a -> 'sub_key
Sourceval unpack : ('key, 'a, 'sub_key) args -> 'sub_key -> 'key * 'a
Sourcemodule type INDEX = sig ... end