Module `Context.Node`Source

Parameters

module H : Irmin.Hash.S

module P : sig ... end

module M : sig ... end

Signature

Node values

Sourcetype t

The type for node values.

Sourceval t : t Irmin.Type.t

Sourcetype metadata = M.t

The type for node metadata.

Sourceval metadata_t : metadata Irmin.Type.t

Sourcetype hash = H.t

The type for keys.

Sourceval hash_t : hash Irmin.Type.t

Sourcetype step = P.step

The type for steps between nodes.

Sourceval step_t : step Irmin.Type.t

Sourcetype value = [

| `Node of hash
| `Contents of hash * metadata

]

The type for either (node) keys or (contents) keys combined with their metadata.

Sourceval value_t : value Irmin.Type.t

Sourceval of_list : (step * value) list -> t

of_list l is the node n such that list n = l.

Source

val list : 
  ?offset:int ->
  ?length:int ->
  ?cache:bool ->
  t ->
  (step * value) list

list t is the contents of t. offset and length are used to paginate results.

caching

cache regulates the caching behaviour regarding the node's internal data which may be lazily loaded from the backend, depending on the node implementation.

cache defaults to true which may greatly reduce the IOs and the runtime but may also increase the memory consumption.

cache = false doesn't replace a call to clear, it only prevents the storing of new data, it doesn't discard the existing one.

Sourceval of_seq : (unit -> (step * value) Seq.node) -> t

of_seq s is the node n such that seq n = s.

Source

val seq : 
  ?offset:int ->
  ?length:int ->
  ?cache:bool ->
  t ->
  unit ->
  (step * value) Seq.node

seq t is the contents of t. offset and length are used to paginate results.

See caching for an explanation of the cache parameter

Sourceval empty : t

empty is the empty node.

Sourceval is_empty : t -> bool

is_empty t is true iff t is empty.

Sourceval length : t -> int

length t is the number of entries in t.

Sourceval clear : t -> unit

Cleanup internal caches.

Sourceval find : ?cache:bool -> t -> step -> value option

find t s is the value associated with s in t.

A node can point to user-defined contents. The edge between the node and the contents is labeled by a step.

See caching for an explanation of the cache parameter

Sourceval add : t -> step -> value -> t

add t s v is the node where find t v is Some s but is similar to t otherwise.

Sourceval remove : t -> step -> t

remove t s is the node where find t s is None but is similar to t otherwise.

Sourceval default : metadata

default is the default metadata value.

Proofs

Sourcetype nonrec proof

The type for proof trees.

Sourceval proof_t : proof Irmin.Type.t

Sourceval to_proof : t -> proof

Sourceval of_proof : proof -> t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-context.encoding/Tezos_context_encoding/Context/Node/index.html

Module `Context.Node`Source

Parameters

Signature

Node values

Proofs

package tezos-context

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-context.encoding/Tezos_context_encoding/Context/Node/index.html

Module Context.NodeSource

Parameters

Signature

Node values

Proofs

Module `Context.Node`Source