TypeRep.lhs-boot 273 Bytes
Newer Older
1 2 3
\begin{code}
module TypeRep where

4 5
import {-# SOURCE #-} TyCon ( TyCon )

6 7 8
data Type
data PredType
data TyThing
9 10 11 12 13

type Coercion = Type

type Kind = Type

14
type SuperKind = Type
15

16 17 18 19
tySuperKind :: SuperKind
coSuperKind :: SuperKind

isCoSuperKind :: SuperKind -> Bool
20 21
\end{code}