Safe Haskell | None |
---|---|
Language | Haskell98 |
TcGenGenerics
Documentation
data GenericKindSource
data MetaTyConsSource
Instances
genGenericMetaTyCons :: TyCon -> Module -> TcM (MetaTyCons, BagDerivStuff)Source
gen_Generic_binds :: GenericKind -> TyCon -> MetaTyCons -> Module -> TcM (LHsBinds RdrName, FamInst)Source
get_gen1_constrained_tys :: TyVar -> [Type] -> [Type]Source