unison-parser-typechecker-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.PatternMatchCoverage.IntervalSet

Synopsis

data IntervalSet
empty :: IntervalSet
singleton :: (Int, Int) -> IntervalSet
fromList :: [(Int, Int)] -> IntervalSet
insert :: (Int, Int) -> IntervalSet -> IntervalSet
delete :: (Int, Int) -> IntervalSet -> IntervalSet
difference :: IntervalSet -> IntervalSet -> IntervalSet
intersection :: IntervalSet -> IntervalSet -> IntervalSet
complement :: IntervalSet -> IntervalSet
null :: IntervalSet -> Bool
member :: Int -> IntervalSet -> Bool
extractSingleton :: IntervalSet -> Maybe Int
intersectIntervals :: (Int, Int) -> (Int, Int) -> Maybe (Int, Int)
map :: ((Int, Int) -> (Int, Int)) -> IntervalSet -> IntervalSet
foldr :: (Int -> Int -> b -> b) -> b -> IntervalSet -> b
lookupMin :: IntervalSet -> Maybe Int
lookupMax :: IntervalSet -> Maybe Int

Documentation

data IntervalSet Source #

Instances

Instances details

Show IntervalSet Source #
Instance details Defined in Unison.PatternMatchCoverage.IntervalSet Methods showsPrec :: Int -> IntervalSet -> ShowS # show :: IntervalSet -> String # showList :: [IntervalSet] -> ShowS #
Eq IntervalSet Source #
Instance details Defined in Unison.PatternMatchCoverage.IntervalSet Methods (==) :: IntervalSet -> IntervalSet -> Bool # (/=) :: IntervalSet -> IntervalSet -> Bool #
Ord IntervalSet Source #
Instance details Defined in Unison.PatternMatchCoverage.IntervalSet Methods compare :: IntervalSet -> IntervalSet -> Ordering # (<) :: IntervalSet -> IntervalSet -> Bool # (<=) :: IntervalSet -> IntervalSet -> Bool # (>) :: IntervalSet -> IntervalSet -> Bool # (>=) :: IntervalSet -> IntervalSet -> Bool # max :: IntervalSet -> IntervalSet -> IntervalSet # min :: IntervalSet -> IntervalSet -> IntervalSet #

empty :: IntervalSet Source #

singleton :: (Int, Int) -> IntervalSet Source #

fromList :: [(Int, Int)] -> IntervalSet Source #

insert :: (Int, Int) -> IntervalSet -> IntervalSet Source #

insert inclusive bounds interval into set

delete :: (Int, Int) -> IntervalSet -> IntervalSet Source #

difference :: IntervalSet -> IntervalSet -> IntervalSet Source #

intersection :: IntervalSet -> IntervalSet -> IntervalSet Source #

complement :: IntervalSet -> IntervalSet Source #

null :: IntervalSet -> Bool Source #

member :: Int -> IntervalSet -> Bool Source #

extractSingleton :: IntervalSet -> Maybe Int Source #

intersectIntervals :: (Int, Int) -> (Int, Int) -> Maybe (Int, Int) Source #

map :: ((Int, Int) -> (Int, Int)) -> IntervalSet -> IntervalSet Source #

foldr :: (Int -> Int -> b -> b) -> b -> IntervalSet -> b Source #

lookupMin :: IntervalSet -> Maybe Int Source #

lookupMax :: IntervalSet -> Maybe Int Source #