Packages

trait Idempotent[A] extends Associative[A]

The Idempotent type class describes a binary operator for a type A that is both associative and produces the same value when combining two identical values. This means that a <> a is equal to a for all values a. Example of idempotent operations is union of sets, but not addition of integers.

Idempotent operators are useful because combining the values with an idempotent operation results in the same value regardless of the number of values are combined, allowing us to optimize out unnecessary combinations of the same values.

Self Type
Idempotent[A]
Linear Supertypes
Associative[A], AnyRef, Any
Known Subclasses
EqualIdempotent
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Idempotent
  2. Associative
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def combine(l: => A, r: => A): A
    Definition Classes
    Associative

Concrete Value Members

  1. final def combineIdempotent(l: => A, r: => A)(implicit A: Equal[A]): A

    If the values are equal, it doesn't attempt to combine them and promptly returns the first one.

    If the values are equal, it doesn't attempt to combine them and promptly returns the first one. If not equal, the values are combined normally.

  2. def idempotent(implicit A: Equal[A]): Idempotent[A]

    Creates a new instance which internally uses combineIdempotent for combining values.

  3. final def intersperse(middle: A): Associative[A]
    Definition Classes
    Associative
  4. def multiplyOption(n: Int)(a: A): Option[A]
    Definition Classes
    Associative
  5. final def repeat(a: A)(n: Int): A
    Definition Classes
    Associative