crdt-7.0: Conflict-free replicated data types

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
AddAfterCRDT.Cm.RGA
advanceCRDT.LamportClock
advanceFromLWWCRDT.LWW
applyCRDT.Cm
assignCRDT.LWW
assocsData.MultiMap
CausalOrdCRDT.Cm
ClockCRDT.LamportClock
CmRDTCRDT.Cm
concurrentCRDT.Cm
CounterCRDT.Cm.Counter
CvRDTCRDT.Cv
DecrementCRDT.Cm.Counter
decrementCRDT.Cv.PNCounter
deleteData.MultiMap
deleteManyData.MultiMap
editCRDT.Cv.RGA
elementsCRDT.Cm.ORSet
emptyData.MultiMap
fromListCRDT.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
getMaxCRDT.Cv.Max
getPidCRDT.LamportClock
getRealLocalTimeCRDT.LamportClock
getTimeCRDT.LamportClock
GSet 
1 (Type/Class)CRDT.Cv.GSet
2 (Type/Class)CRDT.Cm.GSet
IncrementCRDT.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
initializeCRDT.LWW
insertData.MultiMap
Intent 
1 (Type/Class)CRDT.Cm
2 (Type/Class)CRDT.Cm.ORSet
isKnownCRDT.Cv.TwoPSet
keysSetData.MultiMap
LamportClockCRDT.LamportClock
LamportClockSim 
1 (Type/Class)CRDT.LamportClock.Simulation
2 (Data Constructor)CRDT.LamportClock.Simulation
LamportClockSimTCRDT.LamportClock.Simulation
LamportTime 
1 (Type/Class)CRDT.LamportClock
2 (Data Constructor)CRDT.LamportClock
LESCRDT.Cv.LwwElementSet
loadCRDT.Cm.RGA
LocalTimeCRDT.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
LwwElementSetCRDT.Cv.LwwElementSet
makeAndApplyOpCRDT.Cm
makeAndApplyOpsCRDT.Cm
makeOpCRDT.Cm
Max 
1 (Data Constructor)CRDT.Cv.Max
2 (Type/Class)CRDT.Cv.Max
memberCRDT.Cv.TwoPSet
mergeData.Semilattice
MultiMap 
1 (Type/Class)Data.MultiMap
2 (Data Constructor)Data.MultiMap
negativeCRDT.Cv.PNCounter
OpAddCRDT.Cm.ORSet
OpAddAfterCRDT.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
packCRDT.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
positiveCRDT.Cv.PNCounter
precedesCRDT.Cm
ProcessCRDT.LamportClock
ProcessSim 
1 (Type/Class)CRDT.LamportClock.Simulation
2 (Data Constructor)CRDT.LamportClock.Simulation
ProcessSimTCRDT.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
RgaIntentCRDT.Cm.RGA
RgaPackedCRDT.Cv.RGA
RgaPayload 
1 (Type/Class)CRDT.Cm.RGA
2 (Data Constructor)CRDT.Cm.RGA
RgaStringCRDT.Cv.RGA
runLamportClockCRDT.LamportClock
runLamportClockSimCRDT.LamportClock.Simulation
runLamportClockSimTCRDT.LamportClock.Simulation
runProcessSimCRDT.LamportClock.Simulation
runProcessSimTCRDT.LamportClock.Simulation
SemilatticeData.Semilattice
singleton 
1 (Function)Data.MultiMap
2 (Function)CRDT.Cv.TwoPSet
Tag 
1 (Type/Class)CRDT.Cm.ORSet
2 (Data Constructor)CRDT.Cm.ORSet
timeCRDT.LWW
toListCRDT.Cv.RGA
toString 
1 (Function)CRDT.Cm.RGA
2 (Function)CRDT.Cv.RGA
toVectorCRDT.Cm.RGA
TwoPSet 
1 (Type/Class)CRDT.Cm.TwoPSet
2 (Type/Class)CRDT.Cv.TwoPSet
3 (Data Constructor)CRDT.Cv.TwoPSet
unpackCRDT.Cv.RGA
valueCRDT.LWW
versionCRDT.Cm.ORSet
vertexIxsCRDT.Cm.RGA
verticesCRDT.Cm.RGA