Revert "Make globals use sharedCAF"
[ghc.git] / compiler / types / Type.hs-boot
1 module Type where
2 import TyCon
3 import Var ( TyVar )
4 import {-# SOURCE #-} TyCoRep( Type, Kind )
5
6 isPredTy     :: Type -> Bool
7 isCoercionTy :: Type -> Bool
8
9 mkAppTy :: Type -> Type -> Type
10 piResultTy :: Type -> Type -> Type
11
12 typeKind :: Type -> Kind
13 eqType :: Type -> Type -> Bool
14
15 coreViewOneStarKind :: Type -> Maybe Type
16
17 partitionInvisibles :: TyCon -> (a -> Type) -> [a] -> ([a], [a])
18
19 coreView :: Type -> Maybe Type
20
21 tyCoVarsOfTypesWellScoped :: [Type] -> [TyVar]