package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.6.1.tbz
sha256=11fc2570bdbfd48478c89113fc801084a84a9a2c12d9bf8c64e05ce64ae19bd7
sha512=2171699ca24dec5c9c908a2676b272e034c14eb17f7052a794535e52af0be40be68a689e59c0a640ee244b11703320483f4d0c261542e6242ba23a8f1272b9b0
doc/irmin-pack.unix/Irmin_pack_unix/Checks/Integrity_checks/index.html
Module Checks.Integrity_checksSource
Parameters
module XKey : Pack_key.Smodule X :
Irmin.Backend.S
with type Commit.key = XKey.t
and type Node.key = XKey.t
and type Schema.Hash.t = XKey.hashmodule Index : sig ... endSignature
Source
val check_always :
?ppf:Format.formatter ->
auto_repair:bool ->
check:
(kind:[> `Commit | `Contents | `Node ] ->
offset:Optint.Int63.t ->
length:int ->
Index.key ->
(unit, [< `Absent_value | `Wrong_hash ]) result) ->
Index.t ->
([> `Fixed of int | `No_error ],
[> `Cannot_fix of string | `Corrupted of int ])
resultSource
val check_minimal :
?ppf:Format.formatter ->
pred:
(X.Node.value ->
(X.Node.Path.step option
* [< `Contents of XKey.t | `Inode of XKey.t | `Node of XKey.t ])
list) ->
iter:
(contents:(XKey.hash Pack_key.t -> unit Lwt.t) ->
node:(XKey.t -> unit Lwt.t) ->
pred_node:
(X.Repo.t ->
XKey.t ->
[> `Contents of XKey.t | `Node of XKey.t ] list Lwt.t) ->
pred_commit:(X.Repo.t -> XKey.t -> [> `Node of XKey.t ] list Lwt.t) ->
X.Repo.t ->
unit Lwt.t) ->
check:
(offset:Optint.Int63.t ->
length:int ->
XKey.hash ->
(unit, [< `Absent_value | `Wrong_hash ]) result) ->
recompute_hash:(X.Node.value -> XKey.hash) ->
X.Repo.t ->
([> `No_error ], [> `Cannot_fix of string ]) result Lwt.tSource
val check_inodes :
iter:
(pred_node:
(X.Repo.t ->
XKey.t ->
[> `Contents of XKey.t | `Node of XKey.t ] as 'a list Lwt.t) ->
node:(XKey.t -> unit Lwt.t) ->
commit:(XKey.t -> unit Lwt.t) ->
X.Repo.t ->
unit Lwt.t) ->
pred:(X.Repo.t -> XKey.t -> 'a list Lwt.t) ->
check:(XKey.t -> (unit, string) result Lwt.t) ->
X.Repo.t ->
([> `No_error ], [> `Cannot_fix of string ]) result Lwt.tOn This Page