object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific
- Alphabetic
- By Inheritance
- Invariant
- InvariantVersionSpecific
- LowPriorityInvariantImplicits
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
DeriveCanBuildFrom[F[+_]] extends AnyRef
- Definition Classes
- InvariantVersionSpecific
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit val AssociativeInvariant: Invariant[Associative]
-
implicit
def
CauseCovariant: Covariant[Cause]
The
Covariant(and thusInvariant) forCause -
implicit
val
ChunkForEach: ForEach[Chunk]
The
ForEach(and thusCovariantandInvariant) forChunk. - implicit val CommutativeInvariant: Invariant[Commutative]
-
implicit
def
ConstForEach[A]: ForEach[[+B]Type[A]]
The
ForEachinstance forConst. -
implicit
def
EitherFailureCovariant[R]: Covariant[[+l]Type[Either[l, R]]]
The
Covariant(and thusInvariant) for a failedEither -
implicit
def
EitherForEach[E]: ForEach[[+a]Either[E, a]] with Bicovariant[Either]
The
ForEach(and thusCovariantandInvariant) forEither. -
implicit
def
ExitCovariant[E]: Covariant[[+a]Exit[E, a]]
The
Covariant(and thusInvariant) forExit -
implicit
def
ExitFailureCovariant[A]: Covariant[[+e]Type[Exit[e, A]]]
The
Covariant(and thusInvariant) for a failedExit -
implicit
def
FiberCovariant[E]: Covariant[[+a]Fiber[E, a]]
The
Covariant(and thusInvariant) forFiber -
implicit
lazy val
Function0Covariant: Covariant[Function0]
The
Covariant(and thusInvariant) forFunction0 -
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.The
Contravariant(and thusInvariant) instance forFunction10.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction11.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction12.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction13.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction14.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction15.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction16.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction17.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction18.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction10.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) forFunction19 -
implicit
def
Function1Contravariant[B]: Contravariant[[-x](x) ⇒ B]
The
Contravariant(and thusInvariant) instance forFunction1[-A, +B] : [*, *] => *.The
Contravariant(and thusInvariant) instance forFunction1[-A, +B] : [*, *] => *.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function1Covariant[T]: Covariant[[+x](T) ⇒ x]
The
Covariant(and thusInvariant) forFunction1 -
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.The
Contravariant(and thusInvariant) instance forFunction20.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction21.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction22.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) forFunction22 -
implicit
def
Function2Contravariant[B, C]: Contravariant[[-x](x, B) ⇒ C]
The
Contravariant(and thusInvariant) instance forFunction2.The
Contravariant(and thusInvariant) instance forFunction2.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) ⇒ x]
The
Covariant(and thusInvariant) forFunction2 -
implicit
def
Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) ⇒ D]
The
Contravariant(and thusInvariant) instance forFunction3.The
Contravariant(and thusInvariant) instance forFunction3.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) ⇒ x]
The
Covariant(and thusInvariant) forFunction3 -
implicit
def
Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) ⇒ E]
The
Contravariant(and thusInvariant) instance forFunction4.The
Contravariant(and thusInvariant) instance forFunction4.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) ⇒ x]
The
Covariant(and thusInvariant) forFunction4 -
implicit
def
Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) ⇒ F]
The
Contravariant(and thusInvariant) instance forFunction5.The
Contravariant(and thusInvariant) instance forFunction5.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) ⇒ x]
The
Covariant(and thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction6.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function6Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6) ⇒ x]
The
Covariant(and thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction7.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
Function7Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7) ⇒ x]
The
Covariant(and thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction8.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) 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.The
Contravariant(and thusInvariant) instance forFunction9.- Definition Classes
- LowPriorityInvariantImplicits
-
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 thusInvariant) forFunction9 -
implicit
def
FutureCovariant(implicit ec: ExecutionContext): Covariant[Future]
The
Covariant(and thusInvariant) instance forFuture -
implicit
val
IdNonEmptyForEach: NonEmptyForEach[prelude.Id]
The
NonEmptyForEach(and thusForEach,CovariantandInvariant) instance forId. - implicit val IdentityInvariant: Invariant[Identity]
- implicit val InverseInvariant: Invariant[Inverse]
-
implicit
def
IterableForEach[F[+a] <: Iterable[a]](implicit derive: DeriveCanBuildFrom[F]): ForEach[F]
Derives a
ForEach[F]from anIterable[F].Derives a
ForEach[F]from anIterable[F].- Definition Classes
- InvariantVersionSpecific
-
implicit
val
ListForEach: ForEach[List]
The
ForEach(and thusCovariantandInvariant) instance forList. -
implicit
def
MapForEach[K]: ForEach[[+v]Map[K, v]]
The
ForEach(and thusCovariantandInvariant) instance forMap. -
implicit
val
NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]
The
NonEmptyForEach(and thusForEach,CovariantandInvariant) instance forNonEmptyChunk. -
implicit
val
OptionForEach: ForEach[Option]
The
ForEach(and thusCovariantandInvariant) instance forOption. -
implicit
def
ScheduleContravariant[R, B]: Contravariant[[-x]Schedule[R, x, B]]
The
Contravariant(and thusInvariant) instance forSchedule.The
Contravariant(and thusInvariant) instance forSchedule.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
ScheduleCovariant[R, A]: Covariant[[+b]Schedule[R, A, b]]
The
Covariant(and thusInvariant) instance forSchedule -
implicit
val
SetInvariant: Invariant[Set]
The
Invariantinstance forSet -
implicit
val
TryCovariant: Covariant[Try]
The
Covariant(and thusInvariant) instance forTry -
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 thusInvariant) forTuple10 -
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 thusInvariant) forTuple11 -
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 thusInvariant) forTuple12 -
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 thusInvariant) forTuple13 -
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 thusInvariant) forTuple14 -
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 thusInvariant) forTuple15 -
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 thusInvariant) forTuple16 -
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 thusInvariant) forTuple17 -
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 thusInvariant) forTuple18 -
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 thusInvariant) forTuple19 -
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 thusInvariant) forTuple20 -
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 thusInvariant) forTuple21 -
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 thusInvariant) forTuple22 -
implicit
def
Tuple2Covariant[T1]: Covariant[[+x](T1, x)]
The
Covariant(and thusInvariant) forTuple2 -
implicit
def
Tuple3Covariant[T1, T2]: Covariant[[+x](T1, T2, x)]
The
Covariant(and thusInvariant) forTuple3 -
implicit
def
Tuple4Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3, x)]
The
Covariant(and thusInvariant) forTuple4 -
implicit
def
Tuple5Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4, x)]
The
Covariant(and thusInvariant) forTuple5 -
implicit
def
Tuple6Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5, x)]
The
Covariant(and thusInvariant) forTuple6 -
implicit
def
Tuple7Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6, x)]
The
Covariant(and thusInvariant) forTuple7 -
implicit
def
Tuple8Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, x)]
The
Covariant(and thusInvariant) forTuple8 -
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 thusInvariant) forTuple9 -
implicit
val
VectorForEach: ForEach[Vector]
The
ForEach(and thusCovariantandInvariant) instance forVector. -
implicit
def
ZIOCovariant[R, E]: Covariant[[+a]ZIO[R, E, a]]
The
Covariant(and thusInvariant) forZIO -
implicit
def
ZIOFailureCovariant[R, A]: Covariant[[+e]Type[ZIO[R, e, A]]]
The
Covariant(and thusInvariant) for a failedZIO -
implicit
def
ZSTMZivariantCovariant[R, E]: Covariant[[+o]ZSTM[R, E, o]]
The
Covariant(and thusInvariant) forZSTM -
implicit
def
ZSTMZivariantFailureCovariant[R, O]: Covariant[[+e]Type[ZSTM[R, e, O]]]
The
Covariant(and thusInvariant) for a failedZSTM -
implicit
def
ZSinkContravariant[R, E, L, Z]: Contravariant[[-x]ZSink[R, E, x, L, Z]]
The
Contravariant(and thusInvariant) instance forZSink.The
Contravariant(and thusInvariant) instance forZSink.- Definition Classes
- LowPriorityInvariantImplicits
-
implicit
def
ZStreamCovariant[R, E]: Covariant[[+o]ZStream[R, E, o]]
The
Covariant(and thusInvariant) forZStream -
implicit
def
ZStreamFailureCovariant[R, O]: Covariant[[+e]Type[ZStream[R, e, O]]]
The
Covariant(and thusInvariant) for a failedZStream - def apply[F[_]](implicit invariant: Invariant[F]): Invariant[F]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
object
DeriveCanBuildFrom
- Definition Classes
- InvariantVersionSpecific