blob: d64939a0e48d512b3da901100aa2b16c9c96da0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
\begin{code}
module Type where
import {-# SOURCE #-} TypeRep( Type, Kind )
import Var
isPredTy :: Type -> Bool
typeKind :: Type -> Kind
substKiWith :: [KindVar] -> [Kind] -> Kind -> Kind
eqKind :: Kind -> Kind -> Bool
cmpType :: Type -> Type -> Ordering
\end{code}
|