TcTyClsDecls
Documentation
tcTyAndClassDecls :: ModDetails -> [[LTyClDecl Name]] -> TcM (TcGblEnv, HsValBinds Name)
kcDataDecl :: TyClDecl Name -> [LHsTyVarBndr Name] -> TcM (TyClDecl Name)
mkRecSelBinds :: [TyCon] -> HsValBinds Name
checkValidTyCon :: TyCon -> TcM ()
badFamInstDecl :: Outputable a => a -> SDoc