trait LowPriorityInvariantImplicits extends AnyRef
- Alphabetic
- By Inheritance
- LowPriorityInvariantImplicits
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- 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 thusInvariant
) instance forFunction10
. - 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 thusInvariant
) instance forFunction11
. - 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 thusInvariant
) instance forFunction12
. - 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 thusInvariant
) instance forFunction13
. - 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 thusInvariant
) instance forFunction14
. - 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 thusInvariant
) instance forFunction15
. - 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 thusInvariant
) instance forFunction16
. - 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 thusInvariant
) instance forFunction17
. - 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 thusInvariant
) instance forFunction18
. - 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 thusInvariant
) instance forFunction10
. - implicit def Function1Contravariant[B]: Contravariant[[-x](x) => B]
The
Contravariant
(and thusInvariant
) instance forFunction1[-A, +B] : [*, *] => *
. - 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 thusInvariant
) instance forFunction20
. - 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 thusInvariant
) instance forFunction21
. - 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 thusInvariant
) instance forFunction22
. - implicit def Function2Contravariant[B, C]: Contravariant[[-x](x, B) => C]
The
Contravariant
(and thusInvariant
) instance forFunction2
. - implicit def Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) => D]
The
Contravariant
(and thusInvariant
) instance forFunction3
. - implicit def Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) => E]
The
Contravariant
(and thusInvariant
) instance forFunction4
. - implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) => F]
The
Contravariant
(and thusInvariant
) instance forFunction5
. - implicit def Function6Contravariant[B, C, D, E, F, G]: Contravariant[[-x](x, B, C, D, E, F) => G]
The
Contravariant
(and thusInvariant
) instance forFunction6
. - implicit def Function7Contravariant[B, C, D, E, F, G, H]: Contravariant[[-x](x, B, C, D, E, F, G) => H]
The
Contravariant
(and thusInvariant
) instance forFunction7
. - 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 thusInvariant
) instance forFunction8
. - 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 thusInvariant
) instance forFunction9
. - implicit def ScheduleContravariant[R, B]: Contravariant[[-x]Schedule[R, x, B]]
The
Contravariant
(and thusInvariant
) instance forSchedule
. - implicit def ZIOContravariant[E, A]: Contravariant[[-x]ZIO[x, E, A]]
The
Contravariant
(and thusInvariant
) instance forZIO
. - implicit def ZLayerContravariant[E, ROut]: Contravariant[[-x]ZLayer[x, E, ROut]]
The
Contravariant
(and thusInvariant
) instance forZLayer
. - implicit def ZManagedContravariant[E, A]: Contravariant[[-x]ZManaged[x, E, A]]
The
Contravariant
(and thusInvariant
) instance forZManaged
. - implicit def ZQueueContravariant[RA, EA, RB, EB, B]: Contravariant[[-x]ZQueue[RA, EA, RB, EB, x, B]]
The
Contravariant
(and thusInvariant
) instance forZQueue
. - implicit def ZRefContravariant[EA, EB, B]: Contravariant[[-x]ZRef[EA, EB, x, B]]
The
Contravariant
(and thusInvariant
) instance forZRef
. - implicit def ZRefMContravariant[RA, RB, EA, EB, B]: Contravariant[[-x]ZRefM[RA, RB, EA, EB, x, B]]
The
Contravariant
(and thusInvariant
) instance forZRefM
. - implicit def ZSTMZivariantContravariant[E, A]: Contravariant[[-x]ZSTM[x, E, A]]
The
Contravariant
(and thusInvariant
) instance forZSTM
. - implicit def ZSinkContravariant[R, E, L, Z]: Contravariant[[-x]ZSink[R, E, x, L, Z]]
The
Contravariant
(and thusInvariant
) instance forZSink
. - implicit def ZStreamContravariant[E, A]: Contravariant[[-x]ZStream[x, E, A]]
The
Contravariant
(and thusInvariant
) instance forZStream
.