package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains all immutable 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.