Packages

object Idempotent

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

Value Members

  1. 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].

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

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

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

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

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

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

    Summons an implicit Idempotent[A].

  26. def make[A](f: (A, A) => A): Idempotent[A]

    Constructs an Idempotent instance from a associative binary operator.

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

    Constructs an Idempotent instance from a associative instance.