package irmin

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Ref Store

package irmin

irmin
- Irmin
  - AO
  - AO_MAKER
    
    K
    
    V
  - AO_MAKER_RAW
    
    K
    
    V
  - BC
    
    History
    
    E
    
    V
    
    Repo
  - Contents
    
    Cstruct
    
    Json
    
    Make
    
    Key
    
    S
    
    Key
    
    Val
    
    Path
    
    Step
    
    Val
    
    S
    
    Path
    
    Step
    
    STORE
    
    Key
    
    Path
    
    Step
    
    Val
    
    String
  - Dot
    
    S
    
    Hash
    
    History
    
    E
    
    V
    
    Key
    
    Step
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - HRW
  - Hash
    
    S
    
    SHA1
  - Hum
    
    S
  - LINK
  - LINK_MAKER
    
    K
  - Make
    
    AO
    
    K
    
    V
    
    C
    
    Path
    
    Step
    
    H
    
    Hash
    
    History
    
    E
    
    V
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    R
    
    RW
    
    K
    
    V
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - Make_ext
    
    Hash
    
    History
    
    E
    
    V
    
    Key
    
    Step
    
    P
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Path
    
    Step
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - Merge
    
    MSet
    
    M
    
    Map
    
    M
    
    X
    
    OP
    
    Result
  - Path
    
    S
    
    Step
    
    String_list
    
    Step
  - Private
    
    Commit
    
    HISTORY
    
    Store
    
    Key
    
    Val
    
    History
    
    N
    
    Key
    
    Path
    
    Step
    
    Val
    
    S
    
    Key
    
    Val
    
    Store
    
    Key
    
    Val
    
    Make
    
    C
    
    N
    
    S
    
    STORE
    
    Key
    
    Val
    
    Conf
    
    Lock
    
    Make
    
    K
    
    S
    
    Node
    
    GRAPH
    
    Store
    
    Key
    
    Path
    
    Step
    
    Val
    
    Graph
    
    C
    
    Key
    
    Path
    
    Step
    
    Val
    
    S
    
    Key
    
    Val
    
    Store
    
    Key
    
    Path
    
    Step
    
    Val
    
    Make
    
    C
    
    N
    
    P
    
    Step
    
    S
    
    STORE
    
    Key
    
    Path
    
    Step
    
    Val
    
    S
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Path
    
    Step
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Slice
    
    Make
    
    C
    
    Key
    
    Path
    
    Step
    
    Val
    
    H
    
    Key
    
    Val
    
    N
    
    Key
    
    Path
    
    Step
    
    Val
    
    S
    
    Sync
    
    None
    
    H
    
    R
    
    S
    
    Watch
    
    Make
    
    K
    
    V
    
    S
  - RAW
  - RO
  - RRW
  - RW
  - RW_MAKER
    
    K
    
    V
  - Ref
    
    S
    
    STORE
    
    Key
    
    Val
    
    String
  - S
    
    Hash
    
    History
    
    E
    
    V
    
    Key
    
    Step
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - SYNC
  - S_MAKER
    
    C
    
    Path
    
    Step
    
    H
    
    Hash
    
    History
    
    E
    
    V
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    R
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - Sync
    
    S
    
    Hash
    
    History
    
    E
    
    V
    
    Key
    
    Step
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - Task
  - VIEW
    
    Action
  - View
    
    Action
    
    S
    
    Hash
    
    History
    
    E
    
    V
    
    Key
    
    Step
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
irmin.fs
- Irmin_fs
  - AO
    
    IO
    
    K
    
    V
  - AO_ext
    
    C
    
    IO
    
    K
    
    V
  - Config
  - IO
  - LOCK
  - Link
    
    IO
    
    K
  - Link_ext
    
    C
    
    IO
    
    K
  - Make
    
    C
    
    Path
    
    Step
    
    H
    
    Hash
    
    History
    
    E
    
    V
    
    IO
    
    L
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    R
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - Make_ext
    
    C
    
    Path
    
    Step
    
    H
    
    Hash
    
    History
    
    E
    
    V
    
    IO
    
    L
    
    Obj
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    R
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - RW
    
    IO
    
    K
    
    L
    
    V
  - RW_ext
    
    C
    
    IO
    
    K
    
    L
    
    V
irmin.mem
- Irmin_mem
  - AO
    
    K
    
    V
  - Link
    
    K
  - Make
    
    C
    
    Path
    
    Step
    
    H
    
    Hash
    
    History
    
    E
    
    V
    
    Private
    
    Commit
    
    Key
    
    Val
    
    Contents
    
    Key
    
    Val
    
    Node
    
    Key
    
    Val
    
    Ref
    
    Key
    
    Val
    
    Repo
    
    Slice
    
    Sync
    
    R
    
    Ref
    
    Repo
    
    Val
    
    Path
    
    Step
  - RW
    
    K
    
    V

Legend:
Library
Module
Module type
Parameter
Class
Class type

Private references.

Ref Store

include RRW with type value = Commit.key with type key = branch_id

Reactive read-write stores

Reactive read-write stores are read-write stores with reactive capabilities.

include RW with type value = Commit.key with type key = branch_id

Read-write stores

include RO with type value = Commit.key with type key = branch_id

Read-only stores

type t

Type for stores.

type key = branch_id

Type for keys.

type value = Commit.key

Type for values.

val read : t -> key -> value option Lwt.t

Read a value from the store.

val read_exn : t -> key -> value Lwt.t

Same as read but raise Invalid_argument if the key does not exist.

val mem : t -> key -> bool Lwt.t

Check if a key exists.

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

iter t fn call the function fn on all t's keys and values.

val update : t -> key -> value -> unit Lwt.t

update t k v replaces the contents of k by v in t. If k is not already defined in t, create a fresh binding. Raise Invalid_argument if k is the empty path.

val compare_and_set : 
  t ->
  key ->
  test:value option ->
  set:value option ->
  bool Lwt.t

compare_and_set t key ~test ~set sets key to set only if the current value of key is test and in that case returns true. If the current value of key is different, it returns false. None means that the value does not have to exist or is removed.

Note: The operation is guaranteed to be atomic.

val remove : t -> key -> unit Lwt.t

remove t k remove the key k in t.

type watch

The type of watch handlers.

val watch_key : 
  t ->
  key ->
  ?init:value ->
  (value diff -> unit Lwt.t) ->
  watch Lwt.t

watch_key t k ?init f adds f to the list of t's watch handlers for the key k and returns the watch handler to be used with unwatch. init is the optional initial value of the key.

val watch : 
  t ->
  ?init:(key * value) list ->
  (key -> value diff -> unit Lwt.t) ->
  watch Lwt.t

watch t ?init f adds f to the list of t's watch handlers and returns the watch handler to be used with unwatch. init is the optional initial values. It is more efficient to use watch_key to watch only a single given key.

val unwatch : t -> watch -> unit Lwt.t

unwatch t w removes w from t's watch handlers.

module Key : Ref.S with type t = key

Base functions on keys.

module Val : Hash.S with type t = value

Base functions on values.