Packages

object Commutative extends Lawful[CommutativeEqual]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Commutative
  2. ZLawful
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +[Caps1[x] <: CommutativeEqual[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
    Definition Classes
    ZLawful
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. implicit def DeriveCommutative[F[_], A](implicit derive: Derive[F, Commutative], commutative: Commutative[A]): Commutative[F[A]]

    Derives a Commutative[F[A]] given a Derive[F, Commutative] and a Commutative[A].

  6. implicit def EitherCommutative[E, A](implicit arg0: Commutative[E], arg1: Commutative[A]): Commutative[Either[E, A]]

    Derives a Commutative[Either[E, A]] given a Commutative[E] and a Commutative[A].

  7. implicit def MapCommutative[K, V](implicit arg0: Commutative[V]): Commutative[Map[K, V]]

    Derives a Commutative[Map[K, V]] given a Commutative[V].

  8. implicit def OptionCommutative[A](implicit arg0: Commutative[A]): Commutative[Option[A]]

    Derives a Commutative[Option[A]] given a Commutative[A]

  9. implicit def Tuple10Commutative[A, B, C, D, E, F, G, H, I, J](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J]): Commutative[(A, B, C, D, E, F, G, H, I, J)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  10. implicit def Tuple11Commutative[A, B, C, D, E, F, G, H, I, J, K](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K]): Commutative[(A, B, C, D, E, F, G, H, I, J, K)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  11. implicit def Tuple12Commutative[A, B, C, D, E, F, G, H, I, J, K, L](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  12. implicit def Tuple13Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  13. implicit def Tuple14Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  14. implicit def Tuple15Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  15. implicit def Tuple16Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  16. implicit def Tuple17Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  17. implicit def Tuple18Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q], arg17: Commutative[R]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  18. implicit def Tuple19Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q], arg17: Commutative[R], arg18: Commutative[S]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  19. implicit def Tuple20Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q], arg17: Commutative[R], arg18: Commutative[S], arg19: Commutative[T]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  20. implicit def Tuple21Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q], arg17: Commutative[R], arg18: Commutative[S], arg19: Commutative[T], arg20: Commutative[U]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  21. implicit def Tuple22Commutative[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I], arg9: Commutative[J], arg10: Commutative[K], arg11: Commutative[L], arg12: Commutative[M], arg13: Commutative[N], arg14: Commutative[O], arg15: Commutative[P], arg16: Commutative[Q], arg17: Commutative[R], arg18: Commutative[S], arg19: Commutative[T], arg20: Commutative[U], arg21: Commutative[V]): Commutative[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  22. implicit def Tuple2Commutative[A, B](implicit arg0: Commutative[A], arg1: Commutative[B]): Commutative[(A, B)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  23. implicit def Tuple3Commutative[A, B, C](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C]): Commutative[(A, B, C)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  24. implicit def Tuple4Commutative[A, B, C, D](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D]): Commutative[(A, B, C, D)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  25. implicit def Tuple5Commutative[A, B, C, D, E](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E]): Commutative[(A, B, C, D, E)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  26. implicit def Tuple6Commutative[A, B, C, D, E, F](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F]): Commutative[(A, B, C, D, E, F)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  27. implicit def Tuple7Commutative[A, B, C, D, E, F, G](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G]): Commutative[(A, B, C, D, E, F, G)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  28. implicit def Tuple8Commutative[A, B, C, D, E, F, G, H](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H]): Commutative[(A, B, C, D, E, F, G, H)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  29. implicit def Tuple9Commutative[A, B, C, D, E, F, G, H, I](implicit arg0: Commutative[A], arg1: Commutative[B], arg2: Commutative[C], arg3: Commutative[D], arg4: Commutative[E], arg5: Commutative[F], arg6: Commutative[G], arg7: Commutative[H], arg8: Commutative[I]): Commutative[(A, B, C, D, E, F, G, H, I)]

    Derives a Commutative for a product type given a Commutative for each element of the product type.

  30. def apply[A](implicit commutative: Commutative[A]): Commutative[A]

    Summons an implicit Commutative[A].

  31. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  32. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  33. lazy val commutativeLaw: Laws[CommutativeEqual]

    The commutative law states that for some binary operator *, for all values a1 and a2, the following must hold:

    The commutative law states that for some binary operator *, for all values a1 and a2, the following must hold:

    a1 * a2 === a2 * a1
  34. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  36. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  37. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  38. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  39. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  40. lazy val laws: Laws[CommutativeEqual]

    The set of all laws that instances of Commutative must satisfy.

    The set of all laws that instances of Commutative must satisfy.

    Definition Classes
    Commutative → ZLawful
  41. def make[A](f: (A, A) => A): Commutative[A]

    Constructs a Commutative instance from a commutative binary operator.

  42. def makeFrom[A](associative: Associative[A]): Commutative[A]

    Constructs an Commutative instance from an associative instance.

  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  46. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  47. def toString(): String
    Definition Classes
    AnyRef → Any
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from ZLawful[CommutativeEqual, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped