purescript-record:处理记录和多态标签的功能

时间:2021-05-18 01:42:40
【文件属性】:
文件名称:purescript-record:处理记录和多态标签的功能
文件大小:13KB
文件格式:ZIP
更新时间:2021-05-18 01:42:40
PureScript 纯文字记录 处理记录和多态标签的功能 安装 spago install record 例子 给定某些Symbol(“类型级别字符串”)代理和受约束或具体的记录类型,您可以使用此库来一般性地修改记录。 x_ = Proxy :: Proxy " x " -- we can get a value out of a field gotX :: Int gotX = Record .get x_ { x: 1 } -- we can insert a value into a record that does not have a field at that label yet insertedX :: { x :: Int } insertedX = Record .insert x_ 1 {} -- we can delete a field from a record at a sp
【文件预览】:
purescript-record-master
----package.json(315B)
----.eslintrc.json(606B)
----.github()
--------PULL_REQUEST_TEMPLATE.md(606B)
--------workflows()
----test()
--------Main.purs(2KB)
--------Examples.purs(601B)
----LICENSE(1KB)
----src()
--------Record.purs(6KB)
--------Record()
----.gitignore(106B)
----CHANGELOG.md(3KB)
----README.md(2KB)
----bower.json(654B)

网友评论