文件名称：monoid-subclasses:Monoid的子类具有扎实的理论基础和实际用途
文件大小：61KB
文件格式：ZIP
更新时间：2024-05-26 21:08:51
Haskell
id半群子类 具有可靠的理论基础和实际用途的Semigroup和Monoid的子类 monoid-subclasses软件包已。 该软件包定义了几个类，这些类比和丰富，但比要求不高： 提供了运算符</> ，它作为半群运算符<>的部分逆。 是Reductive的子类，它提供有关</>操作结果的其他保证： (a <> b) </> a == Just b (a <> b) </> b == Just a 每个组（即，每个带有操作inverse :: a -> a Monoid a inverse :: a -> a Monoid a ）都是可取消的Monoid a ，其中a </> b = Just (a <> inverse b)但并非每个Cancellative monoid都是一个组。 是的子类， Reductive和Monoid ，提供了gcd用于获取最大公约数的两个给定
【文件预览】：
monoid-subclasses-master
----src()
--------Data()
----Setup.lhs(79B)
----monoid-subclasses.cabal(2KB)
----Test()
--------TestMonoidSubclasses.hs(57KB)
----BSD3-LICENSE.txt(1KB)
----README.md(4KB)
----.gitignore(31B)
----CHANGELOG.md(4KB)