Index

Add
1 (Data Constructor)	CRDT.Cm.TwoPSet
2 (Data Constructor)	CRDT.Cm.GSet
3 (Data Constructor)	CRDT.Cm.ORSet
add
1 (Function)	CRDT.Cv.GSet
2 (Function)	CRDT.Cv.TwoPSet
3 (Function)	CRDT.Cv.ORSet
4 (Function)	CRDT.Cv.LwwElementSet
AddAfter	CRDT.Cm.RGA
advance	CRDT.LamportClock
advanceFromLWW	CRDT.LWW
apply	CRDT.Cm
assign	CRDT.LWW
assocs	Data.MultiMap
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
delete	Data.MultiMap
deleteMany	Data.MultiMap
edit	CRDT.Cv.RGA
elements	CRDT.Cm.ORSet
empty	Data.MultiMap
fromList	CRDT.Cv.RGA
fromString
1 (Function)	CRDT.Cm.RGA
2 (Function)	CRDT.Cv.RGA
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.Cm
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
initialize	CRDT.LWW
insert	Data.MultiMap
Intent
1 (Type/Class)	CRDT.Cm
2 (Type/Class)	CRDT.Cm.ORSet
isKnown	CRDT.Cv.TwoPSet
keysSet	Data.MultiMap
LamportClock	CRDT.LamportClock
LamportClockSim
1 (Type/Class)	CRDT.LamportClock.Simulation
2 (Data Constructor)	CRDT.LamportClock.Simulation
LamportClockSimT	CRDT.LamportClock.Simulation
LamportTime
1 (Type/Class)	CRDT.LamportClock
2 (Data Constructor)	CRDT.LamportClock
LES	CRDT.Cv.LwwElementSet
load	CRDT.Cm.RGA
LocalTime	CRDT.LamportClock
lookup
1 (Function)	CRDT.Cv.GSet
2 (Function)	Data.MultiMap
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
makeAndApplyOp	CRDT.Cm
makeAndApplyOps	CRDT.Cm
makeOp	CRDT.Cm
Max
1 (Data Constructor)	CRDT.Cv.Max
2 (Type/Class)	CRDT.Cv.Max
member	CRDT.Cv.TwoPSet
merge	Data.Semilattice
MultiMap
1 (Type/Class)	Data.MultiMap
2 (Data Constructor)	Data.MultiMap
negative	CRDT.Cv.PNCounter
OpAdd	CRDT.Cm.ORSet
OpAddAfter	CRDT.Cm.RGA
OpRemove
1 (Data Constructor)	CRDT.Cm.RGA
2 (Data Constructor)	CRDT.Cm.ORSet
ORSet
1 (Type/Class)	CRDT.Cm.ORSet
2 (Type/Class)	CRDT.Cv.ORSet
3 (Data Constructor)	CRDT.Cv.ORSet
pack	CRDT.Cv.RGA
Payload
1 (Type/Class)	CRDT.Cm
2 (Type/Class)	CRDT.Cm.ORSet
3 (Data Constructor)	CRDT.Cm.ORSet
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.Simulation
2 (Data Constructor)	CRDT.LamportClock.Simulation
ProcessSimT	CRDT.LamportClock.Simulation
query
1 (Function)	CRDT.Cv.Max
2 (Function)	CRDT.Cm
3 (Function)	CRDT.Cm.ORSet
4 (Function)	CRDT.LWW
5 (Function)	CRDT.Cv.GCounter
6 (Function)	CRDT.Cv.PNCounter
Remove
1 (Data Constructor)	CRDT.Cm.TwoPSet
2 (Data Constructor)	CRDT.Cm.RGA
3 (Data Constructor)	CRDT.Cm.ORSet
remove
1 (Function)	CRDT.Cv.TwoPSet
2 (Function)	CRDT.Cv.ORSet
3 (Function)	CRDT.Cv.LwwElementSet
RGA
1 (Type/Class)	CRDT.Cm.RGA
2 (Type/Class)	CRDT.Cv.RGA
3 (Data Constructor)	CRDT.Cv.RGA
RgaIntent	CRDT.Cm.RGA
RgaPacked	CRDT.Cv.RGA
RgaPayload
1 (Type/Class)	CRDT.Cm.RGA
2 (Data Constructor)	CRDT.Cm.RGA
RgaString	CRDT.Cv.RGA
runLamportClock	CRDT.LamportClock
runLamportClockSim	CRDT.LamportClock.Simulation
runLamportClockSimT	CRDT.LamportClock.Simulation
runProcessSim	CRDT.LamportClock.Simulation
runProcessSimT	CRDT.LamportClock.Simulation
Semilattice	Data.Semilattice
singleton
1 (Function)	Data.MultiMap
2 (Function)	CRDT.Cv.TwoPSet
Tag
1 (Type/Class)	CRDT.Cm.ORSet
2 (Data Constructor)	CRDT.Cm.ORSet
time	CRDT.LWW
toList	CRDT.Cv.RGA
toString
1 (Function)	CRDT.Cm.RGA
2 (Function)	CRDT.Cv.RGA
toVector	CRDT.Cm.RGA
TwoPSet
1 (Type/Class)	CRDT.Cm.TwoPSet
2 (Type/Class)	CRDT.Cv.TwoPSet
3 (Data Constructor)	CRDT.Cv.TwoPSet
unpack	CRDT.Cv.RGA
value	CRDT.LWW
version	CRDT.Cm.ORSet
vertexIxs	CRDT.Cm.RGA
vertices	CRDT.Cm.RGA