Documentation

data RankSource

data UserTypeCtxtSource

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

checkValidMonoType :: Type -> TcM ()Source

expectedKindInCtxt :: UserTypeCtxt -> Maybe KindSource

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 -> BoolSource

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

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

checkTyFamFreeness :: Type -> TcM ()Source

checkConsistentFamInstSource

arityErr :: Outputable a => String -> a -> Int -> Int -> SDocSource

badATErr :: Name -> Name -> SDocSource