Trait/Object

cats.kernel.laws

CommutativeGroupLaws

Related Docs: object CommutativeGroupLaws | package laws

Permalink

trait CommutativeGroupLaws[A] extends GroupLaws[A] with CommutativeMonoidLaws[A]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CommutativeGroupLaws
  2. CommutativeMonoidLaws
  3. CommutativeSemigroupLaws
  4. GroupLaws
  5. MonoidLaws
  6. SemigroupLaws
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def S: CommutativeGroup[A]

    Permalink

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def collect0(x: A): IsEq[A]

    Permalink
    Definition Classes
    MonoidLaws
  7. def combineAll(xs: Vector[A]): IsEq[A]

    Permalink
    Definition Classes
    MonoidLaws
  8. def combineAllOption(xs: Vector[A]): IsEq[Option[A]]

    Permalink
    Definition Classes
    SemigroupLaws
  9. def commutative(x: A, y: A): IsEq[A]

    Permalink
    Definition Classes
    CommutativeSemigroupLaws
  10. def consistentInverse(x: A, y: A): IsEq[A]

    Permalink
    Definition Classes
    GroupLaws
  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. def isId(x: A, eqv: Eq[A]): IsEq[Boolean]

    Permalink
    Definition Classes
    MonoidLaws
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. def leftIdentity(x: A): IsEq[A]

    Permalink
    Definition Classes
    MonoidLaws
  19. def leftInverse(x: A): IsEq[A]

    Permalink
    Definition Classes
    GroupLaws
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. def repeat0(x: A): IsEq[A]

    Permalink
    Definition Classes
    MonoidLaws
  24. def repeat1(a: A): IsEq[A]

    Permalink
    Definition Classes
    SemigroupLaws
  25. def repeat2(a: A): IsEq[A]

    Permalink
    Definition Classes
    SemigroupLaws
  26. def rightIdentity(x: A): IsEq[A]

    Permalink
    Definition Classes
    MonoidLaws
  27. def rightInverse(x: A): IsEq[A]

    Permalink
    Definition Classes
    GroupLaws
  28. def semigroupAssociative(x: A, y: A, z: A): IsEq[A]

    Permalink
    Definition Classes
    SemigroupLaws
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from CommutativeMonoidLaws[A]

Inherited from CommutativeSemigroupLaws[A]

Inherited from GroupLaws[A]

Inherited from MonoidLaws[A]

Inherited from SemigroupLaws[A]

Inherited from AnyRef

Inherited from Any

Ungrouped