Add GMap join-decomposition recursive definition

lasp-lang / types

Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.

https://lasp-lang.org

Apache License 2.0

140 stars 13 forks source link

Closed vitorenesduarte closed 6 years ago

vitorenesduarte commented 6 years ago

GMap join-decomposition
LWWRegister strict and irreducible strict inflation checks
CRDT size functions that return a pair where the first component represents the metadata size and the second component the payload size
GMap: orddict -> dict