| ||||
| ||||
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.3.0 |