Idempotent

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +[Caps1[x] <: EqualIdempotent[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 DeriveIdempotent[F[_], A](implicit derive: Derive[F, Idempotent], idempotent: Idempotent[A]): Idempotent[F[A]]

   

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

6. implicit def MapIdempotent[K, V](implicit arg0: Idempotent[V]): Idempotent[Map[K, V]]

   

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

7. implicit def OptionIdempotent[A](implicit arg0: Idempotent[A]): Idempotent[Option[A]]

   

   Derives a Idempotent[Option[A]] given a Idempotent[A]

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

   

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

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

   

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

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

    

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

21. implicit def Tuple2Idempotent[A, B](implicit arg0: Idempotent[A], arg1: Idempotent[B]): Idempotent[(A, B)]

    

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

22. implicit def Tuple3Idempotent[A, B, C](implicit arg0: Idempotent[A], arg1: Idempotent[B], arg2: Idempotent[C]): Idempotent[(A, B, C)]

    

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

23. implicit def Tuple4Idempotent[A, B, C, D](implicit arg0: Idempotent[A], arg1: Idempotent[B], arg2: Idempotent[C], arg3: Idempotent[D]): Idempotent[(A, B, C, D)]

    

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

24. implicit def Tuple5Idempotent[A, B, C, D, E](implicit arg0: Idempotent[A], arg1: Idempotent[B], arg2: Idempotent[C], arg3: Idempotent[D], arg4: Idempotent[E]): Idempotent[(A, B, C, D, E)]

    

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

25. implicit def Tuple6Idempotent[A, B, C, D, E, F](implicit arg0: Idempotent[A], arg1: Idempotent[B], arg2: Idempotent[C], arg3: Idempotent[D], arg4: Idempotent[E], arg5: Idempotent[F]): Idempotent[(A, B, C, D, E, F)]

    

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

26. implicit def Tuple7Idempotent[A, B, C, D, E, F, G](implicit arg0: Idempotent[A], arg1: Idempotent[B], arg2: Idempotent[C], arg3: Idempotent[D], arg4: Idempotent[E], arg5: Idempotent[F], arg6: Idempotent[G]): Idempotent[(A, B, C, D, E, F, G)]

    

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

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

    

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

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

    

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

29. def apply[A](implicit idempotent: Idempotent[A]): Idempotent[A]

    

    Summons an implicit Idempotent[A].

30. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

31. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

33. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

34. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

35. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

36. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

37. lazy val idempotentLaw: Laws[EqualIdempotent]

    

    The idempotent law states that for some binary operator *, for all values a, the following must hold:

    The idempotent law states that for some binary operator *, for all values a, the following must hold:

    a * a === a

38. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

39. lazy val laws: Laws[EqualIdempotent]

    

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

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

    Definition Classes

    Idempotent → ZLawful

40. def make[A](f: (A, A) ⇒ A): Idempotent[A]

    

    Constructs an Idempotent instance from a associative binary operator.

41. def makeFrom[A](associative: Associative[A]): Idempotent[A]

    

    Constructs an Idempotent instance from a associative instance.

42. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

43. final def notify(): Unit

    

    Definition Classes

    AnyRef

44. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

45. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

46. def toString(): String

    

    Definition Classes

    AnyRef → Any

47. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )