7c5b5ad1dcec11912add9e9cae31463d304df72e
[ghc-hetmet.git] / ghc / compiler / envs / E.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface E where
3 import CE(CE(..))
4 import Class(Class)
5 import Id(Id)
6 import Maybes(Labda)
7 import Name(Name)
8 import NameTypes(FullName, ShortName)
9 import PreludePS(_PackedString)
10 import TCE(TCE(..))
11 import TyCon(TyCon)
12 import TyVar(TyVar)
13 import UniqFM(UniqFM)
14 import Unique(Unique)
15 type CE = UniqFM Class
16 data E 
17 type GVE = [(Name, Id)]
18 data Id 
19 type LVE = [(Name, Id)]
20 data Labda a 
21 data Name 
22 type TCE = UniqFM TyCon
23 data TyVar 
24 data UniqFM a 
25 getE_CE :: E -> UniqFM Class
26 getE_GlobalVals :: E -> [Id]
27 getE_TCE :: E -> UniqFM TyCon
28 growE_LVE :: E -> [(Name, Id)] -> E
29 lookupE_Binder :: E -> Name -> Id
30 lookupE_ClassOpByKey :: E -> Unique -> _PackedString -> Id
31 lookupE_Value :: E -> Name -> Id
32 lookupE_ValueQuietly :: E -> Name -> Labda Id
33 mkE :: UniqFM TyCon -> UniqFM Class -> E
34 nullE :: E
35 nullGVE :: [(Name, Id)]
36 nullLVE :: [(Name, Id)]
37 plusE_CE :: E -> UniqFM Class -> E
38 plusE_GVE :: E -> [(Name, Id)] -> E
39 plusE_TCE :: E -> UniqFM TyCon -> E
40 plusGVE :: [a] -> [a] -> [a]
41 plusLVE :: [a] -> [a] -> [a]
42 tvOfE :: E -> [TyVar]
43 unitGVE :: Name -> Id -> [(Name, Id)]
44