| ||||
| ||||
| Documentation | ||||
| data Interval | ||||
| mkInterval :: Int -> Width -> Interval | ||||
| intervalToInfinityFrom :: Int -> Interval | ||||
| integersInInterval :: Interval -> [Int] | ||||
| data DisjointIntervalSet | ||||
| emptyIntervalSet :: DisjointIntervalSet | ||||
| extendIntervalSet :: DisjointIntervalSet -> Interval -> DisjointIntervalSet | ||||
| deleteFromIntervalSet :: DisjointIntervalSet -> Interval -> DisjointIntervalSet | ||||
| subIntervals :: DisjointIntervalSet -> Width -> [Interval] | ||||
| Produced by Haddock version 2.7.2 |