package tezos-context

You can search for identifiers within the package.

in-package search v0.2.0

Tezos: on-disk context abstraction for `tezos-node`

Install

Dune Dependency

www.tezos.com Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-v12.3.tar.bz2

sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d

sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

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

Module `Context.Path`Source

Path

Sourcetype t = string list

The type for path values.

Sourcetype step = string

Type type for path's steps.

Sourceval empty : t

The empty path.

Sourceval v : step list -> t

Create a path from a list of steps.

Sourceval is_empty : t -> bool

Check if the path is empty.

Sourceval cons : step -> t -> t

Prepend a step to the path.

Sourceval rcons : t -> step -> t

Append a step to the path.

Sourceval decons : t -> (step * t) option

Deconstruct the first element of the path. Return None if the path is empty.

Sourceval rdecons : t -> (t * step) option

Deconstruct the last element of the path. Return None if the path is empty.

Sourceval map : t -> (step -> 'a) -> 'a list

map t f maps f over all steps of t.

Value Types

Sourceval t : t Irmin.Type.t

t is the value type for t.

Sourceval step_t : step Irmin.Type.t

step_t is the value type for step.

On This Page

Path
Value Types