ghc/compiler/types/TyLoop.lhi

   1 Breaks the TyCon/types loop and the types/Id loop.
   2
   3 \begin{code}
   4 interface TyLoop where
   5
   6 import PreludePS(_PackedString)
   7 import PreludeStdIO ( Maybe )
   8 import Unique ( Unique )
   9
  10 import FieldLabel ( FieldLabel )
  11 import Id      ( Id, GenId, StrictnessMark, mkTupleCon, mkDataCon,
  12                  dataConSig, dataConArgTys )
  13 import PprType ( specMaybeTysSuffix )
  14 import Name    ( Name )
  15 import TyCon   ( TyCon )
  16 import TyVar   ( GenTyVar, TyVar )
  17 import Type    ( GenType, Type )
  18 import Usage   ( GenUsage )
  19 import Class   ( Class, GenClass )
  20
  21 data GenId    ty
  22 data GenType  tyvar uvar
  23 data GenTyVar uvar
  24 data GenClass tyvar uvar
  25 data GenUsage u
  26
  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)
  31
  32 -- Needed in TyCon
  33 mkTupleCon :: Int -> Id
  34 dataConSig :: Id -> ([TyVar], [(Class, Type)], [Type], TyCon)
  35 specMaybeTysSuffix :: [Maybe Type] -> _PackedString
  36 instance Eq (GenClass a b)
  37
  38 -- Needed in Type
  39 dataConArgTys :: Id -> [Type] -> [Type]
  40
  41 -- Needed in TysWiredIn
  42 data StrictnessMark = MarkedStrict | NotMarkedStrict
  43 mkDataCon :: Name -> [StrictnessMark] -> [FieldLabel]
  44           -> [TyVar] -> [(Class,Type)] -> [Type] -> TyCon
  45           -> Id
  46 \end{code}