文件名称：validation:像Either这样的数据类型，但具有累加的Applicative
文件大小：24KB
文件格式：ZIP
更新时间：2024-05-26 15:49:05
Haskell
验证 诸如Either的几种数据类型，但是具有不同的属性和类型类实例。 为这些不同的表示提供了库支持，包括与lens相关的功能，用于在每个表示之间进行转换并对其相似性进行抽象。 从下载。 Validation Validation数据类型与Either是同构的，但是有一个Applicative实例累积在错误侧。 也就是说，如果遇到两个（或多个）错误，则使用Semigroup操作将其附加。 由于此Applicative实例，因此没有相应的Bind或Monad实例。 Validation就是“不是单子的应用函子”的示例。
【文件预览】：
validation-master
----.travis.yml(5KB)
----default.nix(331B)
----validation.nix(499B)
----changelog(2KB)
----shell.nix(197B)
----LICENCE(2KB)
----.github()
--------workflows()
----test()
--------hedgehog_tests.hs(2KB)
--------.gitignore(72B)
--------hunit_tests.hs(4KB)
----.ghci(120B)
----ci()
--------ci.nix(878B)
--------jobsets.nix(877B)
--------jobsets.json(529B)
----lower-bounds.project(316B)
----src()
--------Data()
----examples()
--------validation-examples.cabal(2KB)
--------LICENCE(2KB)
--------src()
--------Setup.hs(46B)
--------.gitignore(164B)
----.gitignore(227B)
----README.md(892B)
----cabal.project(26B)
----validation.cabal(4KB)