package irmin

  1. Overview
  2. Docs
package irmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Private.NodeSource

Node provides functions to describe the graph-like structured values.

The node blocks form a labeled directed acyclic graph, labeled by steps: a list of steps defines a unique path from one node to an other.

Each node can point to user-defined contents values.

Sourcemodule type S = sig ... end
Sourcemodule Make (K : Type.S) (P : sig ... end) (M : sig ... end) : S with type hash = K.t and type step = P.step and type metadata = M.t

Make provides a simple node implementation, parameterized by the contents and notes keys K, paths P and metadata M.

Sourcemodule V1 (N : S with type step = string) : sig ... end

v1 serialisation

Sourcemodule type STORE = sig ... end

STORE specifies the signature for node stores.

Sourcemodule Store (C : Contents.STORE) (P : Path.S) (M : sig ... end) (N : sig ... end) : STORE with type 'a t = 'a C.t * 'a N.t and type key = N.key and type value = N.value and module Path = P and module Metadata = M and type Key.t = N.key and module Val = N.Val

Store creates node stores.

Sourcemodule type GRAPH = sig ... end

Graph specifies the signature for node graphs. A node graph is a deterministic DAG, labeled by steps.

Sourcemodule Graph (N : STORE) : GRAPH with type 'a t = 'a N.t and type contents = N.Contents.key and type metadata = N.Metadata.t and type node = N.key and type step = N.Path.step and type path = N.Path.t
Sourcemodule No_metadata : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct