Add | |
1 (Data Constructor) | CRDT.Cm.GSet |
2 (Data Constructor) | CRDT.Cm.TPSet |
add | CRDT.Cv.GSet |
Assign | |
1 (Type/Class) | CRDT.LWW |
2 (Data Constructor) | CRDT.LWW |
assign | CRDT.LWW |
barrier | LamportClock |
before | CRDT.Cm |
CausalOrd | CRDT.Cm |
Clock | 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 |
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.GCounter |
3 (Function) | CRDT.Cv.PNCounter |
4 (Function) | CRDT.LWW |
LamportClock | LamportClock |
LWW | |
1 (Type/Class) | CRDT.LWW |
2 (Data Constructor) | CRDT.LWW |
Max | |
1 (Data Constructor) | CRDT.Cv.Max |
2 (Type/Class) | CRDT.Cv.Max |
merge | Data.Semilattice |
negative | CRDT.Cv.PNCounter |
newTimestamp | LamportClock |
Op | CRDT.Cm |
Payload | CRDT.Cm |
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.PNCounter |
5 (Function) | CRDT.LWW |
Remove | CRDT.Cm.TPSet |
runLamportClock | LamportClock |
runProcess | LamportClock |
Semilattice | Data.Semilattice |
Time | LamportClock |
Timestamp | |
1 (Type/Class) | LamportClock |
2 (Data Constructor) | LamportClock |
timestamp | CRDT.LWW |
TPSet | CRDT.Cm.TPSet |
updateAtSource | CRDT.Cm, CRDT.Cm.TPSet |
updateAtSourcePre | CRDT.Cm |
updateDownstream | CRDT.Cm, CRDT.Cm.TPSet |
value | CRDT.LWW |
View | CRDT.Cm |
view | CRDT.Cm |