Documentation

data Rank Source

data UserTypeCtxt Source

checkValidType :: UserTypeCtxt -> Type -> TcM () Source

checkValidMonoType :: Type -> TcM () Source

expectedKindInCtxt :: UserTypeCtxt -> Maybe Kind Source

checkValidTheta :: UserTypeCtxt -> ThetaType -> TcM () Source

checkValidFamPats :: TyCon -> [TyVar] -> [Type] -> TcM () Source

checkValidInstance :: UserTypeCtxt -> LHsType Name -> Type -> TcM ([TyVar], ThetaType, Class, [Type]) Source

validDerivPred :: TyVarSet -> PredType -> Bool Source

checkInstTermination :: [TcType] -> ThetaType -> TcM () Source

checkValidTyFamInst :: Maybe (Class, VarEnv Type) -> TyCon -> CoAxBranch -> TcM () Source

checkTyFamFreeness :: Type -> TcM () Source

checkConsistentFamInst Source

arityErr :: Outputable a => String -> a -> Int -> Int -> SDoc Source

badATErr :: Name -> Name -> SDoc Source