Merge branch 'master' of http://darcs.haskell.org/ghc
[ghc.git] / compiler / types / Type.lhs-boot
1 \begin{code}
2 module Type where
3 import {-# SOURCE #-} TypeRep( Type, Kind )
4 import Var
5
6 noParenPred :: Type -> Bool
7 isPredTy :: Type -> Bool
8
9 typeKind :: Type -> Kind
10 substKiWith :: [KindVar] -> [Kind] -> Kind -> Kind
11 eqKind :: Kind -> Kind -> Bool
12 \end{code}