On This Page
package irmin-pack
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
val check_always :
?ppf:Stdlib.Format.formatter ->
auto_repair:bool ->
check:
(kind:[> `Commit | `Contents | `Node ] ->
offset:Optint.Int63.t ->
length:int ->
Index.key ->
(unit, [< `Absent_value | `Wrong_hash ]) Stdlib.result) ->
Index.t ->
([> `Fixed of int | `No_error ],
[> `Cannot_fix of string | `Corrupted of int ])
Stdlib.resultval check_minimal :
?ppf:Stdlib.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 ]) Stdlib.result) ->
recompute_hash:(X.Node.value -> XKey.hash) ->
X.Repo.t ->
([> `No_error ], [> `Cannot_fix of string ]) Stdlib.result Lwt.tval 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) Stdlib.result Lwt.t) ->
X.Repo.t ->
([> `No_error ], [> `Cannot_fix of string ]) Stdlib.result Lwt.tOn This Page