CRDT.Cv

Documentation

class Semigroup state => CvRDT state

State-based, or convergent (Cv) replicated data type.

Update is any function modifying state.

Query function is not needed. State itself is exposed. In other words, query = id.

Laws:

commutativity

x <> y == y <> x

idempotency

x <> x == x

Instances

Ord a => CvRDT (GCounter a)

Ord a => CvRDT (PNCounter a)

Ord a => CvRDT (LWW a)