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=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e

sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088

Sourcetype t = path

Sourcetype step = 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