Documentation

tcTyAndClassDecls :: ModDetails -> [[LTyClDecl Name]] -> TcM (TcGblEnv, HsValBinds Name)Source

kcDataDecl :: TyClDecl Name -> [LHsTyVarBndr Name] -> TcM (TyClDecl Name)Source

tcConDecls :: Bool -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon]Source

mkRecSelBinds :: [TyCon] -> HsValBinds NameSource

checkValidTyCon :: TyCon -> TcM ()Source

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM ()Source

badFamInstDecl :: Outputable a => a -> SDocSource