package octez-internal-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains some libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (1)

Authors

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/irmin_pack_unix/Irmin_pack_unix/Checks/Integrity_checks/argument-3-Index/index.html

Parameter `Integrity_checks.Index`

An abstraction on top of the index library that exposes an API that better fits the irmin-pack use case.

type t

type key

type value = Optint.Int63.t * int * Irmin_pack.Pack_value.Kind.t

include Index.S with type value := value and type t := t and type key := key

type cache

val empty_cache : unit -> cache

val clear : t -> unit

val replace : ?overcommit:bool -> t -> key -> value -> unit

val sync : t -> unit

val is_merging : t -> bool

module Checks : sig ... end

module Io : Io.S

Low level IO abstraction. A typical implementation is unix. This abstraction is meant to be dead simple. Not a lot of documentation is required.

val v_exn : 
  ?flush_callback:(unit -> unit) ->
  ?fresh:bool ->
  ?readonly:bool ->
  ?throttle:[ `Block_writes | `Overcommit_memory ] ->
  ?lru_size:int ->
  log_size:int ->
  string ->
  t

type create_error := [

| `Index_failure of string
| `Io_misc of Io.misc_error

]

type write_error := [

| `Index_failure of string
| `Io_misc of Io.misc_error
| `Ro_not_allowed

]

val v : 
  ?flush_callback:(unit -> unit) ->
  ?fresh:bool ->
  ?readonly:bool ->
  ?throttle:[ `Block_writes | `Overcommit_memory ] ->
  ?lru_size:int ->
  log_size:int ->
  string ->
  (t, [> create_error ]) Stdlib.result

val reload : t -> (unit, [> write_error ]) Stdlib.result

val close : t -> (unit, [> write_error ]) Stdlib.result

val close_exn : t -> unit

val flush : t -> with_fsync:bool -> (unit, [> write_error ]) Stdlib.result

val find : t -> key -> value option

val add : ?overcommit:bool -> t -> key -> value -> unit

val merge : t -> unit

val mem : t -> key -> bool

val iter : (key -> value -> unit) -> t -> unit

val filter : t -> ((key * value) -> bool) -> unit

val try_merge : t -> unit

module Stats = Index.Stats

module Key : Index.Key.S with type t = key