This crate contains a performance-optimized type for generic version ranges and operations on them.
[Ranges] can represent version selectors such as (>=1, <2) OR (==3) OR (>4). Internally,
it is an ordered list of contiguous intervals (segments) with inclusive, exclusive or open-ended
ends, similar to a Vec<(Bound<T>, Bound<T>)>.
You can construct a basic range from one of the following build blocks. All other ranges are concatenation, union, and complement of these basic ranges.
- empty(): No version
- full(): All versions
- singleton(v): Only the version v exactly
- higher_than(v): All versions
v <= versions - strictly_higher_than(v): All versions
v < versions - lower_than(v): All versions
versions <= v - strictly_lower_than(v): All versions
versions < v - between(v1, v2): All versions
v1 <= versions < v2
[Ranges] is generic over any type that implements [Ord] + [Clone] and can represent all
kinds of slices with ordered coordinates, not just version ranges. While built as a
performance-critical piece of pubgrub, it can be
adopted for other domains, too.
Note that there are limitations to the equality implementation: Given a Ranges<u32>,
the segments (Unbounded, Included(42u32)) and (Included(0), Included(42u32)) as well as
(Included(1), Included(5)) and (Included(1), Included(3)) + (Included(4), Included(5))
are reported as unequal, even though the match the same versions: We can't tell that there isn't
a version between 0 and -inf or 3 and 4 respectively.
Optional features
serde: serialization and deserialization for the version range, given that the version type also supports it.proptest: Exports are proptest strategy for [Ranges<u32>].