ghc-8.0.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

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], [TyBinder], 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 #