Coercion Quantification
[ghc.git] / compiler / types / TyCoRep.hs-boot
1 module TyCoRep where
2
3 import GhcPrelude
4
5 import Outputable ( SDoc )
6 import Data.Data  ( Data )
7
8 data Type
9 data TyThing
10 data Coercion
11 data UnivCoProvenance
12 data TCvSubst
13 data TyLit
14 data TyCoBinder
15 data MCoercion
16
17 type PredType = Type
18 type Kind = Type
19 type ThetaType = [PredType]
20 type CoercionN = Coercion
21 type MCoercionN = MCoercion
22
23 pprKind :: Kind -> SDoc
24 pprType :: Type -> SDoc
25
26 isRuntimeRepTy :: Type -> Bool
27
28 instance Data Type
29   -- To support Data instances in CoAxiom