package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

CRDTs - Conflict-Free Replicated Data Types for OCaml

Install

sha256=c9be2ec006cd4f65e6a9bddbcedf024f876134afc1ddf4fb689dd0167de25b73

md5=b8337dcb24a3220a3c35bd5bae5c8f12

This module contains all mutable CRDT types, as well as some type properties that CRDT state must satisfy.

Sourcemodule type Comparable = sig ... end

Comparable types. All elements in a set must satisfy this property.

Sourcemodule type Mergeable = sig ... end

Mergeable types. All CRDTs satisfy this property.

Sourcemodule type IVector = sig ... end

Vector Clock and increment-only counter types. Supports merging and incrementing. The elt type must be supplied when including.

Sourcemodule type DCounter = sig ... end

Increment / decrement counter type. Supports merging, incrementing and decrementing.

Sourcemodule type GSet = sig ... end

Grow-Only set type. Supports merging, adding and lookup operations.

Sourcemodule type RSet = sig ... end

Add and remove set type. Supports merging, adding and lookup operations.