Documentation

canDoGenerics :: TyCon -> [Type] -> Maybe SDocSource

canDoGenerics1 :: TyCon -> [Type] -> Maybe SDocSource

data GenericKindSource

data MetaTyConsSource

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