Clean up coreView/tcView.
[ghc.git] / compiler / types / Type.hs-boot
1 {-# LANGUAGE FlexibleContexts #-}
2
3 module Type where
4 import TyCon
5 import Var ( TyVar )
6 import {-# SOURCE #-} TyCoRep( Type, Kind )
7 import Util
8
9 isPredTy     :: Type -> Bool
10 isCoercionTy :: Type -> Bool
11
12 mkAppTy :: Type -> Type -> Type
13 piResultTy :: Type -> Type -> Type
14
15 typeKind :: Type -> Kind
16 eqType :: Type -> Type -> Bool
17
18 partitionInvisibles :: TyCon -> (a -> Type) -> [a] -> ([a], [a])
19
20 coreView :: Type -> Maybe Type
21 tcView :: Type -> Maybe Type
22
23 tyCoVarsOfTypesWellScoped :: [Type] -> [TyVar]
24 tyCoVarsOfTypeWellScoped :: Type -> [TyVar]
25 splitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])