文件名称：modules-over-monads:Haskell库，用于存储Monad，理想Monad和理想Monad上的模块
文件大小：29KB
文件格式：ZIP
更新时间：2024-05-24 17:14:52
Haskell
基于模块的Haskell库 一个Haskell库，用于存储Monad，理想Monad和理想Monad上的模块。 它实现了以下内容： 左右模块在monad上。 参见M.Piróg，N.Wu，J.Gibbons关于单子及其代数的模块 。 广义恢复（同上） 理想化和理想化的单子。 参见S. Milius完全迭代的代数和完全迭代的monads 。 理想单子的副产物N. Ghani，T. Uustalu理想单子的副产物 。 待办事项清单 更多类实例 共模，共消耗量，理想共模产品... 模块超过应用程序，替代品？ 模块变压器？
【文件预览】：
modules-over-monads-master
----modules-over-monads.cabal(3KB)
----LICENSE(1KB)
----src()
--------Control()
--------Data()
----Setup.hs(46B)
----README.md(857B)