腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
在
dhall
中
定义
复杂
类型
的
列表
dhall
我
定义
了几种
类型
,其中两种
类型
被组织成
列表
(字段和选项)。
定义
函数是为了帮助
定义
条目(addfield和addoption)。我能够
定义
字段并按预期工作;但是,对于选项,当
列表
包含多个元素时,我会得到一个错误。下面是完整
的
dhall
文件: let FTypes = < U8 | U16 | U32 | F32 | BITS > let Translate = List { mapKey : Text,
浏览 7
提问于2020-09-15
得票数 0
回答已采纳
1
回答
dhall
-to- yaml :表示嵌套在结构化yaml
中
的
非结构化块
yaml
、
dhall
我正在使用
dhall
,试图表示一个现有的大型yaml文件,而不是
dhall
中
的
文件。 具体地说,我试图为大厅管道
定义
构建
dhall
类型
和帮助器。
定义
大厅管道
的
yaml
的
一部分看起来像我在这里编写
的
yaml。我
的
列表
中
的
每个资源都包含一个名称、一个
类型
,然后是一个源,它
的
结构完全取决于资源<em
浏览 0
提问于2019-05-12
得票数 1
1
回答
如何在
dhall
中使用多态
类型
构造函数
haskell
、
dhall
我试图
在
Dhall
中
定义
一个多态
类型
。
在
Haskell,它看起来像是:为此,我
在
Dhall
(mkMyType.
dhall
)
中
定义
了这个函数:λ
浏览 2
提问于2018-07-30
得票数 4
回答已采纳
1
回答
我如何在
dhall
中代表一个元组?
haskell
、
dhall
我想在
dhall
中表示IPv4地址,这样我就可以管理我
的
主机配置。 默认情况下,这是作为文本;但这显然不能令人满意,因为它允许任何旧
的
文本滑过。我想把这些值保持为4元组
的
8位值.我不认为
Dhall
可以允许本机--我能看到
的
最近
的
记录是{a:自然科学,b:自然}等等,但这在语法上很笨拙,并且仍然允许
在
0-255之外
的
八进制值。假设我不能在
Dhall
中直接做到这一点,也许我可以
在
Haskell
中
浏览 1
提问于2019-02-07
得票数 10
1
回答
dhall
无效替代
类型
dhall
我
定义
了一个包含两个元素
的
联合
类型
,如下所示:{- Function Code union -} StaticFC和DynamicFC这两种
类型
的
定义
如下/FieldTypeID.
dhall<
浏览 2
提问于2021-07-20
得票数 2
回答已采纳
1
回答
如何在
Dhall
中
定义
和使用类似Haskell
的
sum
类型
haskell
、
dhall
如何在
Dhall
编程语言中
定义
类似于Haskell
的
sum
类型
的
sum
类型
?例如,如果在Haskell
中
我
定义
我
的
目的是
在
Dhall
中
定义
一个记录,其中它
的
一个属性具有一组有限
的
可能值: \(sumPropValue
浏览 8
提问于2018-07-29
得票数 6
回答已采纳
1
回答
有没有办法从haskell数据
类型
生成
dhall
模式?
haskell
、
dhall
我正在尝试使用
dhall
重写一个
在
Haksell应用程序中使用
的
大型yaml配置文件。为此,我使用了json-to-
dhall
,它需要一个属于结果表达式
类型
的
模式。问题是实际
的
模式几乎不可能手动编写,因为它涉及许多sum
类型
(以及嵌套
的
sum
类型
)。我尝试通过手动将yaml
的
某些部分转换为
dhall
来生成模式,然后运行
dhall
type。这提供了一个模式,稍后我
浏览 16
提问于2019-06-30
得票数 6
回答已采纳
1
回答
packages.
dhall
和spago.
dhall
文件有什么区别?
build
、
purescript
、
dhall
、
spago
在实践
中
,将正式
的
包集作为一个基础,然后您可以添加可能不在包集中
的
任何包,或者覆盖现有的包集。 为什么这两个文件都有dependencies
的
概念?例如:电子书中
的
和。spago.
dhall
依赖项可以
在
项目.spago文件夹中找到
浏览 1
提问于2020-12-26
得票数 2
回答已采纳
1
回答
如何将一个值打印/编码到
Dhall
中
?
haskell
、
dhall
{-# LANGUAGE DeriveGeneric #-} print (x :: Example) 在上面的示例
中
,我如何将Example编码成
dhall
值,从而本质上是Example -> String
类型
的
函数?似乎找不到
在
haddocks
中<
浏览 1
提问于2020-08-15
得票数 0
回答已采纳
1
回答
有效图
的
类型
能在
Dhall
中
编码吗?
graph
、
adjacency-list
、
dhall
我想表示一个wiki (一组包含有向图
的
文档)。这些文档将被呈现到HTML
中
,我希望防止被破坏
的
链接被生成。在我看来,这可以通过通过
类型
系统使无效图(具有指向不存在节点
的
链接
的
图)无法表示,或者通过编写函数在任何可能
的
图中返回错误
列表
来实现。“
在
可能
的
图X
中
,节点A包含一个指向不存在
的
节点B
的
链接”)。此外,不可能通过折叠每个节点
的
邻居来生成这些
浏览 0
提问于2020-02-26
得票数 11
回答已采纳
1
回答
在
dhall
(Haskell)
中
编码` `Map ([Text],[Text]) Text‘
haskell
、
dhall
在
dhall
中
对Haskell
类型
Map ([Text], [Text]) Text进行编码
的
最佳方法是什么?-- ./config.
dhall
x <-/config.
dhall
" :
浏览 3
提问于2020-05-11
得票数 1
回答已采纳
2
回答
功能哈希/指纹作为内置功能?
function
、
haskell
、
hash
、
lisp
如何在运行时获得函数
的
稳定散列?不确定哪种语言具有此功能。我正在寻找一种实用
的
编程语言,在那里它是琐碎
的
和可执行
的
。print(hash
浏览 11
提问于2020-10-29
得票数 1
回答已采纳
1
回答
如何创建具有任意键但
类型
为值
的
dhall
架构?
dhall
在
dhall
中
,如何为下列yaml创建架构?prod: envvars: - var2 正如您所看到
的
,它有任意
的
键(“本地”、“阶段”等),但是值
的
类型
相同。我相信这是一个相当常见
的
用例,但是我没有在教程中看到它。
浏览 2
提问于2020-05-29
得票数 5
回答已采纳
1
回答
如何将动态命名记录与
Dhall
中
的
静态记录合并?
json
、
aws-step-functions
、
dhall
我正在
Dhall
中
创建AWS Step函数
定义
。如果我
定义
了一个基本
的
比较: { Variable : Text }并添加一个助手函数,将
类型
呈现为Text,用于mapKey。Some "Cow" } let comparisons = renderRuleComparisons ComparisonType.Not [ rando
浏览 0
提问于2020-02-10
得票数 2
回答已采纳
1
回答
如何在
Dhall
中
编写处理Union
类型
的
函数
functional-programming
、
dhall
我正试图弄清楚
Dhall
中
的
编程是如何工作
的
。考虑以下联合
类型
: let Object = < NoId | WithId : Text > 我想写一个函数extractId,它返回一个包含Id (或None)
的
Optional Text,但是我找不到一种
在
Dhall
中进行解构
的
方法。
浏览 19
提问于2020-01-27
得票数 3
1
回答
从_within_创建YAML是可能
的
吗?
dhall
我可以使用
dhall
在
两次传递
中
创建配置:$
dhall
-to-yaml < configmap.
dhall
:configmap.
dhall
: ./server.yaml as Text }
浏览 3
提问于2020-04-21
得票数 1
回答已采纳
1
回答
Dhall
Repl:奇怪
的
格式化问题( Windows 10 64位上
的
Powershell)
powershell
、
read-eval-print-loop
、
dhall
当我
在
Powershell中使用
dhall
repl时,会遇到很多奇怪
的
输出/编码问题。我正在为窗口使用预编译
的
二进制文件。/Snippet.
dhall
(input):2:1:2 | <empty line>unex
浏览 4
提问于2021-09-12
得票数 1
1
回答
使用
Dhall
将递归
类型
编码为JSON
dhall
"type": "inner-type", } } } } in example 但是,
在
将我
的
Dhall</e
浏览 9
提问于2021-07-21
得票数 1
回答已采纳
1
回答
Dhall
Repl:如何获得记录
类型
的
字段
类型
dhall
我正在寻找一种方法来查看记录
类型
的
字段
类型
,基本上是
Dhall
中
的
类型
级别的.。假设我已经做了:我如何在不需要实例化一个人
的
情况下找到Person.name
的
类型
(即Text)?如果我创建Person
类型
的
术语,例如:let betty : Person = { age = 34, name
浏览 5
提问于2020-10-02
得票数 1
回答已采纳
1
回答
如何在
dhall
中
输入异类
列表
?
dhall
我正在使用
Dhall
为github操作生成一个Yaml文件。
在
GH Action
中
,您可以指定一个矩阵来生成多个案例(例如,Scala版本和项目名称
的
组合)。但您也可以指定要排除
的
组合。如果我只是从头开始编写这段代码,而不
定义
类型
(它似乎会用我拥有的特定键生成一个Record ),那么我可以用
Dhall
编写它。但是,如果我想构建一个带有
类型
的
库,或者更具体地说,扩展这个库,我不知道如何编写正确
的
<e
浏览 1
提问于2021-05-12
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
在Python中如何修改列表中元素的类型
怎样在word中快速输入复杂的公式?
如何计算 Excel 列表中各项在分类中的占比?
PHP弱类型在CTF中的应用
Go to Beginners第11部分-Go中的自定义类型
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券