Loom.Dots
A generic structure for associating values with dots (version vector pairs).
They reflect work from ORSWOT (optimized observed-remove set without tombstones).
Summary
| add(arg1, actor, value) | Adds and associates a value with a new dot for an actor |
| compact(dots) | Compact the dots |
| dotin(dots, dot) | Checks for a dot’s membership |
| dots(dots) | Return the dots |
| join(dots1, dots2) | Joins any 2 dots together |
| new() | Create a new Dots manager |
| remove(arg1) | Removes all values from the set |
| remove(dots, pred) | Removes a value from the set |
Functions
Specs:
Adds and associates a value with a new dot for an actor.
Specs:
Compact the dots.
This merges any newly-contiguously-joined deltas. This is usually called automatically as needed.
Specs:
Joins any 2 dots together.
Automatically compacts any contiguous dots.