External Publication
Visit Post

[ANN] interval-patterns-0.8.2

Haskell Community [Unofficial] May 8, 2026
Source

A non-lawful Ord instance would probably be useless for Intervals anyway, considering they perform comparisons when using the constructor patterns.

The ordering of Interval x is in fact the lexicographic ordering on pairs of x, with the addition that Min is less than Inf and Sup is less than Max (c.f. compareBounds). Testing this property to follow.

Discussion in the ATmosphere

Loading comments...