package carton
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=46795855444dd8ce7cd90fc9d975516c9ea0b0f50365b25e2d672864256db692
sha512=a1a3c81cb51c61f4a85b661affd4db1aebedff678215a334fd240120622d3dbdd7d63e6cca994ec56c1a15675fe686bbf8a50233017911ce4dc44a70145fd98a
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.