文件名称:empathy:Haskell中用于类型化路径操作的现代库
文件大小:16KB
文件格式:ZIP
更新时间:2024-03-29 04:56:20
Haskell
共情 empathy是用于类型化路径操作的现代库。 它利用了新的GHC功能(如DataKinds ,Backpack和自定义类型错误),以最大程度地减少库占用空间,同时最大程度地提高类型安全性。 有什么好玩的? 平台详细信息通过背包抽象出来。 每个这样的细节都在签名文件中说明。 路径文字是使用类型级别的Symbol而不是值级别的String构造的。 (如果尝试使用String文字作为路径,则会收到自定义类型错误)。 这将使我们能够进行编译时解析,以增强路径的格式。 也就是说,要求字符串"/usr/bin/"代表除绝对目录之外的任何内容都将是编译时错误。 有关给定路径的相对/绝对或文件/目录性质的信息存储在类型级别而不是值级别。 它附带电池(适用于optparse-applicative解析器, Hashable和NFData实例等)。 为什么不使用[一种替代的类型路径库]? 我
【文件预览】:
empathy-master
----PLAN.org(125B)
----core()
--------Data()
----posix()
--------Data()
----.github()
--------workflows()
----test()
--------Spec.hs(2KB)
----LICENSE(2KB)
----windows()
--------Data()
----sig()
--------Data()
----.gitignore(476B)
----CHANGELOG.md(206B)
----README.md(2KB)
----empathy.cabal(3KB)
----.stylish-haskell.yaml(8KB)