final class FreeGroup[A] extends AnyVal
- Self Type
- FreeGroup[A]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FreeGroup
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def inverse: FreeGroup[A]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
run[B](f: (A) ⇒ B)(implicit B: Group[B]): B
Map each term to type
Band sum them usingB's Group. - val terms: Vector[Either[A, A]]
-
def
toString(): String
- Definition Classes
- FreeGroup → Any
- def |+|(rhs: FreeGroup[A]): FreeGroup[A]
- def |-|(rhs: FreeGroup[A]): FreeGroup[A]