FreeGroup

final
class FreeGroup[A] extends AnyVal
Companion
object
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def run[B](f: A => B)(implicit B: Group[B]): B

Map each term to type B and sum them using B's Group.

Map each term to type B and sum them using B's Group.

override
def toString: String
Definition Classes
Any
def |+|(rhs: FreeGroup[A]): FreeGroup[A]
def |-|(rhs: FreeGroup[A]): FreeGroup[A]

Concrete fields

val terms: Vector[Either[A, A]]