monoid-subclasses:Monoid的子类具有扎实的理论基础和实际用途

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用于获取最大公约数的两个给定