Identity

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +[Caps1[x] <: EqualIdentity[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 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].

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

   

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    

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

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

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

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

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

    

    Summons an implicit Identity[A].

29. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

30. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

32. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

33. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

35. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

36. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

37. lazy val laws: Laws[EqualIdentity]

    

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

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

    Definition Classes

    Identity → ZLawful

38. lazy val leftIdentityLaw: Laws[EqualIdentity]

    

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

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

    identity * a === a

39. def make[A](identity0: A, op: (A, A) ⇒ A): Identity[A]

    

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

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

    

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

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

    

    Definition Classes

    AnyRef

42. final def notify(): Unit

    

    Definition Classes

    AnyRef

43. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

44. lazy val rightIdentityLaw: Laws[EqualIdentity]

    

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

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

    a * identity === a

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