ghc-7.8.2: The GHC API

Safe Haskell | None
Language | Haskell98

TcTyClsDecls

# Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnv

tcAddImplicits :: [TyThing] -> TcM TcGblEnv

kcDataDefn :: HsDataDefn Name -> TcKind -> TcM ()

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

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM Bool

checkValidTyCon :: TyCon -> TcM ()

tcSynFamInstDecl :: TyCon -> TyFamInstDecl Name -> TcM CoAxBranch

tcFamTyPats :: Name -> Kind -> HsWithBndrs [LHsType Name] -> (TcKind -> TcM ()) -> ([TKVar] -> [TcType] -> Kind -> TcM a) -> TcM a

tcAddTyFamInstCtxt :: TyFamInstDecl Name -> TcM a -> TcM a

tcAddDataFamInstCtxt :: DataFamInstDecl Name -> TcM a -> TcM a

wrongKindOfFamily :: TyCon -> SDoc

dataConCtxt :: Outputable a => a -> SDoc

badDataConTyCon :: DataCon -> Type -> Type -> SDoc