zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/LowPriorityInvariantImplicits

LowPriorityInvariantImplicits

zio.prelude.LowPriorityInvariantImplicits
trait LowPriorityInvariantImplicits

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Invariant

Members list

Implicits

Implicits

implicit def Function10Contravariant[B, C, D, E, F, G, H, I, J, K]: Contravariant[{ type lambda = Function10; }#<none>]

The Contravariant (and thus Invariant) instance for Function10.

The Contravariant (and thus Invariant) instance for Function10.

Attributes

implicit def Function11Contravariant[B, C, D, E, F, G, H, I, J, K, L]: Contravariant[{ type lambda = Function11; }#<none>]

The Contravariant (and thus Invariant) instance for Function11.

The Contravariant (and thus Invariant) instance for Function11.

Attributes

implicit def Function12Contravariant[B, C, D, E, F, G, H, I, J, K, L, M]: Contravariant[{ type lambda = Function12; }#<none>]

The Contravariant (and thus Invariant) instance for Function12.

The Contravariant (and thus Invariant) instance for Function12.

Attributes

implicit def Function13Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N]: Contravariant[{ type lambda = Function13; }#<none>]

The Contravariant (and thus Invariant) instance for Function13.

The Contravariant (and thus Invariant) instance for Function13.

Attributes

implicit def Function14Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O]: Contravariant[{ type lambda = Function14; }#<none>]

The Contravariant (and thus Invariant) instance for Function14.

The Contravariant (and thus Invariant) instance for Function14.

Attributes

implicit def Function15Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P]: Contravariant[{ type lambda = Function15; }#<none>]

The Contravariant (and thus Invariant) instance for Function15.

The Contravariant (and thus Invariant) instance for Function15.

Attributes

implicit def Function16Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q]: Contravariant[{ type lambda = Function16; }#<none>]

The Contravariant (and thus Invariant) instance for Function16.

The Contravariant (and thus Invariant) instance for Function16.

Attributes

implicit def Function17Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R]: Contravariant[{ type lambda = Function17; }#<none>]

The Contravariant (and thus Invariant) instance for Function17.

The Contravariant (and thus Invariant) instance for Function17.

Attributes

implicit def Function18Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S]: Contravariant[{ type lambda = Function18; }#<none>]

The Contravariant (and thus Invariant) instance for Function18.

The Contravariant (and thus Invariant) instance for Function18.

Attributes

implicit def Function19Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T]: Contravariant[{ type lambda = Function19; }#<none>]

The Contravariant (and thus Invariant) instance for Function10.

The Contravariant (and thus Invariant) instance for Function10.

Attributes

implicit def Function1Contravariant[B]: Contravariant[{ type lambda = Function1; }#<none>]

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

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

Attributes

implicit def Function20Contravariant[B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U]: Contravariant[{ type lambda = Function20; }#<none>]

The Contravariant (and thus Invariant) instance for Function20.

The Contravariant (and thus Invariant) instance for Function20.

Attributes

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[{ type lambda = Function21; }#<none>]

The Contravariant (and thus Invariant) instance for Function21.

The Contravariant (and thus Invariant) instance for Function21.

Attributes

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[{ type lambda = Function22; }#<none>]

The Contravariant (and thus Invariant) instance for Function22.

The Contravariant (and thus Invariant) instance for Function22.

Attributes

implicit def Function2Contravariant[B, C]: Contravariant[{ type lambda = Function2; }#<none>]

The Contravariant (and thus Invariant) instance for Function2.

The Contravariant (and thus Invariant) instance for Function2.

Attributes

implicit def Function3Contravariant[B, C, D]: Contravariant[{ type lambda = Function3; }#<none>]

The Contravariant (and thus Invariant) instance for Function3.

The Contravariant (and thus Invariant) instance for Function3.

Attributes

implicit def Function4Contravariant[B, C, D, E]: Contravariant[{ type lambda = Function4; }#<none>]

The Contravariant (and thus Invariant) instance for Function4.

The Contravariant (and thus Invariant) instance for Function4.

Attributes

implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[{ type lambda = Function5; }#<none>]

The Contravariant (and thus Invariant) instance for Function5.

The Contravariant (and thus Invariant) instance for Function5.

Attributes

implicit def Function6Contravariant[B, C, D, E, F, G]: Contravariant[{ type lambda = Function6; }#<none>]

The Contravariant (and thus Invariant) instance for Function6.

The Contravariant (and thus Invariant) instance for Function6.

Attributes

implicit def Function7Contravariant[B, C, D, E, F, G, H]: Contravariant[{ type lambda = Function7; }#<none>]

The Contravariant (and thus Invariant) instance for Function7.

The Contravariant (and thus Invariant) instance for Function7.

Attributes

implicit def Function8Contravariant[B, C, D, E, F, G, H, I]: Contravariant[{ type lambda = Function8; }#<none>]

The Contravariant (and thus Invariant) instance for Function8.

The Contravariant (and thus Invariant) instance for Function8.

Attributes

implicit def Function9Contravariant[B, C, D, E, F, G, H, I, J]: Contravariant[{ type lambda = Function9; }#<none>]

The Contravariant (and thus Invariant) instance for Function9.

The Contravariant (and thus Invariant) instance for Function9.

Attributes

implicit def ScheduleContravariant[R, B]: Contravariant[{ type lambda = [x] =>> Schedule[R, x, B]; }#<none>]

The Contravariant (and thus Invariant) instance for Schedule.

The Contravariant (and thus Invariant) instance for Schedule.

Attributes

implicit def ZSinkContravariant[R, E, L, Z]: Contravariant[{ type lambda = [x] =>> ZSink[R, E, x, L, Z]; }#<none>]

The Contravariant (and thus Invariant) instance for ZSink.

The Contravariant (and thus Invariant) instance for ZSink.

Attributes

Generated with