文件名称：free-category:免费类别，免费箭头和带有单调动作的免费类别
文件大小：44KB
文件格式：ZIP
更新时间：2024-06-06 11:21:08
state-machine free category Haskell
免费分类 该软件包包含免费类别的有效实现。 有各种可用的表示形式： 实时队列（冈崎C.“纯功能数据结构”） 输入对齐列表 延续传递样式（教会编码） 还包括免费箭头和免费Kleisli类别。 *类别对于以简单但类型安全的方式为状态机建模很有用。 为此， Kleisli类别是一个非常有用的目标，它允许包含单子计算。 该软件包包含有用的EffectCategory类（带效果的类别）捕获的Kleisli类别的概括，以及一个（免费的）转换器，可将类别提升为带效果的类别。 基准测试 检查各种表示形式的性能特征： 资源 ：基于《 ，作者：Edwin Bradly，2017年。您可以使用cabal new-run examples:login-state-machine运行它cabal new-run examples:login-state-machine 。 阅读有关使用免费类别使用简
【文件预览】：
free-category-master
----.gitignore(5B)
----bench()
--------report-O2.md(6KB)
--------Main.hs(6KB)
--------report-O1.md(6KB)
--------report-O0.md(6KB)
----README.md(2KB)
----nix()
--------sources.json(2KB)
--------sources.nix(6KB)
----.github()
--------workflows()
----default.nix(1KB)
----test()
--------Main.hs(273B)
--------Test()
----ChangeLog.md(1KB)
----cabal.project(91B)
----examples()
--------README.md(523B)
--------CHANGELOG.md(111B)
--------Setup.hs(46B)
--------LICENSE(16KB)
--------examples.cabal(1001B)
--------src()
----LICENSE(16KB)
----src()
--------Control()
----free-category.cabal(2KB)
----.travis.yml(1KB)