crdt-10.1: Conflict-free replicated data types

Safe HaskellSafe
LanguageHaskell2010

CRDT.Cv

Synopsis

Documentation

type CvRDT = Semilattice Source #

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. Some types may offer more convenient query functions.

Actually, a CvRDT is nothing more a Semilattice.