crdt-1.0: Conflict-free replicated data types (Index)

crdt-1.0: Conflict-free replicated data types

Index

Add
1 (Type/Class)	CRDT.Cm.GSet
2 (Data Constructor)	CRDT.Cm.GSet
3 (Data Constructor)	CRDT.Cm.TPSet
add	CRDT.Cv.GSet
Assign
1 (Type/Class)	CRDT.Cm.LWW
2 (Data Constructor)	CRDT.Cm.LWW
assign	CRDT.Cv.LWW
barrier	LamportClock
Clock	LamportClock
CmRDT	CRDT.Cm
concurrent	CRDT.Cm
Counter
1 (Type/Class)	CRDT.Cm.Counter
2 (Data Constructor)	CRDT.Cm.Counter
CounterOp	CRDT.Cm.Counter
CvRDT	CRDT.Cv
Decrement	CRDT.Cm.Counter
decrement	CRDT.Cv.PNCounter
GCounter
1 (Type/Class)	CRDT.Cv.GCounter
2 (Data Constructor)	CRDT.Cv.GCounter
getMax	CRDT.Cv.Max
GSet	CRDT.Cv.GSet, CRDT.Cm.GSet
Increment	CRDT.Cm.Counter
increment
1 (Function)	CRDT.Cv.GCounter
2 (Function)	CRDT.Cv.PNCounter
initial
1 (Function)	CRDT.Cv.GSet
2 (Function)	CRDT.Cv.GCounter
3 (Function)	CRDT.Cv.LWW
4 (Function)	CRDT.Cv.PNCounter
5 (Function)	CRDT.Cm.Counter
6 (Function)	CRDT.Cm.GSet
7 (Function)	CRDT.Cm.TPSet
LamportClock	LamportClock
lookup
1 (Function)	CRDT.Cm.GSet
2 (Function)	CRDT.Cm.TPSet
LWW
1 (Type/Class)	CRDT.Cv.LWW, CRDT.Cm.LWW
2 (Data Constructor)	CRDT.Cv.LWW, CRDT.Cm.LWW
Max
1 (Data Constructor)	CRDT.Cv.Max
2 (Type/Class)	CRDT.Cv.Max
merge	Data.Semilattice
negative	CRDT.Cv.PNCounter
newTimestamp	LamportClock
Observe	Data.Observe
observe	Data.Observe
Observed	Data.Observe
payload	CRDT.Cm.TPSet
Pid
1 (Type/Class)	LamportClock
2 (Data Constructor)	LamportClock
PNCounter
1 (Type/Class)	CRDT.Cv.PNCounter
2 (Data Constructor)	CRDT.Cv.PNCounter
point	CRDT.Cv.Max
positive	CRDT.Cv.PNCounter
Process	LamportClock
query
1 (Function)	CRDT.Cv.Max
2 (Function)	CRDT.Cv.GSet
3 (Function)	CRDT.Cv.GCounter
4 (Function)	CRDT.Cv.LWW
5 (Function)	CRDT.Cv.PNCounter
Remove	CRDT.Cm.TPSet
runLamportClock	LamportClock
runProcess	LamportClock
Semilattice	Data.Semilattice
Time	LamportClock
Timestamp
1 (Type/Class)	LamportClock
2 (Data Constructor)	LamportClock
timestamp	CRDT.Cv.LWW, CRDT.Cm.LWW
TPSet
1 (Type/Class)	CRDT.Cm.TPSet
2 (Data Constructor)	CRDT.Cm.TPSet
TPSetOp	CRDT.Cm.TPSet
updateAtSource	CRDT.Cm, CRDT.Cm.TPSet
updateAtSourcePre	CRDT.Cm
updateDownstream	CRDT.Cm, CRDT.Cm.TPSet
value	CRDT.Cv.LWW, CRDT.Cm.LWW