Module `KV.Make`Source

Parameters

module C : Irmin.Contents.S

Signature

Sourcemodule H : sig ... end

Sourcemodule Io = Io.Unix

Sourcemodule Index : sig ... end

Sourcemodule Mapping_file : sig ... end

Sourcemodule Errs : sig ... end

Sourcemodule File_manager : sig ... end

Sourcemodule Dict : sig ... end

Sourcemodule Dispatcher : sig ... end

Sourcemodule XKey : sig ... end

Sourcemodule X : sig ... end

Sourcemodule Schema : sig ... end

Sourcetype repo = X.Repo.t

Sourcetype t = Irmin.Of_backend(X).t

Sourcetype step = Schema.Path.step

Sourceval step_t : step Irmin.Type.t

Sourcetype path = Schema.Path.t

Sourceval path_t : path Irmin.Type.t

Sourcetype metadata = Schema.Metadata.t

Sourceval metadata_t : metadata Irmin.Type.t

Sourcetype contents = Schema.Contents.t

Sourceval contents_t : contents Irmin.Type.t

Sourcetype node = Irmin.Of_backend(X).node

Sourceval node_t : node Irmin.Type.t

Sourcetype tree = Irmin.Of_backend(X).tree

Sourceval tree_t : tree Irmin.Type.t

Sourcetype hash = Schema.Hash.t

Sourceval hash_t : hash Irmin.Type.t

Sourcetype commit = Irmin.Of_backend(X).commit

Sourceval commit_t : repo -> commit Irmin.Type.t

Sourcetype branch = Schema.Branch.t

Sourceval branch_t : branch Irmin.Type.t

Sourcetype slice = X.Slice.t

Sourceval slice_t : slice Irmin.Type.t

Sourcetype info = Schema.Info.t

Sourceval info_t : info Irmin.Type.t

Sourcetype lca_error = [

| `Max_depth_reached
| `Too_many_lcas

]

Sourceval lca_error_t : lca_error Irmin.Type.t

Sourcetype ff_error = [

| `Max_depth_reached
| `No_change
| `Rejected
| `Too_many_lcas

]

Sourceval ff_error_t : ff_error Irmin.Type.t

Sourcemodule Info : sig ... end

Sourcetype contents_key = X.Contents.Key.t

Sourceval contents_key_t : contents_key Irmin.Type.t

Sourcetype node_key = X.Node.Key.t

Sourceval node_key_t : node_key Irmin.Type.t

Sourcetype commit_key = X.Commit.Key.t

Sourceval commit_key_t : commit_key Irmin.Type.t

Sourcemodule Repo : sig ... end

Sourceval empty : repo -> t Lwt.t

Sourceval main : repo -> t Lwt.t

Sourceval of_branch : repo -> branch -> t Lwt.t

Sourceval of_commit : commit -> t Lwt.t

Sourceval repo : t -> repo

Sourceval tree : t -> tree Lwt.t

Sourcemodule Status : sig ... end

Sourceval status : t -> Status.t

Sourcemodule Head : sig ... end

Sourcemodule Hash : sig ... end

Sourcemodule Commit : sig ... end

Sourcemodule Contents : sig ... end

Sourcemodule Tree : sig ... end

Sourceval kind : t -> path -> [ `Contents | `Node ] option Lwt.t

Sourceval list : t -> path -> (step * tree) list Lwt.t

Sourceval mem : t -> path -> bool Lwt.t

Sourceval mem_tree : t -> path -> bool Lwt.t

Sourceval find_all : t -> path -> (contents * metadata) option Lwt.t

Sourceval find : t -> path -> contents option Lwt.t

Sourceval get_all : t -> path -> (contents * metadata) Lwt.t

Sourceval get : t -> path -> contents Lwt.t

Sourceval find_tree : t -> path -> tree option Lwt.t

Sourceval get_tree : t -> path -> tree Lwt.t

Source

val key : 
  t ->
  path ->
  [ `Contents of contents_key | `Node of node_key ] option Lwt.t

Sourceval hash : t -> path -> hash option Lwt.t

Sourcetype write_error = [

| `Conflict of string
| `Test_was of tree option
| `Too_many_retries of int

]

Sourceval write_error_t : write_error Irmin.Type.t

Source

val set : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  contents ->
  (unit, write_error) result Lwt.t

Source

val set_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  contents ->
  unit Lwt.t

Source

val set_tree : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  tree ->
  (unit, write_error) result Lwt.t

Source

val set_tree_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  tree ->
  unit Lwt.t

Source

val remove : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  (unit, write_error) result Lwt.t

Source

val remove_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  unit Lwt.t

Source

val test_and_set : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  test:contents option ->
  set:contents option ->
  (unit, write_error) result Lwt.t

Source

val test_and_set_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  test:contents option ->
  set:contents option ->
  unit Lwt.t

Source

val test_and_set_tree : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  test:tree option ->
  set:tree option ->
  (unit, write_error) result Lwt.t

Source

val test_and_set_tree_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  t ->
  path ->
  test:tree option ->
  set:tree option ->
  unit Lwt.t

Source

val test_set_and_get : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:(unit -> info) ->
  t ->
  path ->
  test:contents option ->
  set:contents option ->
  (commit option, write_error) result Lwt.t

Source

val test_set_and_get_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:(unit -> info) ->
  t ->
  path ->
  test:contents option ->
  set:contents option ->
  commit option Lwt.t

Source

val test_set_and_get_tree : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:(unit -> info) ->
  t ->
  path ->
  test:tree option ->
  set:tree option ->
  (commit option, write_error) result Lwt.t

Source

val test_set_and_get_tree_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:(unit -> info) ->
  t ->
  path ->
  test:tree option ->
  set:tree option ->
  commit option Lwt.t

Source

val merge : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  old:contents option ->
  t ->
  path ->
  contents option ->
  (unit, write_error) result Lwt.t

Source

val merge_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  old:contents option ->
  t ->
  path ->
  contents option ->
  unit Lwt.t

Source

val merge_tree : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  old:tree option ->
  t ->
  path ->
  tree option ->
  (unit, write_error) result Lwt.t

Source

val merge_tree_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  info:Info.f ->
  old:tree option ->
  t ->
  path ->
  tree option ->
  unit Lwt.t

Source

val with_tree : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  ?strategy:[ `Merge | `Set | `Test_and_set ] ->
  info:Info.f ->
  t ->
  path ->
  (tree option -> tree option Lwt.t) ->
  (unit, write_error) result Lwt.t

Source

val with_tree_exn : 
  ?retries:int ->
  ?allow_empty:bool ->
  ?parents:commit list ->
  ?strategy:[ `Merge | `Set | `Test_and_set ] ->
  info:Info.f ->
  t ->
  path ->
  (tree option -> tree option Lwt.t) ->
  unit Lwt.t

Sourceval clone : src:t -> dst:branch -> t Lwt.t

Sourcetype watch = Irmin.Of_backend(X).watch

Source

val watch : 
  t ->
  ?init:commit ->
  (commit Irmin.Diff.t -> unit Lwt.t) ->
  watch Lwt.t

Source

val watch_key : 
  t ->
  path ->
  ?init:commit ->
  ((commit * tree) Irmin.Diff.t -> unit Lwt.t) ->
  watch Lwt.t

Sourceval unwatch : watch -> unit Lwt.t

Source

type !'a merge =
  info:Info.f ->
  ?max_depth:int ->
  ?n:int ->
  'a ->
  (unit, Irmin.Merge.conflict) result Lwt.t

Sourceval merge_into : into:t -> t merge

Sourceval merge_with_branch : t -> branch merge

Sourceval merge_with_commit : t -> commit merge

Source

val lcas : 
  ?max_depth:int ->
  ?n:int ->
  t ->
  t ->
  (commit list, lca_error) result Lwt.t

Source

val lcas_with_branch : 
  t ->
  ?max_depth:int ->
  ?n:int ->
  branch ->
  (commit list, lca_error) result Lwt.t

Source

val lcas_with_commit : 
  t ->
  ?max_depth:int ->
  ?n:int ->
  commit ->
  (commit list, lca_error) result Lwt.t

module History : sig ... end

Source

val history : 
  ?depth:int ->
  ?min:commit list ->
  ?max:commit list ->
  t ->
  History.t Lwt.t

Sourceval last_modified : ?depth:int -> ?n:int -> t -> path -> commit list Lwt.t

Sourcemodule Branch : sig ... end

Sourcemodule Path : sig ... end

Sourcemodule Metadata : sig ... end

Sourcemodule Backend : sig ... end

Sourcetype Irmin__.Remote.t +=

| E of Backend.Remote.endpoint

Sourceval of_backend_node : repo -> Backend.Node.value -> node

Sourceval to_backend_node : node -> Backend.Node.value Lwt.t

Sourceval to_backend_portable_node : node -> Backend.Node_portable.t Lwt.t

Sourceval to_backend_commit : commit -> Backend.Commit.value

Source

val of_backend_commit : 
  repo ->
  Backend.Commit.Key.t ->
  Backend.Commit.value ->
  commit

Source

val save_contents : 
  [> Irmin.Perms.write ] Backend.Contents.t ->
  contents ->
  contents_key Lwt.t

Source

val save_tree : 
  ?clear:bool ->
  repo ->
  [> Irmin.Perms.write ] Backend.Contents.t ->
  [> Irmin.Perms.read_write ] Backend.Node.t ->
  tree ->
  [ `Contents of contents_key | `Node of node_key ] Lwt.t

Sourceval master : repo -> t Lwt.t

deprecated Use `main` instead.

Sourcemodule Integrity_checks : sig ... end

Source

val integrity_check_inodes : 
  ?heads:commit list ->
  Repo.t ->
  ([> `No_error ], [> `Cannot_fix of string ]) result Lwt.t

Source

val integrity_check_always : 
  ?ppf:Format.formatter ->
  auto_repair:bool ->
  X.Repo.t ->
  ([> `Fixed of int | `No_error ],
    [> `Cannot_fix of string | `Corrupted of int ])
    result

Source

val integrity_check_minimal : 
  ?ppf:Format.formatter ->
  ?heads:commit list ->
  Repo.t ->
  ([> `No_error ], [> `Cannot_fix of string ]) result Lwt.t

Source

val integrity_check : 
  ?ppf:Format.formatter ->
  ?heads:commit list ->
  auto_repair:bool ->
  Repo.t ->
  ([> `Fixed of int | `No_error ],
    [> `Cannot_fix of string | `Corrupted of int ])
    result
    Lwt.t

Sourcemodule Stats_computation : sig ... end

Source

val stats : 
  dump_blob_paths_to:string option ->
  commit:commit ->
  Repo.t ->
  unit Lwt.t

Sourceval reload : X.Repo.t -> unit

Sourceval flush : X.Repo.t -> unit

Sourceval fsync : X.Repo.t -> unit

Sourceval split : X.Repo.t -> unit

Source

val create_one_commit_store : 
  X.Repo.t ->
  X.Commit.CA.hash Pack_key.t ->
  string ->
  unit Lwt.t

Sourcemodule Gc : sig ... end

Sourcemodule Traverse_pack_file : sig ... end

Source

val traverse_pack_file : 
  [ `Check_and_fix_index
  | `Check_index
  | `Reconstruct_index of [ `In_place | `Output of string ] ] ->
  Irmin.config ->
  unit

Source

val test_traverse_pack_file : 
  [ `Check_and_fix_index
  | `Check_index
  | `Reconstruct_index of [ `In_place | `Output of string ] ] ->
  Irmin.config ->
  unit

Sourcemodule Snapshot : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/KV/Make/index.html

Module `KV.Make`Source

Parameters

Signature

package irmin-pack

Install

Dune Dependency

Authors

Maintainers

Sources

doc/irmin-pack.unix/Irmin_pack_unix/KV/Make/index.html

Module KV.MakeSource

Parameters

Signature

Module `KV.Make`Source