CmRDT | CRDT.Cm |
CvRDT | CRDT.Cv |
Decrement | CRDT.PNCounter.Cm |
decrement | CRDT.PNCounter.Cv |
GCounter | |
1 (Type/Class) | CRDT.GCounter.Cv.Internal, CRDT.GCounter.Cv |
2 (Data Constructor) | CRDT.GCounter.Cv.Internal |
3 (Type/Class) | CRDT.GCounter.Cm |
Increment | |
1 (Data Constructor) | CRDT.GCounter.Cm |
2 (Data Constructor) | CRDT.PNCounter.Cm |
increment | |
1 (Function) | CRDT.GCounter.Cv |
2 (Function) | CRDT.PNCounter.Cv |
initial | |
1 (Function) | CRDT.GCounter.Cv |
2 (Function) | CRDT.PNCounter.Cv |
3 (Function) | CRDT.GCounter.Cm |
4 (Function) | CRDT.PNCounter.Cm |
LWW | CRDT.LWW |
negative | CRDT.PNCounter.Cv.Internal |
PNCounter | |
1 (Type/Class) | CRDT.PNCounter.Cv.Internal, CRDT.PNCounter.Cv |
2 (Data Constructor) | CRDT.PNCounter.Cv.Internal |
3 (Type/Class) | CRDT.PNCounter.Cm |
positive | CRDT.PNCounter.Cv.Internal |
query | |
1 (Function) | CRDT.GCounter.Cv |
2 (Function) | CRDT.PNCounter.Cv |
3 (Function) | CRDT.Cm |
State | CRDT.Cm |
Timestamp | CRDT.LWW |
timestamp | CRDT.LWW |
update | CRDT.Cm |
value | CRDT.LWW |
Write | CRDT.LWW |