TcGenGenerics
canDoGenerics :: TyCon -> Validity Source #
canDoGenerics1 :: TyCon -> Validity Source #
data GenericKind Source #
Constructors
gen_Generic_binds :: GenericKind -> TyCon -> [Type] -> TcM (LHsBinds GhcPs, FamInst) Source #
get_gen1_constrained_tys :: TyVar -> Type -> [Type] Source #