Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##: Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  implicit val AssociativeInvariant: Invariant[Associative]
5.  implicit def CauseCovariant: Covariant[Cause]

   The Covariant (and thus Invariant) for Cause

6.  implicit val ChunkForEach: ForEach[Chunk]

   The ForEach (and thus Covariant and Invariant) for Chunk.

7.  implicit val CommutativeInvariant: Invariant[Commutative]
8.  implicit def ConstForEach[A]: ForEach[[+B]Type[A]]

   The ForEach instance for Const.

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

   The Covariant (and thus Invariant) for a failed Either

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

    The ForEach (and thus Covariant and Invariant) for Either.

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

    The Covariant (and thus Invariant) for Exit

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

    The Covariant (and thus Invariant) for a failed Exit

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

    The Covariant (and thus Invariant) for Fiber

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

35.  implicit def Function1Covariant[T]: Covariant[[+x](T) => x]

    The Covariant (and thus Invariant) for Function1

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

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

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

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

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

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

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

43.  implicit def Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) => x]

    The Covariant (and thus Invariant) for Function2

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

45.  implicit def Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) => x]

    The Covariant (and thus Invariant) for Function3

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

47.  implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) => x]

    The Covariant (and thus Invariant) for Function4

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

49.  implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) => x]

    The Covariant (and thus Invariant) for Function5

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

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

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

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

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

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

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

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

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

    The Covariant (and thus Invariant) instance for Future

59.  implicit val IdNonEmptyForEach: NonEmptyForEach[prelude.Id]

    The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for Id.

60.  implicit val IdentityInvariant: Invariant[Identity]
61.  implicit val InverseInvariant: Invariant[Inverse]
62.  implicit def IterableForEach[F[+a] <: Iterable[a]](implicit derive: DeriveBuildFrom[F]): ForEach[F]

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

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

    Definition Classes

    InvariantVersionSpecific

63.  implicit val ListForEach: ForEach[List]

    The ForEach (and thus Covariant and Invariant) instance for List.

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

    The ForEach (and thus Covariant and Invariant) instance for Map.

65.  implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]

    The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for NonEmptyChunk.

66.  implicit val OptionForEach: ForEach[Option]

    The ForEach (and thus Covariant and Invariant) instance for Option.

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

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

    The Covariant (and thus Invariant) instance for Schedule

69.  implicit val SetInvariant: Invariant[Set]

    The Invariant instance for Set

70.  implicit val TryCovariant: Covariant[Try]

    The Covariant (and thus Invariant) instance for Try

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

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

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

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

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

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

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

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

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

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

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

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

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

84.  implicit def Tuple2Covariant[T1]: Covariant[[+x](T1, x)]

    The Covariant (and thus Invariant) for Tuple2

85.  implicit def Tuple3Covariant[T1, T2]: Covariant[[+x](T1, T2, x)]

    The Covariant (and thus Invariant) for Tuple3

86.  implicit def Tuple4Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3, x)]

    The Covariant (and thus Invariant) for Tuple4

87.  implicit def Tuple5Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4, x)]

    The Covariant (and thus Invariant) for Tuple5

88.  implicit def Tuple6Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5, x)]

    The Covariant (and thus Invariant) for Tuple6

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

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

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

92.  implicit val VectorForEach: ForEach[Vector]

    The ForEach (and thus Covariant and Invariant) instance for Vector.

93.  implicit def ZIOContravariant[E, A]: Contravariant[[-x]ZIO[x, E, A]]

    The Contravariant (and thus Invariant) instance for ZIO.

    The Contravariant (and thus Invariant) instance for ZIO.

    Definition Classes

    LowPriorityInvariantImplicits

94.  implicit def ZIOCovariant[R, E]: Covariant[[+a]ZIO[R, E, a]]

    The Covariant (and thus Invariant) for ZIO

95.  implicit def ZIOFailureCovariant[R, A]: Covariant[[+e]Type[ZIO[R, e, A]]]

    The Covariant (and thus Invariant) for a failed ZIO

96.  implicit def ZLayerContravariant[E, ROut]: Contravariant[[-x]ZLayer[x, E, ROut]]

    The Contravariant (and thus Invariant) instance for ZLayer.

    The Contravariant (and thus Invariant) instance for ZLayer.

    Definition Classes

    LowPriorityInvariantImplicits

97.  implicit def ZLayerCovariant[R, E]: Covariant[[+rout]ZLayer[R, E, rout]]

    The Covariant (and thus Invariant) for ZLayer

98.  implicit def ZLayerFailureCovariant[R, Out]: Covariant[[+e]Type[ZLayer[R, e, Out]]]

    The Covariant (and thus Invariant) for a failed ZLayer

99.  implicit def ZManagedContravariant[E, A]: Contravariant[[-x]ZManaged[x, E, A]]

    The Contravariant (and thus Invariant) instance for ZManaged.

    The Contravariant (and thus Invariant) instance for ZManaged.

    Definition Classes

    LowPriorityInvariantImplicits

100.  implicit def ZManagedCovariant[R, E]: Covariant[[+a]ZManaged[R, E, a]]

     The Covariant (and thus Invariant) for ZManaged

101.  implicit def ZManagedFailureCovariant[R, A]: Covariant[[+e]Type[ZManaged[R, e, A]]]

     The Covariant (and thus Invariant) for a failed ZManaged

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

103.  implicit def ZQueueCovariant[RA, RB, EA, EB, A]: Covariant[[+b]ZQueue[RA, RB, EA, EB, A, b]]

     The Covariant (and thus Invariant) for ZQueue

104.  implicit def ZRefContravariant[EA, EB, B]: Contravariant[[-x]ZRef[EA, EB, x, B]]

     The Contravariant (and thus Invariant) instance for ZRef.

     The Contravariant (and thus Invariant) instance for ZRef.

     Definition Classes

     LowPriorityInvariantImplicits

105.  implicit def ZRefCovariant[EA, EB, A]: Covariant[[+b]ZRef[EA, EB, A, b]]

     The Covariant (and thus Invariant) for ZRef

106.  implicit def ZRefFailureInCovariant[EB, A, B]: Covariant[[+ea]Type[ZRef[ea, EB, A, B]]]

     The Covariant (and thus Invariant) for a failed ZRef on its input

107.  implicit def ZRefFailureOutCovariant[EA, A, B]: Covariant[[+eb]Type[ZRef[EA, eb, A, B]]]

     The Covariant (and thus Invariant) for a failed ZRef on its output

108.  implicit def ZRefMContravariant[RA, RB, EA, EB, B]: Contravariant[[-x]ZRefM[RA, RB, EA, EB, x, B]]

     The Contravariant (and thus Invariant) instance for ZRefM.

     The Contravariant (and thus Invariant) instance for ZRefM.

     Definition Classes

     LowPriorityInvariantImplicits

109.  implicit def ZRefMCovariant[RA, RB, EA, EB, A]: Covariant[[+b]ZRefM[RA, RB, EA, EB, A, b]]

     The Covariant (and thus Invariant) for ZRefM

110.  implicit def ZRefMFailureInACovariant[RA, RB, EB, A, B]: Covariant[[+ea]Type[ZRefM[RA, RB, ea, EB, A, B]]]

     The Covariant (and thus Invariant) for a failed ZRefM on its input

111.  implicit def ZRefMFailureOutCovariant[RA, RB, EA, A, B]: Covariant[[+eb]Type[ZRefM[RA, RB, EA, eb, A, B]]]

     The Covariant (and thus Invariant) for a failed ZRefM on its output

112.  implicit def ZSTMZivariantContravariant[E, A]: Contravariant[[-x]ZSTM[x, E, A]]

     The Contravariant (and thus Invariant) instance for ZSTM.

     The Contravariant (and thus Invariant) instance for ZSTM.

     Definition Classes

     LowPriorityInvariantImplicits

113.  implicit def ZSTMZivariantCovariant[R, E]: Covariant[[+o]ZSTM[R, E, o]]

     The Covariant (and thus Invariant) for ZSTM

114.  implicit def ZSTMZivariantFailureCovariant[R, O]: Covariant[[+e]Type[ZSTM[R, e, O]]]

     The Covariant (and thus Invariant) for a failed ZSTM

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

116.  implicit def ZStreamContravariant[E, A]: Contravariant[[-x]ZStream[x, E, A]]

     The Contravariant (and thus Invariant) instance for ZStream.

     The Contravariant (and thus Invariant) instance for ZStream.

     Definition Classes

     LowPriorityInvariantImplicits

117.  implicit def ZStreamCovariant[R, E]: Covariant[[+o]ZStream[R, E, o]]

     The Covariant (and thus Invariant) for ZStream

118.  implicit def ZStreamFailureCovariant[R, O]: Covariant[[+e]Type[ZStream[R, e, O]]]

     The Covariant (and thus Invariant) for a failed ZStream

119.  def apply[F[_]](implicit invariant: Invariant[F]): Invariant[F]
120.  final def asInstanceOf[T0]: T0

     Definition Classes

     Any

121.  def clone(): AnyRef

     Attributes

     protected[lang]

     Definition Classes

     AnyRef

     Annotations

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

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

     Definition Classes

     AnyRef

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

     Definition Classes

     AnyRef → Any

124.  def finalize(): Unit

     Attributes

     protected[lang]

     Definition Classes

     AnyRef

     Annotations

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

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

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

126.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

127.  final def isInstanceOf[T0]: Boolean

     Definition Classes

     Any

128.  final def ne(arg0: AnyRef): Boolean

     Definition Classes

     AnyRef

129.  final def notify(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

130.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

131.  final def synchronized[T0](arg0: => T0): T0

     Definition Classes

     AnyRef

132.  def toString(): String

     Definition Classes

     AnyRef → Any

133.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

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

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

     Definition Classes

     AnyRef

     Annotations

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

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

     Definition Classes

     AnyRef

     Annotations

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

136.  object DeriveBuildFrom

     Definition Classes

     InvariantVersionSpecific