package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.5.1.tbz
sha256=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e
sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088
doc/irmin-pack.unix/Irmin_pack_unix/Maker/Make/Integrity_checks/index.html
Module Make.Integrity_checksSource
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 'b 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 -> 'b list Lwt.t) ->
check:(XKey.t -> (unit, string) result Lwt.t) ->
X.Repo.t ->
([> `No_error ], [> `Cannot_fix of string ]) result Lwt.t