package irmin

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature
Node values

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

Node provides a simple node implementation, parameterized by the contents C, node N and paths P.

Parameters

module C : Tc.S0

module N : Tc.S0

module P : Path.S

Signature

Node values

include Tc.S0

type t

val equal : t Tc.equal

val compare : t Tc.compare

val hash : t Tc.hash

val to_json : t Tc.to_json

The REST inteface.

val of_json : t Tc.of_json

val size_of : t Tc.size_of

The serialization format.

val write : t Tc.writer

val read : t Tc.reader

type contents = C.t

The type for contents keys.

type node = N.t

The type for node keys.

type step = P.step

The type for steps between nodes.

val create : (step * [ `Contents of contents | `Node of node ]) list -> t

create l is a new node.

val alist : t -> (step * [ `Contents of contents | `Node of node ]) list

alist t is the contents of t.

val empty : t

The empty node.

val is_empty : t -> bool

Is the node empty?

val contents : t -> step -> contents option

Get the node contents.

A node can point to user-defined contents. The edge between the node and the contents is labeled by a step.

val iter_contents : t -> (step -> contents -> unit) -> unit

iter_contents t f calls f on t's contents. For better performance, use contents instead when you know the step in advance.

val with_contents : t -> step -> contents option -> t

with_contents t s c replaces t's contents for the step s by c.

val succ : t -> step -> node option

succ t s is s's successor in t.

val iter_succ : t -> (step -> node -> unit) -> unit

iter_succ t f calls f on t's successors.

val with_succ : t -> step -> node option -> t

replace_succ t s n replaces t's successor for the step s by n.