Crate indexing [−] [src]

“Sound unchecked indexing” in Rust using “generativity” (branding by unique lifetime parameter).

Includes an index API and an interval (Range<'id, P>) API developing its own “algebra for transformations of in bounds ranges”.

Modules

Respository of some indexing-implemented algorithms so we can dissect them and their codegen.

Container	A branded container, that allows access only to indices and ranges with the exact same brand in the `'id` parameter.
Index	A branded index.
Range	A branded range.
RangeIter	An iterator over the indices in a range.
Subdivide	`Subdivide` is an iterator of evenly sized nonempty, nonoverlapping ranges

NonEmpty	Length marker for range known to not be empty.
Unknown	Length marker for unknown length.

Buffer	A marker trait for collections where we can safely vet indices
BufferMut
IntoCheckedRange

Create an indexing scope for a container.