ghc/compiler/utils/FiniteMap.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface FiniteMap where
   3 import Maybes(Labda)
   4 import Outputable(Outputable)
   5 data FiniteMap a b
   6 type FiniteSet a = FiniteMap a ()
   7 data Labda a
   8 addListToFM :: Ord a => FiniteMap a b -> [(a, b)] -> FiniteMap a b
   9 addListToFM_C :: Ord a => (b -> b -> b) -> FiniteMap a b -> [(a, b)] -> FiniteMap a b
  10 addToFM :: Ord a => FiniteMap a b -> a -> b -> FiniteMap a b
  11 delListFromFM :: Ord a => FiniteMap a b -> [a] -> FiniteMap a b
  12 elemFM :: Ord a => a -> FiniteMap a b -> Bool
  13 elementOf :: Ord a => a -> FiniteMap a () -> Bool
  14 eltsFM :: FiniteMap a b -> [b]
  15 emptyFM :: FiniteMap a b
  16 emptySet :: FiniteMap a ()
  17 fmToList :: FiniteMap a b -> [(a, b)]
  18 isEmptyFM :: FiniteMap a b -> Bool
  19 isEmptySet :: FiniteMap a () -> Bool
  20 keysFM :: FiniteMap b a -> [b]
  21 listToFM :: Ord a => [(a, b)] -> FiniteMap a b
  22 lookupFM :: Ord a => FiniteMap a b -> a -> Labda b
  23 lookupWithDefaultFM :: Ord a => FiniteMap a b -> b -> a -> b
  24 minusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  25 minusSet :: Ord a => FiniteMap a () -> FiniteMap a () -> FiniteMap a ()
  26 mkSet :: Ord a => [a] -> FiniteMap a ()
  27 plusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  28 plusFM_C :: Ord a => (b -> b -> b) -> FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  29 setToList :: FiniteMap a () -> [a]
  30 singletonFM :: a -> b -> FiniteMap a b
  31 union :: Ord a => FiniteMap a () -> FiniteMap a () -> FiniteMap a ()
  32 instance Outputable a => Outputable (FiniteMap a b)
  33