• Home
• org.spire-math
• spire_2.10.0
• 0.3.0-M7
• source code
• Group.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

spire.algebra.Group.scala Maven / Gradle / Ivy

package spire.algebra

import spire.macrosk.Ops

/**
 * A group is a monoid where each element has an inverse.
 */
trait Group[A] extends Monoid[A] {
  def inverse(a: A): A
}

object Group {
  @inline final def apply[A](implicit ev: Group[A]) = ev
}

/**
 * An abelian group is a group whose operation is commutative.
 */
trait AbGroup[A] extends Group[A]

final class GroupOps[A](lhs:A)(implicit ev:Group[A]) {
  def inverse() = macro Ops.unop[A]
}