haskell - haskell - 为除一种特定类型之外的所有类生成一个实例

Question

是否可以做类似的事情

class T a
class U a
instance U ()
instance ( NOT U a ) => T a

上下文：我正在尝试编写一个函数，该函数采用HLists并删除某种类型的元素（这里是单元类型）。

我觉得开放世界假设可能存在一些问题，但即使能够以硬编码的方式（而不是 NOT U a ，类似 NOT a~() 之类的东西）也应该是可能的。

编辑：正如 CA McMann 在评论中指出的那样，这个问题几乎与我的完全相同。如果版主想关闭这个，请随意。

Answer 1

您可以使用 Oleg 的技巧来做到这一点，它甚至有自己的关于 hackage的库

通过严重滥用类型类系统，可以生成一个fundep

class TypeEq a b result | a b -> result

这样TypeEq a b True只有当a~b，TypeEq a b False否则

所以你可以写

instance (TypeEq () a False) => T a

我认为这应该可行。我应该清楚，这种类型的相等性测试在实现方式上是纯粹的邪恶，但它确实有效。如果您想了解它是如何工作/概括它的，请查看该库的代码（另请阅读 HList 论文）。

如果完全有可能在没有负面约束的情况下做你想做的事，那就去做吧。