文件名称：purescript-exists:现有类型作为库
文件大小：7KB
文件格式：ZIP
更新时间：2024-05-28 13:41:03
PureScript
纯文字存在 Exists类型，用于编码生存类型。 安装 spago install exists 概述 Exists f类型Exists f与存在类型exists a. fa是同构exists a. fa exists a. fa 。 例如，考虑类型exists s. Tuple s (s -> Tuple sa) exists s. Tuple s (s -> Tuple sa)表示类型a的元素的无限流。 可以通过如下创建类型构造器StreamF来构造此类型： data StreamF a s = StreamF s ( s -> Tuple s a ) 然后，我们可以使用Exists定义流的类型： type Stream a = Exists ( StreamF a ) 然后， mkExists和runExists函数启用将mkExists打包SteamF包到Stream
【文件预览】：
purescript-exists-master
----.gitignore(89B)
----package.json(276B)
----src()
--------Data()
----LICENSE(1KB)
----CHANGELOG.md(2KB)
----.github()
--------PULL_REQUEST_TEMPLATE.md(606B)
--------workflows()
----README.md(1KB)
----bower.json(554B)
----test()
--------Test()