Packages

object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Invariant
  2. InvariantVersionSpecific
  3. LowPriorityInvariantImplicits
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait DeriveBuildFrom[F[+_]] extends AnyRef
    Definition Classes
    InvariantVersionSpecific

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]

    The Invariant instance for 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]

    The Invariant instance for 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 lazy val Function0Covariant: Covariant[Function0]

    The Covariant (and thus Invariant) for Function0

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

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

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

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

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

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

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

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

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

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

  35. 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
  36. implicit def Function1Covariant[T]: Covariant[[+x](T) => x]

    The Covariant (and thus Invariant) for Function1

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

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

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

  43. 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
  44. implicit def Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) => x]

    The Covariant (and thus Invariant) for Function2

  45. 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
  46. implicit def Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) => x]

    The Covariant (and thus Invariant) for Function3

  47. 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
  48. implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) => x]

    The Covariant (and thus Invariant) for Function4

  49. 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
  50. implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) => x]

    The Covariant (and thus Invariant) for Function5

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

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

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

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

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

    The Covariant (and thus Invariant) instance for Future

  60. implicit val IdNonEmptyForEach: NonEmptyForEach[prelude.Id]

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

  61. implicit val IdentityInvariant: Invariant[Identity]

    The Invariant instance for Identity

  62. implicit val InverseInvariant: Invariant[Inverse]

    The Invariant instance for Inverse

  63. 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
  64. implicit val ListForEach: ForEach[List]

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

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

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

  66. implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]

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

  67. implicit val OptionForEach: ForEach[Option]

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

  68. 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
  69. implicit def ScheduleCovariant[R, A]: Covariant[[+b]Schedule[R, A, b]]

    The Covariant (and thus Invariant) instance for Schedule

  70. implicit val SetInvariant: Invariant[Set]

    The Invariant instance for Set

  71. implicit val TryCovariant: Covariant[Try]

    The Covariant (and thus Invariant) instance for Try

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    The Covariant (and thus Invariant) for Tuple2

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

    The Covariant (and thus Invariant) for Tuple3

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

    The Covariant (and thus Invariant) for Tuple4

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

    The Covariant (and thus Invariant) for Tuple5

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

    The Covariant (and thus Invariant) for Tuple6

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

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

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

  93. implicit val VectorForEach: ForEach[Vector]

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

  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 ZSTMZivariantCovariant[R, E]: Covariant[[+o]ZSTM[R, E, o]]

    The Covariant (and thus Invariant) for ZSTM

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

    The Covariant (and thus Invariant) for a failed ZSTM

  98. 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
  99. implicit def ZStreamCovariant[R, E]: Covariant[[+o]ZStream[R, E, o]]

    The Covariant (and thus Invariant) for ZStream

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

    The Covariant (and thus Invariant) for a failed ZStream

  101. def apply[F[_]](implicit invariant: Invariant[F]): Invariant[F]
  102. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  103. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  104. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  105. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  106. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  107. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  108. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  109. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  110. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  111. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  112. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  113. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  114. def toString(): String
    Definition Classes
    AnyRef → Any
  115. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  116. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  117. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  118. object DeriveBuildFrom
    Definition Classes
    InvariantVersionSpecific

Inherited from AnyRef

Inherited from Any

Ungrouped