Safe Haskell | None |
---|
TcGenGenerics
Documentation
canDoGenerics :: TyCon -> [Type] -> Maybe SDoc
canDoGenerics1 :: TyCon -> [Type] -> Maybe SDoc
data GenericKind
data MetaTyCons
Instances
genGenericMetaTyCons :: TyCon -> Module -> TcM (MetaTyCons, BagDerivStuff)
gen_Generic_binds :: GenericKind -> TyCon -> MetaTyCons -> Module -> TcM (LHsBinds RdrName, FamInst)
get_gen1_constrained_tys :: TyVar -> [Type] -> [Type]