package irmin-pack
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=7af11e14d312b9ae340997f8c27907b9fc9a0d19539fb643e1820d5183a76750
sha512=d7b61c6fddab0a8b61efe867b9a0fdc14c01eb1adeda2f5018b8dfee306c8324c77dd648c7cb9860e62a26e224955f9331b49d19cb693ad5d773efc53263d9fd
doc/irmin-pack.layered/Irmin_pack_layered/Maker_ext/Private/Node/Val/index.html
Module Node.Val
Val provides base functions for node values.
Node values
type t = valueThe type for node values.
val t : t Irmin__.Type.ttype metadata = Metadata.tThe type for node metadata.
val metadata_t : metadata Irmin__.Type.ttype hash = keyThe type for keys.
val hash_t : hash Irmin__.Type.ttype step = Path.stepThe type for steps between nodes.
val step_t : step Irmin__.Type.tThe type for either (node) keys or (contents) keys combined with their metadata.
val value_t : value Irmin__.Type.tlist 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.
seq t is the contents of t. offset and length are used to paginate results.
See caching for an explanation of the cache parameter
val empty : tempty is the empty node.
val is_empty : t -> boolis_empty t is true iff t is empty.
val length : t -> intlength t is the number of entries in t.
val clear : t -> unitCleanup internal caches.
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
add t s v is the node where find t v is Some s but is similar to t otherwise.
remove t s is the node where find t s is None but is similar to t otherwise.
val default : metadatadefault is the default metadata value.
Proofs
val proof_t : proof Irmin__.Type.t