回答情况：
提问时间：
问题标签：
我第一次看到dhall支持以下两个选项： ...lint Improve Dhall code
format Formatter for the Dhall language我本以为linter在某些方面会比格式化更深入(例如推荐“习惯”dhall)，但却找不到任何信息。
浏览 1提问于2019-01-07得票数 5
回答已采纳
文档状态：
..。快照是在packages.dhall文件中定义的，然后指定要在spago.dhall中使用的
浏览 1修改于2021-01-16得票数 2
回答已采纳
1回答
我定义了一个包含两个元素的联合类型，如下所示：{- Function Code union -}
let DynamicFC = .：let FieldList = ./FieldList.dhalllet Opt
浏览 2提问于2021-07-20得票数 2
回答已采纳
1回答
我有一个Union类型，我希望有一个字段是一个关联列表。在这里，我希望params是一个关联列表，这样当我输入检查记录值时，它就会传递，例如那么，在Blah中，XXX应该是什么类型呢
浏览 5提问于2019-03-29得票数 1
回答已采纳
我想从dhall kubernetes导入：IntOrString，https://github.com/dhall-lang/dhall-kubernetes/blob/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall;，但我不知道如何导入它？我有这样的代码： let kubernetes =
https://
浏览 19提问于2020-12-10得票数 0
回答已采纳
1回答
我正在寻找与Java等效的Dhall，这样我就可以将一些原始的toString嵌入到另一个记录中，但我希望确保得到的JSON结构是有效的。MyFriends, }
在Dhall
浏览 12提问于2020-02-12得票数 1
回答已采纳
我可以用dhall --file ...计算dhall表达式，也可以在repl中计算1 + 1，但是在dhall repl中键入let表达式会失败，“输入的意外结束”。➜ cat test.dhall➜ ~ dhall --file test.dhall➜ ~ dhall repl
Welcometo the Dhall v1.41.0 REPL!
浏览 4提问于2022-02-22得票数 0
回答已采纳
今天，我的dhall项目已经开始崩溃了，所以主要的错误是：let List/map = https://prelude.dhall-lang.org/List/map
let Text/concatSep
浏览 5提问于2022-01-22得票数 1
回答已采纳
我试图在Dhall中定义一个多态类型。在Haskell，它看起来像是：为此，我在Dhall (mkMyType.dhall)中定义了这个函数：我还定义了一个函数，该函数为(./mkMyTypeConstructo
浏览 2修改于2018-07-30得票数 4
回答已采纳
在dhall中对Haskell类型Map ([Text], [Text]) Text进行编码的最佳方法是什么？-- ./config.dhall
x <-/config.dhall" :: IO Map Text Text
因为我们需要映射的域为([Text
浏览 3提问于2020-05-11得票数 1
回答已采纳
{-# LANGUAGE DeriveGeneric #-} print (x :: Example)
在上面的示例中，我如何将Example编码成dhall值，从而本质上是Example -> String类型的函数？
浏览 1提问于2020-08-15得票数 0
回答已采纳
inner-dynamic-name": { "analyzer": "analyzer" }} 下面是我用来生成它的DhallSome "analyzer" } ] }
in example 但是，在将我的Dhall配置传
浏览 9修改于2021-07-22得票数 1
回答已采纳
我有一种类型 let Resource = \(a : Type) -> , type : Text } 和函数foo : InstanceTemplateProperties -> Properties。 我需要创建一个函数Resource InstanceTemplateProperties -> Resource Properties。 我可以把它写成 \(p : Resource InstanceTemplateProperties) -> ,
浏览 12修改于2020-01-14得票数 0
回答已采纳
我正在寻找一种方法来查看记录类型的字段类型，基本上是Dhall中的类型级别的.。实际的用例是在dhall-kubernetes中查找字段类型，在这些类型中有许多字段的深度嵌套记录。
谢谢，如果我的Google-fu失败了，我很抱歉，之前也有人问过这个问题。
浏览 5修改于2020-10-02得票数 1
回答已采纳
/makeSnippet.dhall in makeSnippet "" []
Ôå│ ./Snippet.dhall
|- let makeSnippet = ./makeSnippet.dhall in makeSnippet "test" [ "test" ]
Ôå│ ./m
浏览 4提问于2021-09-12得票数 1
2回答
-> if lessThan n m then 0特别是，Dhall考虑到Dhall的全部功能范式(以及我对它的不熟悉)，这似乎是合理的。我想也许有什么办法可以做到，但不幸的是，我没能做到。
我使用Natural/fold进行了另一次尝试，但我不确定这是否有意义。
浏览 4提问于2020-09-29得票数 3
回答已采纳
1回答
Dhall网站有一个很好的例子：-}
let Config在Dhall问题上，我有什么办法可以解决同样的问题呢？从我的角度来看，在我没有全部信息的情况下，我似乎不能使用Dhall？
浏览 10提问于2022-03-30得票数 2
我正试图弄清楚Dhall中的编程是如何工作的。考虑以下联合类型： let Object = < NoId | WithId : Text > 我想写一个函数extractId，它返回一个包含Id (或None)的Optional Text，但是我找不到一种在Dhall
浏览 19修改于2020-01-27得票数 3
我想在dhall中表示IPv4地址，这样我就可以管理我的主机配置。我的问题是：
我认为直接在Dhall做这件事是不
浏览 1提问于2019-02-07得票数 10
我正在尝试使用dhall重写一个在Haksell应用程序中使用的大型yaml配置文件。为此，我使用了json-to-dhall，它需要一个属于结果表达式类型的模式。我尝试通过手动将yaml的某些部分转换为dhall来生成模式，然后运行dhall type。这提供了一个模式，稍后我可以在jston-to-dhall中使用它。Dhall需要类型注释来编写我用来生成类型的文件...所以我想知道是否有一种方法(使用工具或修改我的haskell应用程序)将Haskell数据转储到正确的dh
浏览 16提问于2019-06-30得票数 6
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号