Major patch to introduce TyConBinder
[ghc.git] / compiler / types / TyCoRep.hs-boot
1 module TyCoRep where
2
3 import Outputable ( SDoc )
4 import Data.Data  ( Data )
5
6 data Type
7 data TyThing
8 data Coercion
9 data LeftOrRight
10 data UnivCoProvenance
11 data TCvSubst
12
13 type PredType = Type
14 type Kind = Type
15 type ThetaType = [PredType]
16
17 pprKind :: Kind -> SDoc
18 pprType :: Type -> SDoc
19
20 instance Data Type
21   -- To support Data instances in CoAxiom
22