ghc/compiler/envs/IdEnv.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface IdEnv where
   3 import Id(Id)
   4 import Maybes(Labda(..))
   5 import UniqFM(UniqFM)
   6 import Unique(Unique)
   7 data Id
   8 type IdEnv a = UniqFM a
   9 data Labda a   = Hamna | Ni a
  10 data UniqFM a
  11 data Unique
  12 addOneToIdEnv :: UniqFM a -> Id -> a -> UniqFM a
  13 combineIdEnvs :: (a -> a -> a) -> UniqFM a -> UniqFM a -> UniqFM a
  14 delManyFromIdEnv :: UniqFM a -> [Id] -> UniqFM a
  15 delOneFromIdEnv :: UniqFM a -> Id -> UniqFM a
  16 growIdEnv :: UniqFM a -> UniqFM a -> UniqFM a
  17 growIdEnvList :: UniqFM a -> [(Id, a)] -> UniqFM a
  18 isNullIdEnv :: UniqFM a -> Bool
  19 lookupIdEnv :: UniqFM a -> Id -> Labda a
  20 lookupNoFailIdEnv :: UniqFM a -> Id -> a
  21 mapIdEnv :: (a -> b) -> UniqFM a -> UniqFM b
  22 mkIdEnv :: [(Id, a)] -> UniqFM a
  23 modifyIdEnv :: UniqFM a -> (a -> a) -> Id -> UniqFM a
  24 nullIdEnv :: UniqFM a
  25 rngIdEnv :: UniqFM a -> [a]
  26 unitIdEnv :: Id -> a -> UniqFM a
  27