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

crdt-6.0: Conflict-free replicated data types

Index

Add
1 (Data Constructor)	CRDT.Cm.TwoPSet
2 (Data Constructor)	CRDT.Cm.GSet
add
1 (Function)	CRDT.Cv.GSet
2 (Function)	CRDT.Cv.TwoPSet
3 (Function)	CRDT.Cv.ORSet
4 (Function)	CRDT.Cv.LwwElementSet
advance	CRDT.LamportClock
advanceFromLWW	CRDT.LWW
apply	CRDT.Cm
assign	CRDT.LWW
CausalOrd	CRDT.Cm
Clock	CRDT.LamportClock
CmRDT	CRDT.Cm
concurrent	CRDT.Cm
Counter	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
getPid	CRDT.LamportClock
getRealLocalTime	CRDT.LamportClock
getTime	CRDT.LamportClock
GSet
1 (Type/Class)	CRDT.Cv.GSet
2 (Type/Class)	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.Max
3 (Function)	CRDT.LWW
4 (Function)	CRDT.Cv.TwoPSet
5 (Function)	CRDT.Cv.ORSet
6 (Function)	CRDT.Cv.LwwElementSet
7 (Function)	CRDT.Cv.GCounter
8 (Function)	CRDT.Cv.PNCounter
Intent	CRDT.Cm
isKnown	CRDT.Cv.TwoPSet
LamportClock	CRDT.LamportClock
LamportClockSim
1 (Type/Class)	CRDT.LamportClock
2 (Data Constructor)	CRDT.LamportClock
LamportTime
1 (Type/Class)	CRDT.LamportClock
2 (Data Constructor)	CRDT.LamportClock
LES	CRDT.Cv.LwwElementSet
LocalTime	CRDT.LamportClock
lookup
1 (Function)	CRDT.Cv.GSet
2 (Function)	CRDT.Cv.TwoPSet
3 (Function)	CRDT.Cv.ORSet
4 (Function)	CRDT.Cv.LwwElementSet
LWW
1 (Type/Class)	CRDT.LWW
2 (Data Constructor)	CRDT.LWW
LwwElementSet	CRDT.Cv.LwwElementSet
makeOp	CRDT.Cm
Max
1 (Data Constructor)	CRDT.Cv.Max
2 (Type/Class)	CRDT.Cv.Max
merge	Data.Semilattice
negative	CRDT.Cv.PNCounter
ORSet
1 (Type/Class)	CRDT.Cv.ORSet
2 (Data Constructor)	CRDT.Cv.ORSet
Payload	CRDT.Cm
Pid
1 (Type/Class)	CRDT.LamportClock
2 (Data Constructor)	CRDT.LamportClock
PNCounter
1 (Type/Class)	CRDT.Cv.PNCounter
2 (Data Constructor)	CRDT.Cv.PNCounter
positive	CRDT.Cv.PNCounter
precedes	CRDT.Cm
Process	CRDT.LamportClock
ProcessSim
1 (Type/Class)	CRDT.LamportClock
2 (Data Constructor)	CRDT.LamportClock
query
1 (Function)	CRDT.Cv.Max
2 (Function)	CRDT.LWW
3 (Function)	CRDT.Cv.GCounter
4 (Function)	CRDT.Cv.PNCounter
Remove	CRDT.Cm.TwoPSet
remove
1 (Function)	CRDT.Cv.TwoPSet
2 (Function)	CRDT.Cv.ORSet
3 (Function)	CRDT.Cv.LwwElementSet
runLamportClock	CRDT.LamportClock
runLamportClockSim	CRDT.LamportClock
runProcessSim	CRDT.LamportClock
Semilattice	Data.Semilattice
singleton	CRDT.Cv.TwoPSet
time	CRDT.LWW
TwoPSet
1 (Type/Class)	CRDT.Cm.TwoPSet
2 (Type/Class)	CRDT.Cv.TwoPSet
3 (Data Constructor)	CRDT.Cv.TwoPSet
value	CRDT.LWW