Module Private.SliceSource

Private slices.

Slices

Sourcetype t = slice

The type for slices.

The type for exported contents.

The type for exported nodes.

The type for exported commits.

Sourcetype value = [
  1. | `Contents of contents
  2. | `Node of node
  3. | `Commit of commit
]

The type for exported values.

Sourceval empty : unit -> t Lwt.t

Create a new empty slice.

Sourceval add : t -> value -> unit Lwt.t

add t v adds v to t.

Sourceval iter : t -> (value -> unit Lwt.t) -> unit Lwt.t

iter t f calls f on all values of t.

Value Types

t is the value type for t.

Sourceval contents_t : contents Irmin.Type.t

content_t is the value type for contents.

node_t is the value type for node.

Sourceval commit_t : commit Irmin.Type.t

commit_t is the value type for commit.

value_t is the value type for value.