purescript-these:与αisoβ∨(α∧β)同构的数据类型

时间:2024-06-09 11:52:19
【文件属性】:

文件名称:purescript-these:与αisoβ∨(α∧β)同构的数据类型

文件大小:17KB

文件格式:ZIP

更新时间:2024-06-09 11:52:19

PureScript

这些 与α ∨ β ∨ (α ∧ β)同构的数据类型。 换句话说, Either a (Either b (Tuple ab)) 安装 用安装these : spago install these 快速开始 快速入门尚未编写(欢迎贡献!)。 快速入门涵盖了该库的一个常见的最小用例,而更长的示例和教程则保存在 文献资料 these文档存储在以下几个位置: 模块文档。 书面文档保存在。 在可以找到用法示例。 如果您遇到困难,可以通过以下几种方法获得帮助: 如果遇到错误或问题,请问题。 如果您有一般性问题。 您也可以在“(邀请链接)上的#purescript和#purescript-beginners频道中提问。 贡献 您可以通过these几种方式对此做出贡献: 如果您遇到问题或疑问,请打开一个问题。 我们将尽力与您合作解决或回答问题。 如果您想贡献代码,测试或文档,请阅读


【文件预览】:
purescript-these-main
----packages.dhall(194B)
----.github()
--------PULL_REQUEST_TEMPLATE.md(630B)
--------ISSUE_TEMPLATE()
--------workflows()
----bower.json(790B)
----src()
--------Test()
--------Data()
----CONTRIBUTING.md(500B)
----LICENSE(1KB)
----test()
--------Main.purs(2KB)
----README.md(3KB)
----spago.dhall(225B)
----docs()
--------README.md(299B)
----.editorconfig(215B)
----.gitignore(79B)
----CHANGELOG.md(3KB)

网友评论