object Idempotent
- Alphabetic
- By Inheritance
- Idempotent
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit def DeriveIdempotent[F[_], A](implicit derive: Derive[F, Idempotent], idempotent: Idempotent[A]): Idempotent[F[A]]
Derives a
Idempotent[F[A]]
given aDerive[F, Idempotent]
and aIdempotent[A]
. - implicit def MapIdempotent[K, V](implicit arg0: Idempotent[V]): Idempotent[Map[K, V]]
Derives a
Idempotent[Map[K, V]]
given aIdempotent[V]
. - implicit def OptionIdempotent[A](implicit arg0: Idempotent[A]): Idempotent[Option[A]]
Derives a
Idempotent[Option[A]]
given aIdempotent[A]
- 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - implicit def Tuple2Idempotent[A, B](implicit arg0: Idempotent[A], arg1: Idempotent[B]): Idempotent[(A, B)]
Derives a
Idempotent
for a product type given aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - 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 aIdempotent
for each element of the product type. - def apply[A](implicit idempotent: Idempotent[A]): Idempotent[A]
Summons an implicit
Idempotent[A]
. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def make[A](f: (A, A) => A): Idempotent[A]
Constructs an
Idempotent
instance from a associative binary operator. - def makeFrom[A](associative: Associative[A]): Idempotent[A]
Constructs an
Idempotent
instance from a associative instance. - final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()