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 FieldLabel ( FieldLabel )
11 import Id ( Id, GenId, StrictnessMark, mkTupleCon, mkDataCon,
12 dataConSig, getInstantiatedDataConSig )
13 import PprType ( specMaybeTysSuffix )
15 import TyCon ( TyCon )
16 import TyVar ( GenTyVar, TyVar )
17 import Type ( GenType, Type )
18 import Usage ( GenUsage )
19 import Class ( Class, GenClass )
22 data GenType tyvar uvar
24 data GenClass tyvar uvar
27 type Type = GenType (GenTyVar (GenUsage Unique)) Unique
28 type TyVar = GenTyVar (GenUsage Unique)
29 type Class = GenClass (GenTyVar (GenUsage Unique)) Unique
30 type Id = GenId (GenType (GenTyVar (GenUsage Unique)) Unique)
33 mkTupleCon :: Int -> Id
34 dataConSig :: Id -> ([TyVar], [(Class, Type)], [Type], TyCon)
35 specMaybeTysSuffix :: [Maybe Type] -> _PackedString
36 instance Eq (GenClass a b)
39 getInstantiatedDataConSig :: Id -> [Type] -> ([Type],[Type],Type)
41 -- Needed in TysWiredIn
42 data StrictnessMark = MarkedStrict | NotMarkedStrict
43 mkDataCon :: Name -> [StrictnessMark] -> [FieldLabel]
44 -> [TyVar] -> [(Class,Type)] -> [Type] -> TyCon