A set of strictly non-overlapping Intervals.

Opaque type; do not export.

Construct a "union" from a single Interval.

Additively construct a union from an unordered list of arbitrary Intervals.

Merge two Unions. E.g.:

• { [1, 2) } ∪ { [3, 4] } = { [1, 2), [3, 4] }
• { [1, 2) } ∪ { [2, 3] } = { [1, 3] }
• { [1, 2) } ∪ { (2, 3] } = { [1, 2), (2, 3] }

Construct a Union from the additive merger of two Intervals. E.g.:

• [1, 2) ∪ [3, 4] = { [1, 2), [3, 4] }

Return the intersection of two Unions. E.g.:

• { [1, 2) } ∩ { [3, 5] } = {}
• { [1, 3) } ∩ { [2, 5] } = { [2, 3) }
• { [1, 3), [4, 6] } ∩ { [2, 5] } = { [2, 3), [4, 5] }

Return the intersection of an interval with a Union. E.g.:

• [1, 2) ∩ { [3, 5] } = {}
• [1, 3) ∩ { [2, 5] } = { [2, 3) }
• [2, 5] ∩ { [1, 3), [4, 6] } = { [2, 3), [4, 5] }

Subtract interval b from interval a, returning the parts of a that did not intersect with b.

E.g.:

• [1, 3) - (1, 2] = { {1}, (2, 3) }

Subtract an interval from the given union, returning the contents of the union that did not intersect with the interval.

E.g.:

• { [1, 3), (5, 8] } - (1, 3) = { {1}, (5, 8] }

Subtract union b from union a, returning the contents of a that did not intersect with b.

E.g.:

• { [1, 3), (5, 8] } - { (1, 3), [6, 7] } = { {1}, (5, 6), (7, 8] }

Return the string representation of the given Union.