package irmin-pack

You can search for identifiers within the package.

in-package search v0.2.0

Irmin backend which stores values in a pack file

Install

sha256=6e430cf44aee5ffdc94f6bfad8dbc401e3ea036ed1fbcf2a8697198ecbf6d412

sha512=b969d0913f0776384fafc4f138cb5187a921e827fd9940d0b350601e1913bdecdfc5acc62ec0ff7c6906e230950a68b39bd886ba3fe37be52e1c6117ddce1791

Sourcetype t = X.Schema.Path.t

Sourcetype step = X.Schema.Path.step

Sourceval empty : t

Sourceval v : step list -> t

Sourceval is_empty : t -> bool

Sourceval cons : step -> t -> t

Sourceval rcons : t -> step -> t

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

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

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

Sourceval t : t Irmin.Type.t

Sourceval step_t : step Irmin.Type.t