package irmin-pack

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

Install

Dune Dependency

Authors

Maintainers

Sources

irmin-3.4.2.tbz
sha256=964512f77697947a73dd1875c634d6804e98f14167c5aadd3c4f85b5f30ffb53
sha512=d56d3285daa2dd36f1eaff867af5c8f44c61bba4de1a5c7bb5347652dbc460c343483ab61de1a9302f664af357eacc964dc5c8b4477f6d01372dc028b162e98b

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

Module Fm.Control

Abstraction for irmin-pack's control file.

It is parameterized with Io, a file system abstraction (e.g. unix, mirage, eio_linux).

None of the functions raise exceptions.

module Io = Io
type t
val create_rw : path:string -> overwrite:bool -> Irmin_pack_unix__.Control_file_intf.Payload_v3.t -> (t, [> Io.create_error | Io.write_error ]) result

Create a rw instance of t by creating a control file.

type open_error := [
  1. | `Corrupted_control_file
  2. | `Io_misc of Io.misc_error
  3. | `No_such_file_or_directory
  4. | `Not_a_file
  5. | `Closed
  6. | `Unknown_major_pack_version of string
]
val open_ : path:string -> readonly:bool -> (t, [> open_error ]) result

Create a rw instance of t by reading an existing file at path.

val close : t -> (unit, [> Io.close_error ]) result
val payload : t -> Irmin_pack_unix__.Control_file_intf.Payload_v3.t

payload t is the payload in t.

That function doesn't perform IO.

RW mode

payload t is the payload, as it was written to the file system.

RO mode

payload t is the payload, as it was seen during open_ or during the most recent reload.

type reload_error := [
  1. | `Corrupted_control_file
  2. | `Io_misc of Io.misc_error
  3. | `Closed
  4. | `Rw_not_allowed
  5. | `Unknown_major_pack_version of string
]
val reload : t -> (unit, [> reload_error ]) result

RW mode

Always returns an error.

RO mode

Reread the file on disk.

If the file changed since the last read, the payload in t is updated to match the content of the file.

val set_payload : t -> Irmin_pack_unix__.Control_file_intf.Payload_v3.t -> (unit, [> Io.write_error ]) result

RW mode

Write a new payload on disk.

RO mode

Always returns an error.

val readonly : t -> bool
val fsync : t -> (unit, [> Io.write_error ]) result

RW mode

Tell the OS to fush its internal buffers.

RO mode

Always returns Error `Ro_not_allowed.

OCaml

Innovation. Community. Security.