1 Breaks the TyCon/types loop and the types/Id loop.
6 import PreludePS(_PackedString)
7 import PreludeStdIO ( Maybe )
8 import Unique ( Unique )
10 import Id ( Id, GenId, StrictnessMark, mkTupleCon, mkDataCon,
11 getDataConSig, getInstantiatedDataConSig )
12 import PprType ( specMaybeTysSuffix )
13 import NameTypes ( FullName )
14 import TyCon ( TyCon )
15 import TyVar ( GenTyVar, TyVar )
16 import Type ( GenType, Type )
17 import Usage ( GenUsage )
18 import Class ( Class, GenClass )
21 data GenType tyvar uvar
23 data GenClass tyvar uvar
26 type Type = GenType (GenTyVar (GenUsage Unique)) Unique
27 type TyVar = GenTyVar (GenUsage Unique)
28 type Class = GenClass (GenTyVar (GenUsage Unique)) Unique
29 type Id = GenId (GenType (GenTyVar (GenUsage Unique)) Unique)
32 mkTupleCon :: Int -> Id
33 getDataConSig :: Id -> ([TyVar], [(Class, Type)], [Type], TyCon)
34 specMaybeTysSuffix :: [Maybe Type] -> _PackedString
35 instance Eq (GenClass a b)
38 getInstantiatedDataConSig :: Id -> [Type] -> ([Type],[Type],Type)
40 -- Needed in TysWiredIn
41 data StrictnessMark = MarkedStrict | NotMarkedStrict
42 mkDataCon :: Unique -> FullName -> [StrictnessMark]
43 -> [TyVar] -> [(Class,Type)] -> [Type] -> TyCon