ghc/compiler/envs/TVE.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface TVE where
   3 import Id(Id)
   4 import Maybes(Labda)
   5 import Name(Name)
   6 import NameTypes(FullName, ShortName)
   7 import PreludePS(_PackedString)
   8 import TyCon(TyCon)
   9 import TyVar(TyVarTemplate)
  10 import UniType(UniType)
  11 import UniqFM(UniqFM)
  12 import Unique(Unique)
  13 data Labda a
  14 data Name
  15 type TVE = UniqFM UniType
  16 data TyVarTemplate
  17 data UniType
  18 data UniqFM a
  19 lookupTVE :: UniqFM UniType -> Name -> UniType
  20 lookupTVE_NoFail :: UniqFM a -> Name -> Labda a
  21 mkTVE :: [Name] -> (UniqFM UniType, [TyVarTemplate], [UniType])
  22 nullTVE :: UniqFM UniType
  23 plusTVE :: UniqFM UniType -> UniqFM UniType -> UniqFM UniType
  24 unitTVE :: Unique -> a -> UniqFM a
  25