diff options
Diffstat (limited to 'compiler/types/Type.hs-boot')
-rw-r--r-- | compiler/types/Type.hs-boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/types/Type.hs-boot b/compiler/types/Type.hs-boot index 9436d195cc..560c251f1b 100644 --- a/compiler/types/Type.hs-boot +++ b/compiler/types/Type.hs-boot @@ -1,7 +1,10 @@ +{-# LANGUAGE FlexibleContexts #-} + module Type where import TyCon import Var ( TyVar ) import {-# SOURCE #-} TyCoRep( Type, Kind ) +import Util isPredTy :: Type -> Bool isCoercionTy :: Type -> Bool @@ -19,3 +22,5 @@ partitionInvisibles :: TyCon -> (a -> Type) -> [a] -> ([a], [a]) coreView :: Type -> Maybe Type tyCoVarsOfTypesWellScoped :: [Type] -> [TyVar] + +splitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type]) |