Packages

t

zio.prelude

LowPriorityInvariantImplicits

trait LowPriorityInvariantImplicits extends AnyRef

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LowPriorityInvariantImplicits
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

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

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

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

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

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

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

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

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

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

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

  11. implicit def Function1Contravariant[B]: Contravariant[[-x](x) => B]

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

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

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

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

  15. implicit def Function2Contravariant[B, C]: Contravariant[[-x](x, B) => C]

    The Contravariant (and thus Invariant) instance for Function2.

  16. implicit def Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) => D]

    The Contravariant (and thus Invariant) instance for Function3.

  17. implicit def Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) => E]

    The Contravariant (and thus Invariant) instance for Function4.

  18. implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) => F]

    The Contravariant (and thus Invariant) instance for Function5.

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

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

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

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

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

    The Contravariant (and thus Invariant) instance for Schedule.

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

    The Contravariant (and thus Invariant) instance for ZIO.

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

    The Contravariant (and thus Invariant) instance for ZLayer.

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

    The Contravariant (and thus Invariant) instance for ZManaged.

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

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

    The Contravariant (and thus Invariant) instance for ZRef.

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

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

    The Contravariant (and thus Invariant) instance for ZSTM.

  31. implicit def ZSinkContravariant[R, E, L, Z]: Contravariant[[-x]ZSink[R, E, x, L, Z]]

    The Contravariant (and thus Invariant) instance for ZSink.

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

    The Contravariant (and thus Invariant) instance for ZStream.