Invariant

Type Members

trait DeriveCanBuildFrom[F[+_]] extends AnyRef

Definition Classes
InvariantVersionSpecific

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 val AssociativeInvariant: Invariant[Associative]
implicit def CauseCovariant: Covariant[Cause]

The Covariant (and thus Invariant) for Cause
implicit val ChunkForEach: ForEach[Chunk]

The ForEach (and thus Covariant and Invariant) for Chunk.
implicit val CommutativeInvariant: Invariant[Commutative]
implicit def ConstForEach[A]: ForEach[[+B]Type[A]]

The ForEach instance for Const.
object DeriveCanBuildFrom

Definition Classes
InvariantVersionSpecific
implicit def EitherFailureCovariant[R]: Covariant[[+l]Type[Either[l, R]]]

The Covariant (and thus Invariant) for a failed Either
implicit def EitherForEach[E]: ForEach[[+a]Either[E, a]] with Bicovariant[Either]

The ForEach (and thus Covariant and Invariant) for Either.
implicit def ExitCovariant[E]: Covariant[[+a]Exit[E, a]]

The Covariant (and thus Invariant) for Exit
implicit def ExitFailureCovariant[A]: Covariant[[+e]Type[Exit[e, A]]]

The Covariant (and thus Invariant) for a failed Exit
implicit def FiberCovariant[E]: Covariant[[+a]Fiber[E, a]]

The Covariant (and thus Invariant) for Fiber
implicit def Function10Contravariant[B, C, D, E, F, G, H, I, J, K]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J) ⇒ K]

The Contravariant (and thus Invariant) instance for Function10.
The Contravariant (and thus Invariant) instance for Function10.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) ⇒ x]

The Covariant (and thus Invariant) for Function10
implicit def Function11Contravariant[B, C, D, E, F, G, H, I, J, K, L]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K) ⇒ L]

The Contravariant (and thus Invariant) instance for Function11.
The Contravariant (and thus Invariant) instance for Function11.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) ⇒ x]

The Covariant (and thus Invariant) for Function11
implicit def Function12Contravariant[B, C, D, E, F, G, H, I, J, K, L, M]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L) ⇒ M]

The Contravariant (and thus Invariant) instance for Function12.
The Contravariant (and thus Invariant) instance for Function12.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) ⇒ x]

The Covariant (and thus Invariant) for Function12
implicit def Function13Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M) ⇒ N]

The Contravariant (and thus Invariant) instance for Function13.
The Contravariant (and thus Invariant) instance for Function13.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function13Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) ⇒ x]

The Covariant (and thus Invariant) for Function13
implicit def Function14Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N) ⇒ O]

The Contravariant (and thus Invariant) instance for Function14.
The Contravariant (and thus Invariant) instance for Function14.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function14Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) ⇒ x]

The Covariant (and thus Invariant) for Function14
implicit def Function15Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O) ⇒ P]

The Contravariant (and thus Invariant) instance for Function15.
The Contravariant (and thus Invariant) instance for Function15.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function15Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) ⇒ x]

The Covariant (and thus Invariant) for Function15
implicit def Function16Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) ⇒ Q]

The Contravariant (and thus Invariant) instance for Function16.
The Contravariant (and thus Invariant) instance for Function16.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function16Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) ⇒ x]

The Covariant (and thus Invariant) for Function16
implicit def Function17Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) ⇒ R]

The Contravariant (and thus Invariant) instance for Function17.
The Contravariant (and thus Invariant) instance for Function17.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function17Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) ⇒ x]

The Covariant (and thus Invariant) for Function17
implicit def Function18Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) ⇒ S]

The Contravariant (and thus Invariant) instance for Function18.
The Contravariant (and thus Invariant) instance for Function18.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function18Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) ⇒ x]

The Covariant (and thus Invariant) for Function18
implicit def Function19Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) ⇒ T]

The Contravariant (and thus Invariant) instance for Function10.
The Contravariant (and thus Invariant) instance for Function10.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function19Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) ⇒ x]

The Covariant (and thus Invariant) for Function19
implicit def Function1Contravariant[B]: Contravariant[[-x](x) ⇒ B]

The Contravariant (and thus Invariant) instance for Function1[-A, +B] : [*, *] => *.
The Contravariant (and thus Invariant) instance for Function1[-A, +B] : [*, *] => *.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function1Covariant[T]: Covariant[[+x](T) ⇒ x]

The Covariant (and thus Invariant) for Function1
implicit def Function20Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T) ⇒ U]

The Contravariant (and thus Invariant) instance for Function20.
The Contravariant (and thus Invariant) instance for Function20.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function20Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20) ⇒ x]

The Covariant (and thus Invariant) for Function20
implicit def Function21Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) ⇒ V]

The Contravariant (and thus Invariant) instance for Function21.
The Contravariant (and thus Invariant) instance for Function21.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function21Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21) ⇒ x]

The Covariant (and thus Invariant) for Function21
implicit def Function22Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) ⇒ W]

The Contravariant (and thus Invariant) instance for Function22.
The Contravariant (and thus Invariant) instance for Function22.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function22Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22) ⇒ x]

The Covariant (and thus Invariant) for Function22
implicit def Function2Contravariant[B, C]: Contravariant[[-x](x, B) ⇒ C]

The Contravariant (and thus Invariant) instance for Function2.
The Contravariant (and thus Invariant) instance for Function2.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) ⇒ x]

The Covariant (and thus Invariant) for Function2
implicit def Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) ⇒ D]

The Contravariant (and thus Invariant) instance for Function3.
The Contravariant (and thus Invariant) instance for Function3.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) ⇒ x]

The Covariant (and thus Invariant) for Function3
implicit def Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) ⇒ E]

The Contravariant (and thus Invariant) instance for Function4.
The Contravariant (and thus Invariant) instance for Function4.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) ⇒ x]

The Covariant (and thus Invariant) for Function4
implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) ⇒ F]

The Contravariant (and thus Invariant) instance for Function5.
The Contravariant (and thus Invariant) instance for Function5.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) ⇒ x]

The Covariant (and thus Invariant) for Function5
implicit def Function6Contravariant[B, C, D, E, F, G]: Contravariant[[-x](x, B, C, D, E, F) ⇒ G]

The Contravariant (and thus Invariant) instance for Function6.
The Contravariant (and thus Invariant) instance for Function6.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function6Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6) ⇒ x]

The Covariant (and thus Invariant) for Function6
implicit def Function7Contravariant[B, C, D, E, F, G, H]: Contravariant[[-x](x, B, C, D, E, F, G) ⇒ H]

The Contravariant (and thus Invariant) instance for Function7.
The Contravariant (and thus Invariant) instance for Function7.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function7Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7) ⇒ x]

The Covariant (and thus Invariant) for Function7
implicit def Function8Contravariant[B, C, D, E, F, G, H, I]: Contravariant[[-x](x, B, C, D, E, F, G, H) ⇒ I]

The Contravariant (and thus Invariant) instance for Function8.
The Contravariant (and thus Invariant) instance for Function8.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function8Covariant[T1, T2, T3, T4, T5, T6, T7, T8]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8) ⇒ x]

The Covariant (and thus Invariant) for Function8
implicit def Function9Contravariant[B, C, D, E, F, G, H, I, J]: Contravariant[[-x](x, B, C, D, E, F, G, H, I) ⇒ J]

The Contravariant (and thus Invariant) instance for Function9.
The Contravariant (and thus Invariant) instance for Function9.

Definition Classes
LowPriorityInvariantImplicits
implicit def Function9Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9) ⇒ x]

The Covariant (and thus Invariant) for Function9
implicit def FutureCovariant(implicit ec: ExecutionContext): Covariant[Future]

The Covariant (and thus Invariant) instance for Future
implicit val IdNonEmptyForEach: NonEmptyForEach[prelude.Id]

The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for Id.
implicit val IdentityInvariant: Invariant[Identity]
implicit val InverseInvariant: Invariant[Inverse]
implicit def IterableForEach[F[+a] <: Iterable[a]](implicit derive: DeriveCanBuildFrom[F]): ForEach[F]

Derives a ForEach[F] from an Iterable[F].
Derives a ForEach[F] from an Iterable[F].

Definition Classes
InvariantVersionSpecific
implicit val ListForEach: ForEach[List]

The ForEach (and thus Covariant and Invariant) instance for List.
implicit def MapForEach[K]: ForEach[[+v]Map[K, v]]

The ForEach (and thus Covariant and Invariant) instance for Map.
implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]

The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for NonEmptyChunk.
implicit val OptionForEach: ForEach[Option]

The ForEach (and thus Covariant and Invariant) instance for Option.
implicit def ScheduleContravariant[R, B]: Contravariant[[-x]Schedule[R, x, B]]

The Contravariant (and thus Invariant) instance for Schedule.
The Contravariant (and thus Invariant) instance for Schedule.

Definition Classes
LowPriorityInvariantImplicits
implicit def ScheduleCovariant[R, A]: Covariant[[+b]Schedule[R, A, b]]

The Covariant (and thus Invariant) instance for Schedule
implicit val SetInvariant: Invariant[Set]

The Invariant instance for Set
implicit val TryCovariant: Covariant[Try]

The Covariant (and thus Invariant) instance for Try
implicit def Tuple10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, x)]

The Covariant (and thus Invariant) for Tuple10
implicit def Tuple11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, x)]

The Covariant (and thus Invariant) for Tuple11
implicit def Tuple12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, x)]

The Covariant (and thus Invariant) for Tuple12
implicit def Tuple13Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, x)]

The Covariant (and thus Invariant) for Tuple13
implicit def Tuple14Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, x)]

The Covariant (and thus Invariant) for Tuple14
implicit def Tuple15Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, x)]

The Covariant (and thus Invariant) for Tuple15
implicit def Tuple16Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, x)]

The Covariant (and thus Invariant) for Tuple16
implicit def Tuple17Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, x)]

The Covariant (and thus Invariant) for Tuple17
implicit def Tuple18Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, x)]

The Covariant (and thus Invariant) for Tuple18
implicit def Tuple19Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, x)]

The Covariant (and thus Invariant) for Tuple19
implicit def Tuple20Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, x)]

The Covariant (and thus Invariant) for Tuple20
implicit def Tuple21Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, x)]

The Covariant (and thus Invariant) for Tuple21
implicit def Tuple22Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, x)]

The Covariant (and thus Invariant) for Tuple22
implicit def Tuple2Covariant[T1]: Covariant[[+x](T1, x)]

The Covariant (and thus Invariant) for Tuple2
implicit def Tuple3Covariant[T1, T2]: Covariant[[+x](T1, T2, x)]

The Covariant (and thus Invariant) for Tuple3
implicit def Tuple4Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3, x)]

The Covariant (and thus Invariant) for Tuple4
implicit def Tuple5Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4, x)]

The Covariant (and thus Invariant) for Tuple5
implicit def Tuple6Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5, x)]

The Covariant (and thus Invariant) for Tuple6
implicit def Tuple7Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6, x)]

The Covariant (and thus Invariant) for Tuple7
implicit def Tuple8Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, x)]

The Covariant (and thus Invariant) for Tuple8
implicit def Tuple9Covariant[T1, T2, T3, T4, T5, T6, T7, T8]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, x)]

The Covariant (and thus Invariant) for Tuple9
implicit val VectorForEach: ForEach[Vector]

The ForEach (and thus Covariant and Invariant) instance for Vector.
implicit def ZIOCovariant[R, E]: Covariant[[+a]ZIO[R, E, a]]

The Covariant (and thus Invariant) for ZIO
implicit def ZIOFailureCovariant[R, A]: Covariant[[+e]Type[ZIO[R, e, A]]]

The Covariant (and thus Invariant) for a failed ZIO
implicit def ZManagedCovariant[R, E]: Covariant[[+a]ZManaged[R, E, a]]

The Covariant (and thus Invariant) for ZManaged
implicit def ZManagedFailureCovariant[R, A]: Covariant[[+e]Type[ZManaged[R, e, A]]]

The Covariant (and thus Invariant) for a failed ZManaged
implicit def ZQueueContravariant[RA, EA, RB, EB, B]: Contravariant[[-x]ZQueue[RA, EA, RB, EB, x, B]]

The Contravariant (and thus Invariant) instance for ZQueue.
The Contravariant (and thus Invariant) instance for ZQueue.

Definition Classes
LowPriorityInvariantImplicits
implicit def ZQueueCovariant[RA, RB, EA, EB, A]: Covariant[[+b]ZQueue[RA, RB, EA, EB, A, b]]

The Covariant (and thus Invariant) for ZQueue
implicit def ZRefContravariant[RA, RB, EA, EB, B]: Contravariant[[-x]ZRef[RA, RB, EA, EB, x, B]]

The Contravariant (and thus Invariant) instance for ZRef.
The Contravariant (and thus Invariant) instance for ZRef.

Definition Classes
LowPriorityInvariantImplicits
implicit def ZRefCovariant[RA, RB, EA, EB, A]: Covariant[[+b]ZRef[RA, RB, EA, EB, A, b]]

The Covariant (and thus Invariant) for ZRef
implicit def ZRefFailureInCovariant[RA, RB, EB, A, B]: Covariant[[+ea]Type[ZRef[RA, RB, ea, EB, A, B]]]

The Covariant (and thus Invariant) for a failed ZRef on its input
implicit def ZRefFailureOutCovariant[RA, RB, EA, A, B]: Covariant[[+eb]Type[ZRef[RA, RB, EA, eb, A, B]]]

The Covariant (and thus Invariant) for a failed ZRef on its output
implicit def ZRefSynchronizedContravariant[RA, RB, EA, EB, B]: Contravariant[[-x]Synchronized[RA, RB, EA, EB, x, B]]

The Contravariant (and thus Invariant) instance for ZRef.Synchronized.
The Contravariant (and thus Invariant) instance for ZRef.Synchronized.

Definition Classes
LowPriorityInvariantImplicits
implicit def ZRefSynchronizedCovariant[RA, RB, EA, EB, A]: Covariant[[+b]Synchronized[RA, RB, EA, EB, A, b]]

The Covariant (and thus Invariant) for ZRef.Synchronized
implicit def ZRefSynchronizedFailureInACovariant[RA, RB, EB, A, B]: Covariant[[+ea]Type[Synchronized[RA, RB, ea, EB, A, B]]]

The Covariant (and thus Invariant) for a failed ZRef.Synchronized on its input
implicit def ZRefSynchronizedFailureOutCovariant[RA, RB, EA, A, B]: Covariant[[+eb]Type[Synchronized[RA, RB, EA, eb, A, B]]]

The Covariant (and thus Invariant) for a failed ZRef.Synchronized on its output
implicit def ZSTMZivariantCovariant[R, E]: Covariant[[+o]ZSTM[R, E, o]]

The Covariant (and thus Invariant) for ZSTM
implicit def ZSTMZivariantFailureCovariant[R, O]: Covariant[[+e]Type[ZSTM[R, e, O]]]

The Covariant (and thus Invariant) for a failed ZSTM
implicit def ZSinkContravariant[R, E, L, Z]: Contravariant[[-x]ZSink[R, E, x, L, Z]]

The Contravariant (and thus Invariant) instance for ZSink.
The Contravariant (and thus Invariant) instance for ZSink.

Definition Classes
LowPriorityInvariantImplicits
implicit def ZStreamCovariant[R, E]: Covariant[[+o]ZStream[R, E, o]]

The Covariant (and thus Invariant) for ZStream
implicit def ZStreamFailureCovariant[R, O]: Covariant[[+e]Type[ZStream[R, e, O]]]

The Covariant (and thus Invariant) for a failed ZStream
def apply[F[_]](implicit invariant: Invariant[F]): Invariant[F]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
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( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Invariant | package prelude

object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific

Type Members

trait DeriveCanBuildFrom[F[+_]] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit val AssociativeInvariant: Invariant[Associative]

implicit def CauseCovariant: Covariant[Cause]

implicit val ChunkForEach: ForEach[Chunk]

implicit val CommutativeInvariant: Invariant[Commutative]

implicit def ConstForEach[A]: ForEach[[+B]Type[A]]

object DeriveCanBuildFrom

implicit def EitherFailureCovariant[R]: Covariant[[+l]Type[Either[l, R]]]

implicit def EitherForEach[E]: ForEach[[+a]Either[E, a]] with Bicovariant[Either]

implicit def ExitCovariant[E]: Covariant[[+a]Exit[E, a]]

implicit def ExitFailureCovariant[A]: Covariant[[+e]Type[Exit[e, A]]]

implicit def FiberCovariant[E]: Covariant[[+a]Fiber[E, a]]

implicit def Function10Contravariant[B, C, D, E, F, G, H, I, J, K]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J) ⇒ K]

implicit def Function10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) ⇒ x]

implicit def Function11Contravariant[B, C, D, E, F, G, H, I, J, K, L]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K) ⇒ L]

implicit def Function11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) ⇒ x]

implicit def Function12Contravariant[B, C, D, E, F, G, H, I, J, K, L, M]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L) ⇒ M]

implicit def Function12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) ⇒ x]

implicit def Function13Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M) ⇒ N]

implicit def Function13Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) ⇒ x]

implicit def Function14Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N) ⇒ O]

implicit def Function14Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) ⇒ x]

implicit def Function15Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O) ⇒ P]

implicit def Function15Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) ⇒ x]

implicit def Function16Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) ⇒ Q]

implicit def Function16Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) ⇒ x]

implicit def Function17Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) ⇒ R]

implicit def Function17Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) ⇒ x]

implicit def Function18Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) ⇒ S]

implicit def Function18Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) ⇒ x]

implicit def Function19Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) ⇒ T]

implicit def Function19Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) ⇒ x]

implicit def Function1Contravariant[B]: Contravariant[[-x](x) ⇒ B]

implicit def Function1Covariant[T]: Covariant[[+x](T) ⇒ x]

implicit def Function20Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T) ⇒ U]

implicit def Function20Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20) ⇒ x]

implicit def Function21Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) ⇒ V]

implicit def Function21Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21) ⇒ x]

implicit def Function22Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W]: Contravariant[[-x](x, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) ⇒ W]

implicit def Function22Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22) ⇒ x]

implicit def Function2Contravariant[B, C]: Contravariant[[-x](x, B) ⇒ C]

implicit def Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) ⇒ x]

implicit def Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) ⇒ D]

implicit def Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) ⇒ x]

implicit def Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) ⇒ E]

implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) ⇒ x]

implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) ⇒ F]

implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) ⇒ x]

implicit def Function6Contravariant[B, C, D, E, F, G]: Contravariant[[-x](x, B, C, D, E, F) ⇒ G]

implicit def Function6Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6) ⇒ x]

implicit def Function7Contravariant[B, C, D, E, F, G, H]: Contravariant[[-x](x, B, C, D, E, F, G) ⇒ H]

implicit def Function7Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7) ⇒ x]

implicit def Function8Contravariant[B, C, D, E, F, G, H, I]: Contravariant[[-x](x, B, C, D, E, F, G, H) ⇒ I]

implicit def Function8Covariant[T1, T2, T3, T4, T5, T6, T7, T8]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8) ⇒ x]

implicit def Function9Contravariant[B, C, D, E, F, G, H, I, J]: Contravariant[[-x](x, B, C, D, E, F, G, H, I) ⇒ J]

implicit def Function9Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9) ⇒ x]

implicit def FutureCovariant(implicit ec: ExecutionContext): Covariant[Future]

implicit val IdNonEmptyForEach: NonEmptyForEach[prelude.Id]

implicit val IdentityInvariant: Invariant[Identity]

implicit val InverseInvariant: Invariant[Inverse]

implicit def IterableForEach[F[+a] <: Iterable[a]](implicit derive: DeriveCanBuildFrom[F]): ForEach[F]

implicit val ListForEach: ForEach[List]

implicit def MapForEach[K]: ForEach[[+v]Map[K, v]]

implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]

implicit val OptionForEach: ForEach[Option]

implicit def ScheduleContravariant[R, B]: Contravariant[[-x]Schedule[R, x, B]]

implicit def ScheduleCovariant[R, A]: Covariant[[+b]Schedule[R, A, b]]

implicit val SetInvariant: Invariant[Set]

implicit val TryCovariant: Covariant[Try]

implicit def Tuple10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, x)]

implicit def Tuple11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, x)]

implicit def Tuple12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, x)]