Index
| 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 |