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[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

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

    Definition Classes

    AnyRef

32.  def equals(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef → Any

33.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

35.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

36.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Annotations

    @native()

43.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

44.  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(classOf[java.lang.InterruptedException])

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

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()