问题标签 [dhall]

我有这个用于解码类型良好的Paths

这有效，但在失败时不会给出非常有用的错误。

这个值可以在任何地方，所以我希望能够看到提取失败的字段名。这是可能的还是我在这里有错误的想法？

我已经定义了一个带有两个元素的联合类型，如下所示：

函数代码.dhall

两种类型，StaticFC 和 DynamicFC 的定义如下：

静态函数代码.dhall

动态函数代码.dhall

忽略定义的其他类型，这是我尝试使用此联合编写 let 语句的方式：

当我dhall-to-json在此运行时，我收到以下错误：

关于如何使用这个定义的联合，我尝试了一些不同的组合，但没有运气。我错过了什么？

我想要的输出的简化版本：

这是我为生成它而编写的 Dhall 代码：

但是，将我的 Dhall 配置传递给dhall-to-json我时，出现以下错误：

我正在运行 1.7.6 版dhall-to-json。我究竟做错了什么？

（忽略：我需要包含更多单词才能被允许发布我的问题，但任何更多似乎都是多余的。最后几句话是我是黑客。）

当我dhall repl在 Powershell 中工作时，我遇到了很多奇怪的输出/编码问题。我正在使用来自https://github.com/dhall-lang/dhall-haskell/releases的 Windows 预编译二进制文件。

一个例子：

我也有这个dhall repl问题dhall repl --ascii。在其中运行 Repl 时，Git Bash它可以工作：

看到--ascii调用 repl 时的错误诊断似乎也使用 unicode 字符，我真的很惊讶——这是故意的吗？

到目前为止我尝试了什么（没有成功）：

• 将字体更改为 Lucidca
• 将字体更改为DejaVu Sans Mono
• 通过更改代码页chcp 65001

我真的很想将 dhall 与 powershell 一起使用。因此，非常欢迎任何如何解决这个问题的想法！

提前谢谢了！

朱利安

所以我有一个简单的数据结构，它有一些ByteStrings. 我想将这些序列化为 Dhall 文件。但是，我显然不能自动派生ToDhall，因为没有ToDhall. 我该怎么写？

我已经尝试过instance ToDhall BS.ByteString了，我想我越来越近了，但我仍然不太明白 of 的语法instance试图做什么，和/或如何让它与 Dhall 一起工作。

给定的是应用程序和容器的配置，其中一个应用程序能够拥有多个容器，一个容器能够拥有多个应用程序。我希望能够以两种方式输出它们

• 每个应用列出容器
• 每个容器列出应用程序

数据格式很简单，但我似乎无法找到一种方法来获得这两种表示而不重复关系。

从具有应用程序的容器开始时的示例数据

我认为使用标识符是Text行不通的，因为没有办法使用相等的标识符来合并关联列表或类似的东西。

使用记录我可以合并这样的东西{a1 = {c1 = True}} /\ {a1 = {c2 = True}} /\ {a2 = {c2 = True}}。这将是{a1 = {c1 = True, c2 = True}, a2 = {c2 = True}}。但我一开始就无法达到这种状态，因为我无法“逆转”记录。

我不在乎我需要如何构建配置，只要我不需要重复两次关系。

今天我的 dhall 项目已经开始在 Prelude 依赖项上崩溃，所以主要错误是：

我使用这个部门：

当我尝试生成 yaml 文件时：dhall-to-yaml 出现此消息：

有什么帮助吗？？

我可以使用 来评估 dhall 表达式dhall --file ...，并且可以1 + 1在 repl 中进行评估，但是将let表达式键入dhall repl失败并显示“输入意外结束”。