Documentation

data Interval Source

mkInterval :: Int -> Width -> IntervalSource

intervalToInfinityFrom :: Int -> IntervalSource

integersInInterval :: Interval -> [Int]Source

data DisjointIntervalSet Source

emptyIntervalSet :: DisjointIntervalSetSource

extendIntervalSet :: DisjointIntervalSet -> Interval -> DisjointIntervalSetSource

deleteFromIntervalSet :: DisjointIntervalSet -> Interval -> DisjointIntervalSetSource

subIntervals :: DisjointIntervalSet -> Width -> [Interval]Source