Sound unchecked indexing in Rust using “generativity”; a type system approach to indices and ranges that are trusted to be in bounds.
Includes an index API and an interval (Range<'id, P>
) API developing its
own “algebra” for transformations of in bounds ranges.
This is an experiment. The API is all of inconsistent, incomplete and redundant, but it explores interesting concepts.