package crdt-ml

  1. Overview
  2. Docs

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

module type Comparable = sig ... end

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

module type Mergeable = sig ... end

Mergeable types. All CRDTs satisfy this property.

module type IVector = sig ... end

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

module type DCounter = sig ... end

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

module type GSet = sig ... end

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

module type RSet = sig ... end

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