trait Group[a: Type] with Monoid[a]
A trait for types that form a group.
The default instances for numbers define the additive inverse in the real numbers.
def inverse(x: a): a with Group[a]
Returns the inverse element of x.
x
def combine(x: a, y: a): a with Group[a]
def empty(_unit: Unit): a with Group[a]
Returns the neutral element.
def remove(x: a, y: a): a with Group[a]
Returns y removed from x.
y
Equivalent to Group.combine(x, Group.inverse(y))
Group.combine(x, Group.inverse(y))