package octez-internal-libs

  1. Overview
  2. Docs
A package that contains some libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (1)

Authors

  1. T
    Tezos devteam
  2. T
    Thomas Gazagnaire
  3. T
    Thomas Leonard
  4. C
    Craig Ferguson

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/irmin_pack_unix/Irmin_pack_unix/Dispatcher/Make/argument-1-Fm/Control/index.html

Module Fm.Control

Abstraction for an irmin-pack 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 -> tmp_path:string option -> overwrite:bool -> Irmin_pack_unix__.Control_file_intf.Payload.Upper.V5.t -> (t, [> Io.create_error | Io.write_error ]) Stdlib.result

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

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

Create a rw instance of t by reading an existing file at path. tmp_path will be used by RW instances when updating it's content, it is not required for RO instances or RW instances which will never be updated.

val close : t -> (unit, [> Io.close_error ]) Stdlib.result
val read_payload : path:string -> (Irmin_pack_unix__.Control_file_intf.Payload.Upper.V5.t, [> open_error | Io.close_error ]) Stdlib.result

read_payload ~path reads the payload at path. It is a convenient way to read the payload without needing to call open_, payload, close.

val read_raw_payload : path:string -> (Irmin_pack_unix__.Control_file_intf.Payload.Upper.raw_payload, [> open_error | Io.close_error ]) Stdlib.result
val payload : t -> Irmin_pack_unix__.Control_file_intf.Payload.Upper.V5.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. | `Rw_not_allowed
  2. | open_error
  3. | Io.close_error
]
val reload : t -> (unit, [> reload_error ]) Stdlib.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.

type move_error := [
  1. | `Sys_error of string
]
type set_error := [
  1. | `No_tmp_path_provided
  2. | Io.create_error
  3. | Io.write_error
  4. | move_error
  5. | Io.close_error
]
val set_payload : t -> Irmin_pack_unix__.Control_file_intf.Payload.Upper.V5.t -> (unit, [> set_error ]) Stdlib.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 ]) Stdlib.result

RW mode

Tell the OS to fush its internal buffers.

RO mode

Always returns Error `Ro_not_allowed.