package octez-internal-libs

  1. Overview
  2. Docs
package octez-internal-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Io : Io.S

Signature

module Io = Io
type t
val create_rw : path:string -> tmp_path:string option -> overwrite:bool -> Irmin_pack_unix__.Control_file_intf.Payload.Upper.Latest.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.Latest.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.Latest.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.Latest.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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct