package irmin-pack
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=95a87ecc3dc2b35eee56cb351c32d2bd78c8967180a4b028324d815bfce1a6ff
sha512=20faba561c80c5389e91993d7e2cc0cedd1330cf098b68f0456f5068cde369a5589a05cd2aeb0a701d65a7d1e1e6f4045ccfbf60349cbea2bfd02981d7bb244c
doc/irmin-pack.unix/Irmin_pack_unix/Pack_store/Make/argument-1-Fm/Io/index.html
Module Fm.Io
Low level IO abstraction. A typical implementation is unix. This abstraction is meant to be dead simple. Not a lot of documentation is required.
It is not resistant to race condictions. There should not be concurrent modifications of the files.
Errors
An abstract error type that contains the IO-backend specific errors. (e.g. Unix.error)
val misc_error_t : misc_error Irmin.Type.ttype read_error = [ | `Io_misc of misc_error| `Read_out_of_bounds| `Read_on_closed| `Invalid_argument
]type mkdir_error = [ | `Io_misc of misc_error| `File_exists of string| `No_such_file_or_directory| `Invalid_parent_directory
]Safe Functions
None of the functions in this section raise exceptions. They may however perform effects that are always continued.
Life Cycle
val create : path:string -> overwrite:bool -> (t, [> create_error ]) resultval open_ : path:string -> readonly:bool -> (t, [> open_error ]) resultval close : t -> (unit, [> close_error ]) resultWrite Functions
val write_string :
t ->
off:Optint.Int63.t ->
string ->
(unit, [> write_error ]) resultwrite_string t ~off s writes s at offset in t.
val fsync : t -> (unit, [> write_error ]) resultfsync t persists to the file system the effects of previous create or write.
val move_file :
src:string ->
dst:string ->
(unit, [> `Sys_error of string ]) resultval mkdir : string -> (unit, [> mkdir_error ]) resultval unlink : string -> (unit, [> `Sys_error of string ]) resultRead Functions
val read_to_string :
t ->
off:Optint.Int63.t ->
len:int ->
(string, [> read_error ]) resultread_to_string t ~off ~len are the len bytes of t at off.
val read_size : t -> (Optint.Int63.t, [> read_error ]) resultread_size t is the number of bytes of the file handled by t.
This function is expensive in the unix implementation because it performs syscalls.
MISC.
val readonly : t -> boolval path : t -> stringUnsafe Functions
These functions are equivalents to exising safe ones, but using exceptions instead of the result monad for performances reasons.
val read_exn : t -> off:Optint.Int63.t -> len:int -> bytes -> unitread_exn t ~off ~len b reads the len bytes of t at off to b.
Raises Errors.Pack_error and Errors.RO_not_allowed.
Also raises backend-specific exceptions (e.g. Unix.Unix_error for the unix backend).
val write_exn : t -> off:Optint.Int63.t -> len:int -> string -> unitwrite_exn t ~off b writes b to t at offset off.
Raises Errors.Pack_error and Errors.RO_not_allowed.
Also raises backend-specific exceptions (e.g. Unix.Unix_error for the unix backend).
val raise_misc_error : misc_error -> 'aval catch_misc_error : (unit -> 'a) -> ('a, [> `Io_misc of misc_error ]) result