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

Invariant

zio.prelude.Invariant
See theInvariant companion trait
object Invariant extends LowPriorityInvariantImplicits, InvariantVersionSpecific

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Invariant.type

Members list

Type members

Inherited classlikes

object DeriveBuildFrom

Attributes

Inherited from:
InvariantVersionSpecific
Supertypes
class Object
trait Matchable
class Any
trait DeriveBuildFrom[F[_]]

Attributes

Inherited from:
InvariantVersionSpecific
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_]](implicit invariant: Invariant[F]): Invariant[F]

Implicits

Implicits

implicit val AssociativeInvariant: Invariant[Associative]

The Invariant instance for Associative

The Invariant instance for Associative

Attributes

implicit def CauseCovariant: Covariant[Cause]

The Covariant (and thus Invariant) for Cause

The Covariant (and thus Invariant) for Cause

Attributes

implicit val ChunkForEach: ForEach[Chunk]

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

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

Attributes

implicit val CommutativeInvariant: Invariant[Commutative]

The Invariant instance for Commutative.

The Invariant instance for Commutative.

Attributes

implicit def ConstForEach[A]: ForEach[{ type ConstA = [B] =>> Const[A, B]; }#<none>]

The ForEach instance for Const.

The ForEach instance for Const.

Attributes

implicit def EitherFailureCovariant[R]: Covariant[{ type lambda = [l] =>> newtypeF.Type[Either[l, R]]; }#<none>]

The Covariant (and thus Invariant) for a failed Either

The Covariant (and thus Invariant) for a failed Either

Attributes

implicit def EitherForEach[E]: ForEach[{ type lambda = [a] =>> Either[E, a]; }#<none>] & Bicovariant[Either]

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

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

Attributes

implicit def ExitCovariant[E]: Covariant[{ type lambda = [a] =>> Exit[E, a]; }#<none>]

The Covariant (and thus Invariant) for Exit

The Covariant (and thus Invariant) for Exit

Attributes

implicit def ExitFailureCovariant[A]: Covariant[{ type lambda = [e] =>> newtypeF.Type[Exit[e, A]]; }#<none>]

The Covariant (and thus Invariant) for a failed Exit

The Covariant (and thus Invariant) for a failed Exit

Attributes

implicit def FiberCovariant[E]: Covariant[{ type lambda = [a] =>> Fiber[E, a]; }#<none>]

The Covariant (and thus Invariant) for Fiber

The Covariant (and thus Invariant) for Fiber

Attributes

implicit lazy val Function0Covariant: Covariant[Function0]

The Covariant (and thus Invariant) for Function0

The Covariant (and thus Invariant) for Function0

Attributes

implicit def Function10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) => x; }#<none>]

The Covariant (and thus Invariant) for Function10

The Covariant (and thus Invariant) for Function10

Attributes

implicit def Function11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) => x; }#<none>]

The Covariant (and thus Invariant) for Function11

The Covariant (and thus Invariant) for Function11

Attributes

implicit def Function12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) => x; }#<none>]

The Covariant (and thus Invariant) for Function12

The Covariant (and thus Invariant) for Function12

Attributes

implicit def Function13Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) => x; }#<none>]

The Covariant (and thus Invariant) for Function13

The Covariant (and thus Invariant) for Function13

Attributes

implicit def Function14Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) => x; }#<none>]

The Covariant (and thus Invariant) for Function14

The Covariant (and thus Invariant) for Function14

Attributes

implicit def Function15Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) => x; }#<none>]

The Covariant (and thus Invariant) for Function15

The Covariant (and thus Invariant) for Function15

Attributes

implicit def Function16Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) => x; }#<none>]

The Covariant (and thus Invariant) for Function16

The Covariant (and thus Invariant) for Function16

Attributes

implicit def Function17Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) => x; }#<none>]

The Covariant (and thus Invariant) for Function17

The Covariant (and thus Invariant) for Function17

Attributes

implicit def Function18Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) => x; }#<none>]

The Covariant (and thus Invariant) for Function18

The Covariant (and thus Invariant) for Function18

Attributes

implicit def Function19Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) => x; }#<none>]

The Covariant (and thus Invariant) for Function19

The Covariant (and thus Invariant) for Function19

Attributes

implicit def Function1Covariant[T]: Covariant[{ type lambda = [x] =>> T => x; }#<none>]

The Covariant (and thus Invariant) for Function1

The Covariant (and thus Invariant) for Function1

Attributes

implicit def Function20Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20) => x; }#<none>]

The Covariant (and thus Invariant) for Function20

The Covariant (and thus Invariant) for Function20

Attributes

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[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21) => x; }#<none>]

The Covariant (and thus Invariant) for Function21

The Covariant (and thus Invariant) for Function21

Attributes

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[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22) => x; }#<none>]

The Covariant (and thus Invariant) for Function22

The Covariant (and thus Invariant) for Function22

Attributes

implicit def Function2Covariant[T1, T2]: Covariant[{ type lambda = [x] =>> (T1, T2) => x; }#<none>]

The Covariant (and thus Invariant) for Function2

The Covariant (and thus Invariant) for Function2

Attributes

implicit def Function3Covariant[T1, T2, T3]: Covariant[{ type lambda = [x] =>> (T1, T2, T3) => x; }#<none>]

The Covariant (and thus Invariant) for Function3

The Covariant (and thus Invariant) for Function3

Attributes

implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4) => x; }#<none>]

The Covariant (and thus Invariant) for Function4

The Covariant (and thus Invariant) for Function4

Attributes

implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5) => x; }#<none>]

The Covariant (and thus Invariant) for Function5

The Covariant (and thus Invariant) for Function5

Attributes

implicit def Function6Covariant[T1, T2, T3, T4, T5, T6]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6) => x; }#<none>]

The Covariant (and thus Invariant) for Function6

The Covariant (and thus Invariant) for Function6

Attributes

implicit def Function7Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7) => x; }#<none>]

The Covariant (and thus Invariant) for Function7

The Covariant (and thus Invariant) for Function7

Attributes

implicit def Function8Covariant[T1, T2, T3, T4, T5, T6, T7, T8]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8) => x; }#<none>]

The Covariant (and thus Invariant) for Function8

The Covariant (and thus Invariant) for Function8

Attributes

implicit def Function9Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9) => x; }#<none>]

The Covariant (and thus Invariant) for Function9

The Covariant (and thus Invariant) for Function9

Attributes

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

The Covariant (and thus Invariant) instance for Future

The Covariant (and thus Invariant) instance for Future

Attributes

implicit val IdNonEmptyForEach: NonEmptyForEach[Id]

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

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

Attributes

implicit val IdentityInvariant: Invariant[Identity]

The Invariant instance for Identity

The Invariant instance for Identity

Attributes

implicit val InverseInvariant: Invariant[Inverse]

The Invariant instance for Inverse

The Invariant instance for Inverse

Attributes

implicit val ListForEach: ForEach[List]

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

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

Attributes

implicit def MapForEach[K]: ForEach[{ type lambda = [v] =>> Map[K, v]; }#<none>]

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

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

Attributes

implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]

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

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

Attributes

implicit val OptionForEach: ForEach[Option]

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

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

Attributes

implicit def ScheduleCovariant[R, A]: Covariant[{ type lambda = [b] =>> Schedule[R, A, b]; }#<none>]

The Covariant (and thus Invariant) instance for Schedule

The Covariant (and thus Invariant) instance for Schedule

Attributes

implicit val SetInvariant: Invariant[Set]

The Invariant instance for Set

The Invariant instance for Set

Attributes

implicit val TryCovariant: Covariant[Try]

The Covariant (and thus Invariant) instance for Try

The Covariant (and thus Invariant) instance for Try

Attributes

implicit def Tuple10Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, x); }#<none>]

The Covariant (and thus Invariant) for Tuple10

The Covariant (and thus Invariant) for Tuple10

Attributes

implicit def Tuple11Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, x); }#<none>]

The Covariant (and thus Invariant) for Tuple11

The Covariant (and thus Invariant) for Tuple11

Attributes

implicit def Tuple12Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, x); }#<none>]

The Covariant (and thus Invariant) for Tuple12

The Covariant (and thus Invariant) for Tuple12

Attributes

implicit def Tuple13Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, x); }#<none>]

The Covariant (and thus Invariant) for Tuple13

The Covariant (and thus Invariant) for Tuple13

Attributes

implicit def Tuple14Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, x); }#<none>]

The Covariant (and thus Invariant) for Tuple14

The Covariant (and thus Invariant) for Tuple14

Attributes

implicit def Tuple15Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, x); }#<none>]

The Covariant (and thus Invariant) for Tuple15

The Covariant (and thus Invariant) for Tuple15

Attributes

implicit def Tuple16Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, x); }#<none>]

The Covariant (and thus Invariant) for Tuple16

The Covariant (and thus Invariant) for Tuple16

Attributes

implicit def Tuple17Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, x); }#<none>]

The Covariant (and thus Invariant) for Tuple17

The Covariant (and thus Invariant) for Tuple17

Attributes

implicit def Tuple18Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, x); }#<none>]

The Covariant (and thus Invariant) for Tuple18

The Covariant (and thus Invariant) for Tuple18

Attributes

implicit def Tuple19Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, x); }#<none>]

The Covariant (and thus Invariant) for Tuple19

The Covariant (and thus Invariant) for Tuple19

Attributes

implicit def Tuple20Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, x); }#<none>]

The Covariant (and thus Invariant) for Tuple20

The Covariant (and thus Invariant) for Tuple20

Attributes

implicit def Tuple21Covariant[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, x); }#<none>]

The Covariant (and thus Invariant) for Tuple21

The Covariant (and thus Invariant) for Tuple21

Attributes

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[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, x); }#<none>]

The Covariant (and thus Invariant) for Tuple22

The Covariant (and thus Invariant) for Tuple22

Attributes

implicit def Tuple2Covariant[T1]: Covariant[{ type lambda = [x] =>> (T1, x); }#<none>]

The Covariant (and thus Invariant) for Tuple2

The Covariant (and thus Invariant) for Tuple2

Attributes

implicit def Tuple3Covariant[T1, T2]: Covariant[{ type lambda = [x] =>> (T1, T2, x); }#<none>]

The Covariant (and thus Invariant) for Tuple3

The Covariant (and thus Invariant) for Tuple3

Attributes

implicit def Tuple4Covariant[T1, T2, T3]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, x); }#<none>]

The Covariant (and thus Invariant) for Tuple4

The Covariant (and thus Invariant) for Tuple4

Attributes

implicit def Tuple5Covariant[T1, T2, T3, T4]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, x); }#<none>]

The Covariant (and thus Invariant) for Tuple5

The Covariant (and thus Invariant) for Tuple5

Attributes

implicit def Tuple6Covariant[T1, T2, T3, T4, T5]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, x); }#<none>]

The Covariant (and thus Invariant) for Tuple6

The Covariant (and thus Invariant) for Tuple6

Attributes

implicit def Tuple7Covariant[T1, T2, T3, T4, T5, T6]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, x); }#<none>]

The Covariant (and thus Invariant) for Tuple7

The Covariant (and thus Invariant) for Tuple7

Attributes

implicit def Tuple8Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, x); }#<none>]

The Covariant (and thus Invariant) for Tuple8

The Covariant (and thus Invariant) for Tuple8

Attributes

implicit def Tuple9Covariant[T1, T2, T3, T4, T5, T6, T7, T8]: Covariant[{ type lambda = [x] =>> (T1, T2, T3, T4, T5, T6, T7, T8, x); }#<none>]

The Covariant (and thus Invariant) for Tuple9

The Covariant (and thus Invariant) for Tuple9

Attributes

implicit val VectorForEach: ForEach[Vector]

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

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

Attributes

implicit def ZIOCovariant[R, E]: Covariant[{ type lambda = [a] =>> ZIO[R, E, a]; }#<none>]

The Covariant (and thus Invariant) for ZIO

The Covariant (and thus Invariant) for ZIO

Attributes

implicit def ZIOFailureCovariant[R, A]: Covariant[{ type lambda = [e] =>> newtypeF.Type[ZIO[R, e, A]]; }#<none>]

The Covariant (and thus Invariant) for a failed ZIO

The Covariant (and thus Invariant) for a failed ZIO

Attributes

implicit def ZSTMZivariantCovariant[R, E]: Covariant[{ type lambda = [o] =>> ZSTM[R, E, o]; }#<none>]

The Covariant (and thus Invariant) for ZSTM

The Covariant (and thus Invariant) for ZSTM

Attributes

implicit def ZSTMZivariantFailureCovariant[R, O]: Covariant[{ type lambda = [e] =>> newtypeF.Type[ZSTM[R, e, O]]; }#<none>]

The Covariant (and thus Invariant) for a failed ZSTM

The Covariant (and thus Invariant) for a failed ZSTM

Attributes

implicit def ZStreamCovariant[R, E]: Covariant[{ type lambda = [o] =>> ZStream[R, E, o]; }#<none>]

The Covariant (and thus Invariant) for ZStream

The Covariant (and thus Invariant) for ZStream

Attributes

implicit def ZStreamFailureCovariant[R, O]: Covariant[{ type lambda = [e] =>> newtypeF.Type[ZStream[R, e, O]]; }#<none>]

The Covariant (and thus Invariant) for a failed ZStream

The Covariant (and thus Invariant) for a failed ZStream

Attributes

Inherited 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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
implicit def IterableForEach[F <: (Iterable)](implicit derive: DeriveBuildFrom[F]): ForEach[F]

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

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

Attributes

Inherited from:
InvariantVersionSpecific
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

Inherited from:
LowPriorityInvariantImplicits
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

Inherited from:
LowPriorityInvariantImplicits
Generated with