Expand description
Helper type: a frozen RangeMap where most ranges do not have gaps between them.
Ordinary RangeMaps store a start and end for each range. But if the there are not gaps between a pair of ranges, then the range end is redundant.
This trick lets us save about 40%-50% of the total database size, for a savings of around 6 MiB. (Data checked as of April 2026)
Structs§
- Dense
Range 🔒Map - An immutable map from ranges to
Option<V1>,Option<V2>-pairs. - Dense
Range 🔒MapBuilder - A helper type to create a
DenseRangeMapfrom a sorted list of disjoint ranges.
Enums§
- Error 🔒
- An error that occurred while building a
DenseRangeMap
Traits§
- Successor 🔒
- An object that has a single next element.