package irmin-pack

  1. Overview
  2. Docs
Irmin backend which stores values in a pack file

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (9)

Authors

  1. T
    Thomas Gazagnaire

Maintainers

  1. T
    thomas@gazagnaire.org

Sources

irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0

doc/irmin-pack.unix/Irmin_pack_unix/Lower/Make_volume/index.html

Module Lower.Make_volumeSource

Parameters

module Io : Io.S
module Errs : Io_errors.S with module Io = Io

Signature

Sourcemodule Io = Io
Sourcemodule Errs = Errs
Sourcetype t
Sourcetype open_error = [
  1. | Io.open_error
  2. | `Closed
  3. | `Double_close
  4. | `Corrupted_control_file of string
  5. | `Unknown_major_pack_version of string
]
Sourceval v : string -> (t, [> open_error ]) result

v path loads the volume at path in read-only.

Sourceval path : t -> string

path t is the directory that contains the volume.

Sourceval is_empty : t -> bool

is_empty t returns whether t is empty or not.

control t returns the control file payload for the volume.

Sourceval identifier : t -> string

identifier t is a unique idendifier for the volume.