Documentation

canDoGenerics :: TyCon -> [Type] -> Validity Source

canDoGenerics1 :: TyCon -> [Type] -> Validity Source

data GenericKind Source

gen_Generic_binds :: GenericKind -> TyCon -> Module -> TcM (LHsBinds RdrName, FamInst) Source

get_gen1_constrained_tys :: TyVar -> Type -> [Type] Source