package carton
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=bd690125d3f8669442130ceb14ccec7476b2e15ca25e2c7ffb5ab393eef20ef9
sha512=5ac302ba7f1eef653ff7991bca251bafa635150c80f6d3e47e4da3d32298df78f332f5d86c1f78c81f7ceb93216febf501cb943efc44c3122249e583782d62a9
doc/carton.thin/Thin/Make/index.html
Module Thin.MakeSource
Parameters
module Scheduler : Carton.SCHEDULERmodule IO : Carton.IO with type 'a t = 'a Scheduler.smodule Uid : Carton.UIDSignature
type ('t, 'path, 'fd, 'error) fs = {create : ?trunc:bool -> 't -> 'path -> ('fd, 'error) result IO.t;append : 't -> 'fd -> string -> unit IO.t;map : 't -> 'fd -> pos:int64 -> int -> Bigstringaf.t;close : 't -> 'fd -> (unit, 'error) result IO.t;
}A record to manipulate a file-system.
create is like Unix.openfile. It can open a pre-existing 'path or create a new one. It returns a representation of it which can be manipulated. append is like Unix.write. It appends the given payload into the opened fd. It shifts the offset of the opened file by the length of the given payload. map is like Unix.map_file. It loads a part of the given 'fd into a Bigstringaf.t payload. It always called with valid pos and len arguments.
val verify :
?threads:int ->
digest:Uid.t Carton.Dec.digest ->
't ->
'path ->
('t, 'path, 'fd, [> `Msg of string ] as 'error) fs ->
(unit -> (string * int * int) option IO.t) ->
(int
* Uid.t list
* (int64 * optint) list
* Uid.t Carton.Dec.Idx.entry list
* int64
* Uid.t,
'error)
result
IO.tverify ~digest filename fs stream does the first pass to analyze a PACK file. While it analyzes the PACK file, it saves it into filename with the fs's append syscall. Then, it returns how many objects has the stream, the list of required external objects and the size of the stream.
If the list is empty, the given stream (saved into filename) is a canonic PACK file. It does not require any external objects to extract any of its objects.
Otherwise, you probably should call canonicalize to regenerate the PACK file.
val canonicalize :
light_load:light_load ->
heavy_load:heavy_load ->
src:'path ->
dst:'path ->
't ->
('t, 'path, 'fd, [> `Msg of string ] as 'error) fs ->
int ->
Uid.t list ->
int64 ->
(int64 * int64 * Uid.t * Uid.t Carton.Dec.Idx.entry list, 'error) result IO.tcanonicalize ~light_load ~heavy_load ~transmit filename fs n requireds weight generates a new PACK file with required objects requireds. It puts on the front these objects available with light_load and heavy_load.
Then, it transmits all others objects of the old PACK file to the new one with transmit. It must know how many objects has the old PACK file and size of it.
It returns the size of the new PACK file generated located to filename.