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]