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

Dune Dependency

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

Authors

T

Thomas Gazagnaire

Maintainers

T

thomas@gazagnaire.org

Sources

irmin-3.4.0.tbz

sha256=9e72efdc13324602d8da46e0492b1f4e09ad524149845e1a9106882f60ad6e1f

sha512=ae9cb4b086c7b93962aafc2ea339ac85c6d66bdf769f70a16f62fa5c74d9b194e12ac00b510be5ffac5adff3aa20fd69c4ca4067dcc966767fefcf5c02bc9969

doc/irmin-pack.unix/Irmin_pack_unix/Dispatcher/Make/argument-1-Fm/Mapping_file/index.html

Module `Fm.Mapping_file`

type t

A mapping file is a map from global offsets to prefix offsets.

module Io = Io

module Errs : Io_errors.S with module Io = Io

type open_error := [

| `Corrupted_mapping_file of string
| `No_such_file_or_directory

]

val create : 
  root:string ->
  generation:int ->
  register_entries:
    (register_entry:(off:Optint.Int63.t -> len:int -> unit) -> unit) ->
  (t, [> Errs.t ]) result

create creates inside the directory root a mapping file. It never raises exceptions.

register_entries is a user callback that is responsible for calling register_entry for each live entry. Duplicates allowed, no specfic order expected.

Returns an error if the platform is not 64bits.

Creates temporary files in root that are unlinked before the function returns.

val open_map : root:string -> generation:int -> (t, [> open_error ]) result

open_map ~root ~generation opens a mapping file reading.

val iter : 
  t ->
  (off:Optint.Int63.t -> len:int -> unit) ->
  (unit, [> Errs.t ]) result

iter mapping f calls f on each (off,len) pair in mapping.

It is guaranteed for the offsets to be iterated in monotonic order.

It is guaranteed that entries don't overlap.

The exceptions raised by f are caught and returned (as long as they are known by Errs).

type entry = {

off : Optint.Int63.t;
poff : Optint.Int63.t;
len : int;

}

val find_nearest_leq : t -> Optint.Int63.t -> entry option

find_nearest_leq t off returns the entry in t whose offset is the nearest <= the given off