文件名称：purescript-record:处理记录和多态标签的功能
文件大小：13KB
文件格式：ZIP
更新时间：2024-06-06 19:29:20
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)