diff options
Diffstat (limited to 'compiler/types/Type.hs-boot')
| -rw-r--r-- | compiler/types/Type.hs-boot | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/compiler/types/Type.hs-boot b/compiler/types/Type.hs-boot index 587454e357..aa12398bd7 100644 --- a/compiler/types/Type.hs-boot +++ b/compiler/types/Type.hs-boot @@ -1,9 +1,16 @@ module Type where -import {-# SOURCE #-} TypeRep( Type, Kind ) -import Var +import TyCon +import {-# SOURCE #-} TyCoRep( Type, Kind ) isPredTy :: Type -> Bool +isCoercionTy :: Type -> Bool + +mkAppTy :: Type -> Type -> Type +piResultTy :: Type -> Type -> Type typeKind :: Type -> Kind -substKiWith :: [KindVar] -> [Kind] -> Kind -> Kind -eqKind :: Kind -> Kind -> Bool +eqType :: Type -> Type -> Bool + +coreViewOneStarKind :: Type -> Maybe Type + +partitionInvisibles :: TyCon -> (a -> Type) -> [a] -> ([a], [a]) |