FreeGroup

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   Any

2. final def ##(): Int

   

   Definition Classes

   Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def getClass(): Class[_ <: AnyVal]

   

   Definition Classes

   AnyVal → Any

6. def inverse: FreeGroup[A]

   

7. final def isInstanceOf[T0]: Boolean

   

   Definition Classes

   Any

8. def run[B](f: (A) ⇒ B)(implicit B: Group[B]): B

   

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

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

   

10. def toString(): String

    

    Definition Classes

    FreeGroup → Any

11. def |+|(rhs: FreeGroup[A]): FreeGroup[A]

    

12. def |-|(rhs: FreeGroup[A]): FreeGroup[A]