TcTyClsDecls

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

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 ()

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

tcTyFamInstEqn :: FamTyConShape -> LTyFamInstEqn Name -> TcM CoAxBranch

famTyConShape :: TyCon -> FamTyConShape

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