Packages

object Identity

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

Value Members

  1. implicit def DeriveIdentity[F[_], A](implicit derive: Derive[F, Identity], identity: Identity[A]): Identity[F[A]]

    Derives an Identity[F[A]] given a Derive[F, Identity] and an Identity[A].

  2. implicit def EitherIdentity[E, A](implicit arg0: Identity[A]): Identity[Either[E, A]]

    Derives an Identity[Either[E, A]] given an Identity[A].

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

  16. implicit def Tuple2Identity[A, B](implicit arg0: Identity[A], arg1: Identity[B]): Identity[(A, B)]

    Derives an Identity for a product type given an Identity for each element of the product type.

  17. implicit def Tuple3Identity[A, B, C](implicit arg0: Identity[A], arg1: Identity[B], arg2: Identity[C]): Identity[(A, B, C)]

    Derives an Identity for a product type given an Identity for each element of the product type.

  18. implicit def Tuple4Identity[A, B, C, D](implicit arg0: Identity[A], arg1: Identity[B], arg2: Identity[C], arg3: Identity[D]): Identity[(A, B, C, D)]

    Derives an Identity for a product type given an Identity for each element of the product type.

  19. implicit def Tuple5Identity[A, B, C, D, E](implicit arg0: Identity[A], arg1: Identity[B], arg2: Identity[C], arg3: Identity[D], arg4: Identity[E]): Identity[(A, B, C, D, E)]
  20. implicit def Tuple6Identity[A, B, C, D, E, F](implicit arg0: Identity[A], arg1: Identity[B], arg2: Identity[C], arg3: Identity[D], arg4: Identity[E], arg5: Identity[F]): Identity[(A, B, C, D, E, F)]

    Derives an Identity for a product type given an Identity for each element of the product type.

  21. implicit def Tuple7Identity[A, B, C, D, E, F, G](implicit arg0: Identity[A], arg1: Identity[B], arg2: Identity[C], arg3: Identity[D], arg4: Identity[E], arg5: Identity[F], arg6: Identity[G]): Identity[(A, B, C, D, E, F, G)]

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

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

    Derives an Identity for a product type given an Identity for each element of the product type.

  24. def apply[A](implicit Identity: Identity[A]): Identity[A]

    Summons an implicit Identity[A].

  25. def fromIdentityEitherCovariant[F[+_], A](implicit arg0: IdentityEither[F], arg1: Covariant[F]): Identity[F[A]]

    Constructs an Identity instance from an IdentityEither instance and a Covariant instance.

  26. def make[A](identity0: A, op: (A, A) => A): Identity[A]

    Constructs an Identity instance from an associative binary operator and an identity element.

  27. def makeFrom[A](identity0: A, associative: Associative[A]): Identity[A]

    Constructs an Identity instance from an associative instance and an identity element.