package crdt-ml

  1. Overview
  2. Docs

Module Mutable_typesSource

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.