问题标签 [derived-instances]

我正在使用ghci，此代码部分

将错误显示为

请提出解决方案。

我正在尝试Typeable为这样的关联数据系列派生：

但是我收到以下错误消息，这让我有点困惑：

有人可以详细说明这里出了什么问题吗？

以下代码导致错误：

错误：

所以 GHC 正在寻找一个Module DWrapper D实例来派生请求的Module D D实例。我猜这是合理的，但不是我想要的。有没有办法告诉 GHC 从哪个实例派生？GNTD 如何在 MPTC 上工作？

确切地说，为什么B b = (B&) a编译和工作，而B b = (B) a在下面的程序中没有？

有没有关于我在这里遗漏的引用转换为派生类型的东西？如果我只是转换为 B，它会给出一个编译时错误，即构造函数 B(A a) 不存在。

Given the following code

I get the following error

I tried some variations like this below - but I cant get it run.

How can I fix this? (and some explanation would be really appreciated)

Edit

Okay, I have the solution

will do what I want. Still I dont get why its not

我有以下类型：

这里我使用deriveJSON代替Generic机制，因为我需要为此数据类型调整 JSON 表示的字段名称：

需要前缀来为该类型生成镜头，但在 JSON 表示中不需要。

现在我正在尝试使用servant-swaggerToSchema生成Swagger文档，这需要一个Device. 现在的问题是生成的模式将具有上述访问器函数的给定前缀名称（_deviceId、、、_deviceName）_deviceDType。相反，我会拥有修改后的版本（id、name和dtype）。

有没有办法以这种方式自定义通用派生过程？

我需要在两个 Htree 之间进行比较，为此我实现了自己的比较函数，它与 sortBy 一起使用，但是我想实现 Eq 和 Ord 类的派生实例，但是覆盖所有可能组合所需的案例数量使得它不切实际的。

如您所见，我只想比较 Htree 的单个部分，这将是实际代码中的 Integer，我需要为其编写四个案例。有没有办法概括这一点，所以我可以在一个案例中编写它？如果我比较两个 Htree，比较它们的整数部分？

我目前用来比较两个 htree 的是：

其中 getWeight 定义为：