TcTyClsDecls

ghc-8.0.0.20160204: The GHC API

Safe Haskell | None
Language | Haskell2010

TcTyClsDecls

# Documentation

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

tcAddImplicits :: [TyCon] -> TcM TcGblEnv Source

kcDataDefn Source

Arguments

:: Name | the family name, for error msgs only
-> HsTyPats Name | the patterns, for error msgs only
-> HsDataDefn Name | the RHS
-> TcKind | the expected kind
-> TcM () |

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

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

checkValidTyCon :: TyCon -> TcM () Source

tcFamTyPats :: FamTyConShape -> Maybe ClsInfo -> HsTyPats Name -> (TcKind -> TcM ()) -> ([TyVar] -> [TcType] -> Kind -> TcM a) -> TcM a Source

tcTyFamInstEqn :: FamTyConShape -> Maybe ClsInfo -> LTyFamInstEqn Name -> TcM CoAxBranch Source

famTyConShape :: TyCon -> FamTyConShape Source

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

tcMkDataFamInstCtxt :: DataFamInstDecl Name -> SDoc Source

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

wrongKindOfFamily :: TyCon -> SDoc Source

dataConCtxt :: Outputable a => a -> SDoc Source