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