Module `Tezos_raw_protocol_007_PsDELPH1.Storage_description`Source

Sourcetype 'key t

Typed description of the key-value context.

val pp : 
  Tezos_protocol_environment_007_PsDELPH1.Format.formatter ->
  'key t ->
  unit

Trivial display of the key-value context layout.

Source

val build_directory : 
  'key t ->
  'key Tezos_protocol_environment_007_PsDELPH1.RPC_directory.t

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.

Source

val register_value : 
  'key t ->
  get:
    ('key ->
      'a option Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
        Tezos_protocol_environment_007_PsDELPH1.Lwt.t) ->
  'a Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t ->
  unit

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 =

| 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
| 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`.

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Tezos_raw_protocol_007_PsDELPH1.Storage_description`Source

package tezos-protocol-007-PsDELPH1

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Tezos_raw_protocol_007_PsDELPH1.Storage_descriptionSource

Module `Tezos_raw_protocol_007_PsDELPH1.Storage_description`Source