cats.kernel.instances

UnitAlgebra

class UnitAlgebra extends BoundedSemilattice[Unit] with CommutativeGroup[Unit]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. UnitAlgebra
  2. CommutativeGroup
  3. Group
  4. BoundedSemilattice
  5. CommutativeMonoid
  6. Monoid
  7. Semilattice
  8. CommutativeSemigroup
  9. Band
  10. Semigroup
  11. Serializable
  12. Serializable
  13. AnyRef
  14. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UnitAlgebra()

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def asJoinPartialOrder(implicit ev: Eq[Unit]): PartialOrder[Unit]

    Given Eq[A], return a PartialOrder[A] using the combine operator to determine the partial ordering.

    Given Eq[A], return a PartialOrder[A] using the combine operator to determine the partial ordering. This method assumes combine functions as join (that is, as an upper bound).

    This method returns:

    0.0 if x = y -1.0 if y = combine(x, y) 1.0 if x = combine(x, y) NaN otherwise

    Definition Classes
    Semilattice
  8. def asMeetPartialOrder(implicit ev: Eq[Unit]): PartialOrder[Unit]

    Given Eq[A], return a PartialOrder[A] using the combine operator to determine the partial ordering.

    Given Eq[A], return a PartialOrder[A] using the combine operator to determine the partial ordering. This method assumes combine functions as meet (that is, as a lower bound).

    This method returns:

    0.0 if x = y -1.0 if x = combine(x, y) 1.0 if y = combine(x, y) NaN otherwise

    Definition Classes
    Semilattice
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def combine(x: Unit, y: Unit): Unit

    Associative operation which combines two values.

    Associative operation which combines two values.

    Definition Classes
    UnitAlgebraSemigroup
  11. def combineAll(as: TraversableOnce[Unit]): Unit

    Given a sequence of as, sum them using the monoid and return the total.

    Given a sequence of as, sum them using the monoid and return the total.

    Definition Classes
    Monoid
  12. def combineAllOption(as: TraversableOnce[Unit]): Option[Unit]

    Given a sequence of as, combine them and return the total.

    Given a sequence of as, combine them and return the total.

    If the sequence is empty, returns None. Otherwise, returns Some(total).

    Definition Classes
    UnitAlgebraMonoidSemigroup
  13. def combineN(a: Unit, n: Int): Unit

    Return a appended to itself n times.

    Return a appended to itself n times. If n is negative, then this returns inverse(a) appended to itself n times.

    Definition Classes
    GroupMonoidSemigroup
  14. def empty: Unit

    Return the identity element for this monoid.

    Return the identity element for this monoid.

    Definition Classes
    UnitAlgebraMonoid
  15. final def eq(arg0: AnyRef): Boolean

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

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

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

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

    Definition Classes
    AnyRef → Any
  20. def inverse(x: Unit): Unit

    Find the inverse of a.

    Find the inverse of a.

    combine(a, inverse(a)) = combine(inverse(a), a) = empty.

    Definition Classes
    UnitAlgebraGroup
  21. def isEmpty(a: Unit)(implicit ev: Eq[Unit]): Boolean

    Tests if a is the identity.

    Tests if a is the identity.

    Definition Classes
    Monoid
  22. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  23. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  26. def remove(x: Unit, y: Unit): Unit

    Remove the element b from a.

    Remove the element b from a.

    Equivalent to combine(a, inverse(b))

    Definition Classes
    UnitAlgebraGroup
  27. def repeatedCombineN(a: Unit, n: Int): Unit

    Return a combined with itself more than once.

    Return a combined with itself more than once.

    Attributes
    protected[this]
    Definition Classes
    UnitAlgebraSemigroup
  28. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  29. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from CommutativeGroup[Unit]

Inherited from Group[Unit]

Inherited from BoundedSemilattice[Unit]

Inherited from CommutativeMonoid[Unit]

Inherited from Monoid[Unit]

Inherited from Semilattice[Unit]

Inherited from CommutativeSemigroup[Unit]

Inherited from Band[Unit]

Inherited from Semigroup[Unit]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped