crdt-10.4: Conflict-free replicated data types

Index

Add 
1 (Data Constructor)CRDT.Cm.TwoPSet
2 (Data Constructor)CRDT.Cm.ORSet
3 (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
AddAfterCRDT.Cm.RGA
advanceCRDT.LamportClock
advanceFromLWWCRDT.LWW
applyCRDT.Cm
AsEmptyData.Empty
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
empty 
1 (Function)Data.Empty
2 (Function)Data.MultiMap
fromListCRDT.Cv.RGA
fromString 
1 (Function)CRDT.Cv.RGA
2 (Function)CRDT.Cm.RGA
GCounter 
1 (Type/Class)CRDT.Cv.GCounter
2 (Data Constructor)CRDT.Cv.GCounter
getMacAddressCRDT.LamportClock
getMaxCRDT.Cv.Max
getPidCRDT.LamportClock
getRealLocalTimeCRDT.LamportClock
getTimeCRDT.LamportClock
getTimesCRDT.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.Cv.TwoPSet
4 (Function)CRDT.Cv.GCounter
5 (Function)CRDT.Cv.PNCounter
6 (Function)CRDT.Cv.ORSet
7 (Function)CRDT.Cm
8 (Function)CRDT.Cv.LwwElementSet
initializeCRDT.LWW
insertData.MultiMap
Intent 
1 (Type/Class)CRDT.Cm
2 (Type/Class)CRDT.Cm.ORSet
isEmptyData.Empty
isKnownCRDT.Cv.TwoPSet
isNotEmptyData.Empty
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.Cv.ORSet
2 (Data Constructor)CRDT.Cv.ORSet
3 (Type/Class)CRDT.Cm.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.Cv.GCounter
3 (Function)CRDT.Cv.PNCounter
4 (Function)CRDT.Cm
5 (Function)CRDT.LWW
6 (Function)CRDT.Cm.ORSet
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.Cv.RGA
2 (Data Constructor)CRDT.Cv.RGA
3 (Type/Class)CRDT.Cm.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.Cv.RGA
2 (Function)CRDT.Cm.RGA
toVectorCRDT.Cm.RGA
TwoPSet 
1 (Type/Class)CRDT.Cv.TwoPSet
2 (Data Constructor)CRDT.Cv.TwoPSet
3 (Type/Class)CRDT.Cm.TwoPSet
unpackCRDT.Cv.RGA
valueCRDT.LWW
versionCRDT.Cm.ORSet
vertexIxsCRDT.Cm.RGA
verticesCRDT.Cm.RGA