package irmin-pack
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0
doc/irmin-pack.unix/Irmin_pack_unix/Sparse_file/Make/index.html
Module Sparse_file.MakeSource
Parameters
Signature
val open_ro :
mapping_size:int ->
mapping:string ->
data:string ->
(t, [> open_error ]) resultopen_ro ~mapping_size ~mapping ~data returns a new read-only view of the sparse file, represented on disk by two files named mapping and data. The mapping file is expected to have size at least mapping_size (and the rest is ignored if the file is larger).
Close the underlying files.
read_exn t ~off ~len buffer writes into buffer the bytes from off to off+len.
Same as read_exn, the amount read is max_len if possible or at least min_len if reading more would step over a hole in the sparse file.
Returns the actually read length.
next_valid_offset t ~off returns Some off' such that off' is the smallest readable offset larger or equal to off. This enables jumping over a sparse hole to the next compact range of data.
iter t f calls f on each (off,len) pair in mapping. Only used for testing and debugging.
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).