ghc/compiler/envs/TyVarEnv.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface TyVarEnv where
   3 import Maybes(Labda(..))
   4 import TyVar(TyVar)
   5 import UniType(UniType)
   6 import UniqFM(UniqFM)
   7 import Unique(Unique)
   8 data Labda a   = Hamna | Ni a
   9 data TyVar
  10 type TyVarEnv a = UniqFM a
  11 type TypeEnv = UniqFM UniType
  12 data UniqFM a
  13 data Unique
  14 addOneToTyVarEnv :: UniqFM a -> TyVar -> a -> UniqFM a
  15 growTyVarEnvList :: UniqFM a -> [(TyVar, a)] -> UniqFM a
  16 isNullTyVarEnv :: UniqFM a -> Bool
  17 lookupTyVarEnv :: UniqFM a -> TyVar -> Labda a
  18 mkTyVarEnv :: [(TyVar, a)] -> UniqFM a
  19 nullTyVarEnv :: UniqFM a
  20