Safe Haskell	None
Language	Haskell2010

GHC.Core.Type

Description

Main functions for manipulating types and type-related things.

NB: Supplants Type.

Synopsis

binderRelevantType :: TyBinder -> Maybe Type
getCastedTyVar :: Type -> Maybe (TyVar, CoercionN)
getClassPredTys :: PredType -> Maybe (Class, [Type])
getEqPredTys :: PredType -> Maybe (Role, Type, Type)
getRuntimeRepFromKind :: Type -> Maybe Type
getRuntimeRep :: Type -> Maybe Type
getTyVar :: Type -> Maybe TyVar
isCoercionTy :: Type -> Maybe Coercion
isIPPred :: Type -> Maybe (FastString, Type)
isLiftedType :: Type -> Maybe Bool
repGetTyVar :: Type -> Maybe TyVar
repSplitAppTy :: Type -> Maybe (Type, Type)
repSplitTyConApp :: Type -> Maybe (TyCon, [Type])
splitAppTy :: Type -> Maybe (Type, Type)
splitCastTy :: Type -> Maybe (Type, Coercion)
splitCoercionType :: Type -> Maybe (Type, Type)
splitForAllTy :: Type -> Maybe (TyVar, Type)
splitFunTy :: Type -> Maybe (Type, Type)
splitListTyConApp :: Type -> Maybe Type
splitPiTy :: Type -> Maybe (TyBinder, Type)
splitTyConApp :: Type -> Maybe (TyCon, [Type])
tcRepSplitAppTy :: Type -> Maybe (Type, Type)
tcRepSplitTyConApp :: Type -> Maybe (TyCon, [Type])
tcSplitTyConApp :: Type -> Maybe (TyCon, [Type])
tyBinderVar :: TyBinder -> Maybe TyVar
tyConAppArgs :: Type -> Maybe [Type]
tyConAppTyConPicky :: Type -> Maybe TyCon
tyConAppTyCon :: Type -> Maybe TyCon
userTypeError :: Type -> Maybe Type

Documentation

binderRelevantType :: TyBinder -> Maybe Type #

Extract a relevant type, if there is one.

NB: Renamed from binderRelevantType_maybe.

getCastedTyVar :: Type -> Maybe (TyVar, CoercionN) #

NB: Renamed from getCastedTyVar_maybe.

getClassPredTys :: PredType -> Maybe (Class, [Type]) #

NB: Renamed from getClassPredTys_maybe.

getEqPredTys :: PredType -> Maybe (Role, Type, Type) #

NB: Renamed from getEqPredTys_maybe.

getRuntimeRepFromKind :: Type -> Maybe Type #

NB: Renamed from getRuntimeRepFromKind_maybe.

getRuntimeRep :: Type -> Maybe Type #

NB: Renamed from getRuntimeRep_maybe.

getTyVar :: Type -> Maybe TyVar #

NB: Renamed from getTyVar_maybe.

isCoercionTy :: Type -> Maybe Coercion #

NB: Renamed from isCoercionTy_maybe.

isIPPred :: Type -> Maybe (FastString, Type) #

NB: Renamed from isIPPred_maybe.

isLiftedType :: Type -> Maybe Bool #

NB: Renamed from isLiftedType_maybe.

repGetTyVar :: Type -> Maybe TyVar #

NB: Renamed from repGetTyVar_maybe.

repSplitAppTy :: Type -> Maybe (Type, Type) #

NB: Renamed from repSplitAppTy_maybe.

repSplitTyConApp :: Type -> Maybe (TyCon, [Type]) #

NB: Renamed from repSplitTyConApp_maybe.

splitAppTy :: Type -> Maybe (Type, Type) #

NB: Renamed from splitAppTy_maybe.

splitCastTy :: Type -> Maybe (Type, Coercion) #

NB: Renamed from splitCastTy_maybe.

splitCoercionType :: Type -> Maybe (Type, Type) #

NB: Renamed from splitCoercionType_maybe.

splitForAllTy :: Type -> Maybe (TyVar, Type) #

NB: Renamed from splitForAllTy_maybe.

splitFunTy :: Type -> Maybe (Type, Type) #

NB: Renamed from splitFunTy_maybe.

splitListTyConApp :: Type -> Maybe Type #

NB: Renamed from splitListTyConApp_maybe.

splitPiTy :: Type -> Maybe (TyBinder, Type) #

NB: Renamed from splitPiTy_maybe.

splitTyConApp :: Type -> Maybe (TyCon, [Type]) #

NB: Renamed from splitTyConApp_maybe.

tcRepSplitAppTy :: Type -> Maybe (Type, Type) #

NB: Renamed from tcRepSplitAppTy_maybe.

tcRepSplitTyConApp :: Type -> Maybe (TyCon, [Type]) #

NB: Renamed from tcRepSplitTyConApp_maybe.

tcSplitTyConApp :: Type -> Maybe (TyCon, [Type]) #

NB: Renamed from tcSplitTyConApp_maybe.

tyBinderVar :: TyBinder -> Maybe TyVar #

NB: Renamed from tyBinderVar_maybe.

tyConAppArgs :: Type -> Maybe [Type] #

NB: Renamed from tyConAppArgs_maybe.

tyConAppTyConPicky :: Type -> Maybe TyCon #

NB: Renamed from tyConAppTyConPicky_maybe.

tyConAppTyCon :: Type -> Maybe TyCon #

NB: Renamed from tyConAppTyCon_maybe.

userTypeError :: Type -> Maybe Type #

NB: Renamed from userTypeError_maybe.