ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcTyClsDecls

Documentation

kcDataDefn #

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

tcFamTyPats :: FamTyConShape -> Maybe ClsInstInfo -> HsTyPats Name -> (TcKind -> TcM ()) -> ([TcTyVar] -> [TcType] -> TcKind -> TcM a) -> TcM a #

famTyConShape :: TyCon -> FamTyConShape #