ghc-8.4.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcTyClsDecls

Documentation

kcDataDefn Source #

Arguments

:: Maybe (VarEnv Kind)

Possibly, instantiations for vars (associated types only)

-> DataFamInstDecl GhcRn 
-> TcKind

the kind of the tycon applied to pats

-> TcM ([TcType], TcKind)

the kind signature might force instantiation of the tycon; this returns any extra args and the inst'ed kind See Note [Instantiating a family tycon] Used for 'data instance' only Ordinary 'data' is handled by kcTyClDec