crdt-ml

API

Library crdt

• Crdt A collection of mutable and immutable CRDTs.

Library crdt_immutable

• I_GCounter Increment-only counters.
• I_GSet Grow-Only sets.
• I_IntVector Vector Clocks.
• I_ORSet Observed-Remove set.
• I_PNCounter Increment / decrement counters.
• I_USet Add-once and remove-once set.
• Immutable_types This module contains all immutable CRDT types, as well as some type properties that CRDT state must satisfy.

Library crdt_mutable

• M_GCounter Increment-only counters.
• M_GSet Grow-Only sets.
• M_IntVector Vector Clocks.
• M_ORSet Observed-Remove set.
• M_PNCounter Increment / decrement counters.
• M_USet Add-once and remove-once set.
• Mutable_types This module contains all mutable CRDT types, as well as some type properties that CRDT state must satisfy.

Library crdt_util

• IList Helper List library that supports dynamic padding for higher-order functions operating on lists of different length.