1回答
如何将任意结构转换为json？let JSON = Prelude.JSONlet foo = { a = 10,b = "foo" }我知道有toMap内置函数，但它期望有一个一致的记录。我实际上想要做的是用dhall编写
浏览 3提问于2020-08-28得票数 1
回答已采纳
{-# LANGUAGE DeriveGeneric #-} print (x :: Example)
在上面的示例中，我如何将Example编码成dhall值，从而本质上是Example -> String类型的函数？似乎找不到在haddocks中打印/编码
浏览 1提问于2020-08-15得票数 0
回答已采纳
在dhall中对Haskell类型Map ([Text], [Text]) Text进行编码的最佳方法是什么？-- ./config.dhall
x <-/config.dhall" :: IO Map
浏览 3提问于2020-05-11得票数 1
回答已采纳
我正在尝试使用dhall重写一个在Haksell应用程序中使用的大型yaml配置文件。为此，我使用了json-to-dhall，它需要一个属于结果表达式类型的模式。问题是实际的模式几乎不可能手动编写，因为它涉及许多sum类型(以及嵌套的sum类型)。我尝试通过手动将yaml的某些部分转换为dhall来生成模式，然后运行dhall type。这提供了一个模式，稍后我可以在jston-
浏览 16提问于2019-06-30得票数 6
回答已采纳
1回答
我定义了一个包含两个元素的联合类型，如下所示：{- Function Code union -}
StaticFC和DynamicFC这两种类型的定义如下，下面是我如何使用这个联合来编写一个let语句： FunctionCode.Dynam
浏览 2提问于2021-07-20得票数 2
回答已采纳
我试图在Dhall中定义一个多态类型。/SomethingElse.dhall in λ(a : Type) → < some : a | somethingElse : SomethingElse >λ(a : Type) → constructors (./mkMyType.dhall a)
现在，为了使
浏览 2提问于2018-07-30得票数 4
回答已采纳
1回答
在我看来，这可以通过通过类型系统使无效图(具有指向不存在节点的链接的图)无法表示，或者通过编写函数在任何可能的图中返回错误列表来实现。“在可能的图X中，节点A包含一个指向不存在的节点B的链接”)。(不存在id为"b“的节点，但是id "a”的节点规定了一个具有id“b”的邻居)。此外，不可能通过折叠每个节点的邻居来生成这些问题的列表，因为Dhall不支持通过设计进行字符串比较。
是否有任何表示法允许计算断开链接的列表，或者排除通过类型系统中断的链接？更新:我刚刚发现自然生物在Dhall
浏览 0提问于2020-02-26得票数 11
回答已采纳
当我在Powershell中使用dhall repl时，会遇到很多奇怪的输出/编码问题。我正在为窗口使用预编译的二进制文件。/Snippet.dhall我真的很惊讶地看到，--ascii调用中的错误诊断似乎也使用了unicode字符-
浏览 4提问于2021-09-12得票数 1
1回答
我需要键入并生成包含string枚举值的配置。我已经成功地定义了以下几行。最后，我需要将这个联合转换成一个字符串值。 | Header : {} | Cookie : {}let ParameterObject = {
name : Tex
浏览 0提问于2019-03-23得票数 2
回答已采纳
我正试着用dhall输入一个openapi specification。([] : List Text)let requirements : List SecurityRequirement =in requirements 使用这段代码，我在尝试使用[{"Foo":[]},{"AuthorizationHeader":[]}]时获得了{"Foo":[],"AuthorizationHeader":[]}。
浏览 15提问于2019-04-27得票数 0
我正在Dhall中创建AWS Step函数定义。: Optional Text, default = , StringEquals = None Text}let ComparisonType = < And | Or | Not >{
&q
浏览 0提问于2020-02-10得票数 2
回答已采纳
我有一个用例，需要定义一个json配置来确定给定维度集的键。"bar": { }, "a": "xyz", "dar": { }如何在JSON这在JSON中是可能的，还是我应该探索其他选项？
澄清一下，我的问题是如何避免json
浏览 0提问于2019-04-25得票数 1
回答已采纳
我正在使用dhall，试图表示一个现有的大型yaml文件，而不是dhall中的文件。我这里的dhall也是witten，但我不确定我如何代表sourc
浏览 0提问于2019-05-12得票数 1
我正在尝试将一个helm/kubernetes代码库迁移到dhall-kubernetes。Dhall是类型的，所以我需要提供完整的记录，如果没有设置，我需要将可选字段设置为null。我不知道怎么做，所以作为一个B计划，我编写了dhall-default，并尝试用一种不同的方式来实现它。
浏览 17提问于2020-04-03得票数 1
回答已采纳
该服务使用YAML文件进行配置。我可以使用dhall在两次传递中创建配置：$ dhall-to-yaml < configmap.dhall/server.yaml as Text } ]package.dhall
https://raw.githubuserco
浏览 3提问于2020-04-21得票数 1
回答已采纳
1回答
如果我使用Text密钥，这是有效的，但当密钥具有任何其他类型时就不起作用了。如果可能的话，我想对键使用联合类型。
我尝试过对mapKey使用不同的类型，包括联合类型和Natural，但都没有成功。我可以通过将所有mapKey值转换为Text来解决这个问题，但这并不理想。
浏览 11提问于2019-07-10得票数 2
在实践中，将正式的包集作为一个基础，然后您可以添加可能不在包集中的任何包，或者覆盖现有的包集。
..。快照是在packages.<e
浏览 1提问于2020-12-26得票数 2
回答已采纳
我想在dhall中表示IPv4地址，这样我就可以管理我的主机配置。我的问题是：
我认为直接在Dhall做这件事是不可能的，或者说不成比例的困难要在Haskell中定义这种类型，我是否定义了Interpret的一个实例；如果是的
浏览 1提问于2019-02-07得票数 10
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
