Index
| <> | Data.Semilattice |
| 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 |
| Semilattice | Data.Semilattice |
| State | CRDT.Cm |
| Timestamp | CRDT.LWW |
| timestamp | CRDT.LWW |
| update | CRDT.Cm |
| value | CRDT.LWW |
| Write | CRDT.LWW |