octez-internal-libs.irmin
Of_storage.Path
Path provides base functions for the stores's paths.
Path
irmin_data
irmin_mem
irmin_pack_mem
irmin_pack_unix
octez-internal-libs.irmin_pack
octez-internal-libs.irmin_test_helpers
ppx_irmin
ppx_irmin_internal
ppx_irmin_internal_lib
type t = path
The type for path values.
type step = step
Type type for path's steps.
val empty : t
The empty path.
val v : step list -> t
Create a path from a list of steps.
val is_empty : t -> bool
Check if the path is empty.
val cons : step -> t -> t
Prepend a step to the path.
val rcons : t -> step -> t
Append a step to the path.
val decons : t -> (step * t) option
Deconstruct the first element of the path. Return None if the path is empty.
None
val rdecons : t -> (t * step) option
Deconstruct the last element of the path. Return None if the path is empty.
val map : t -> (step -> 'a) -> 'a list
map t f maps f over all steps of t.
map t f
f
t
val t : t Type.t
t is the value type for t.
val step_t : step Type.t
step_t is the value type for step.
step_t
step