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