poly.algebra.CMonoid.scala Maven / Gradle / Ivy
package poly.algebra
import poly.algebra.factory._
/**
* Represents a commutative monoid.
*
* An instance of this typeclass should satisfy the following axioms:
* - $lawAssociativity
* - $lawIdentity
* - $lawCommutativity
* @author Tongfei Chen
* @since 0.2.6
*/
trait CMonoid[X] extends Monoid[X] with CSemigroup[X]
object CMonoid extends ImplicitGetter[CMonoid]