问题标签 [implicit-parameters]

我有这两个隐式

如果我尝试找到A[C]where Cis的隐式实例

childOfB将被选中。

我知道这是合乎逻辑的，但为什么会发生这种情况？我在任何地方都找不到它的记录。

我想设置一个相对于另一个组件的矩形位置，但是偏移了。我尝试了以下方法：

但是 translate 返回 void，因此它不被接受为参数（需要 a Point）。

有没有办法在不创建辅助变量的情况下在同一条语句上执行此操作？

没什么重要的，只是好奇。

我想要一种“事务”结构，我在其上进行所有更改，然后决定最后是提交还是回滚。我的问题是我不知道如何正确定义/传递隐式值而不从调用函数的位置手动定义它们。如何实现？

我有一个枚举类型，例如

而且我希望能够将这种类型的值隐式传递给我的函数。我可以ImplicitParams像这样使用 GHC 扩展来做到这一点：

但我多次听说最好使用 Haskell 包反射来完成这项任务。不幸的是，reflection文档没有解释如何使用该库编写类似的代码。而且要弄清楚它并不是那么简单。

所以，我的问题是，是否可以使用该reflection库来实现类似的代码并满足以下要求？

1. 的值MyType应该隐式传递。
2. 如果HasMyType未指定约束，MyType则应采用默认值。
3. 应该可以HasMyType在一个地方覆盖通过约束传递的值，例如在应用程序的开头。

这样的事情可能吗？或者使用reflection图书馆最接近的近似值是什么？

我正在使用 Idris2 跟踪 Idris 的 TDD。我在第 6 章中使用模式研究 DataStore。首先对于一些上下文：

在某些时候，我们希望格式化类型的值SchemaType schema以显示给用户。在书中，这个问题可以通过一个display这样的函数来解决：

我想弄清楚是否有可能让它与Show界面一起工作，这样我就可以调用show item.

我尝试了以下方法：

但它告诉我架构将被删除，因此无法使用。

我试图让 idris 在运行时保留它，但我只是在猜测语法并遇到我不知道如何解释的错误。

尝试1：

抛出：

尝试2：

抛出：

尝试 3

抛出：

有人可以启发我吗？我是否在尝试一些不可能的事情，我只是弄错了语法吗？

所以我有这个简单的后端点，应该在哪里进行一些解组

这是与 json 协议格式并列的模型类，我对 EmailStatus 字段的正确性没有多大信心

这些是我得到的错误

我还看到编译器没有抱怨 DateTime 的 jsonFormat，那么这个问题会是由 EmailStatus 引起的吗？

EmailStatus 是抽象类 Email 中的一个对象，它被 RegularEmail 继承，如下所示：