Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- data StrictIntervalMap v a
- dominators :: Ord v => Interval v -> StrictIntervalMap v a -> [(Interval v, a)]
- fromList :: Ord v => [(Interval v, a)] -> StrictIntervalMap v a
- toList :: Ord v => StrictIntervalMap v a -> [(Interval v, a)]
- empty :: Ord v => StrictIntervalMap v a
- insert :: Ord v => Interval v -> a -> StrictIntervalMap v a -> StrictIntervalMap v a
- data Interval v :: * -> * = Interval {}
Documentation
data StrictIntervalMap v a Source
(Ord v, Show v, Show a) => Show (StrictIntervalMap v a) | |
(Ord v, PrettyVal v, PrettyVal a) => PrettyVal (StrictIntervalMap v a) |
dominators :: Ord v => Interval v -> StrictIntervalMap v a -> [(Interval v, a)] Source
fromList :: Ord v => [(Interval v, a)] -> StrictIntervalMap v a Source
toList :: Ord v => StrictIntervalMap v a -> [(Interval v, a)] Source
empty :: Ord v => StrictIntervalMap v a Source
insert :: Ord v => Interval v -> a -> StrictIntervalMap v a -> StrictIntervalMap v a Source