Crate intervals

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 Definitions

• Closed
  Alias for a bounded closed interval.
• IntersectionOf
  Type alias to simplify intersection return types.
• IntervalResult
• LCRO
  Alias for a left-closed, right-open interval.
• LORC
  Alias for a left-open, right-closed interval.
• LeftClosed
  Alias for a left-closed interval, unbounded on the right.
• LeftOpen
  Alias for a left-open interval, unbounded on the right.
• Open
  Alias for a bounded open interval.
• Result
• RightClosed
  Alias for a right-closed interval, unbounded on the left.
• RightOpen
  Alias for a right-open interval, unbounded on the left.
• Unbounded
  Alias for an unbounded interval.
• UnionClosureOf
  Type alias to simplify union-closure return types.