Documentation

canDoGenerics :: TyCon -> Validity Source #

canDoGenerics1 :: TyCon -> Validity Source #

data GenericKind Source #

gen_Generic_binds :: GenericKind -> TyCon -> [Type] -> TcM (LHsBinds GhcPs, FamInst) Source #

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