Module crdts::identifier[][src]

This module contains a dense Identifier. Dense Identifiers.

It’s sometimes usefult to be able to create identifiers for which we know there is always space between values to create another. That is, if we have identifiers a, b with a != b then we can always construct an identifier c s.t. a < c < b or a > c > b.

The GList and List CRDT’s rely on this property so that we may always insert elements between any existing elements.

Structs

Identifier

A dense Identifier, if you have two identifiers that are different, we can always construct an identifier between them.