Expand description
Generalised types for intervals and partitions thereof.
intervals is oriented towards static-typing. The bounds are all
unique types, all operations between instances are exhaustively
implemented, and formatting is provided for ease-of-use.
Modules§
- bounds
- Module containing bound types.
- partitions
- Module containing interval partition utilities.
Structs§
- Interval
- Generalised type representing an interval between two points: a and b.
Traits§
- Bounded
- Marker trait for bounded intervals.
- Contains
- Trait for intervals which can assert containment of their values.
Type Aliases§
- Closed
- Alias for a bounded closed interval.
- Intersection
Of - Type alias to simplify intersection return types.
- Interval
Result - LCRO
- Alias for a left-closed, right-open interval.
- LORC
- Alias for a left-open, right-closed interval.
- Left
Closed - Alias for a left-closed interval, unbounded on the right.
- Left
Open - Alias for a left-open interval, unbounded on the right.
- Open
- Alias for a bounded open interval.
- Result
- Right
Closed - Alias for a right-closed interval, unbounded on the left.
- Right
Open - Alias for a right-open interval, unbounded on the left.
- Unbounded
- Alias for an unbounded interval.
- Union
Closure Of - Type alias to simplify union-closure return types.