Invariant

Companion trait Invariant

object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific

Linear Supertypes

InvariantVersionSpecific, LowPriorityInvariantImplicits, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

Invariant
InvariantVersionSpecific
LowPriorityInvariantImplicits
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Type Members

trait DeriveBuildFrom[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]
The Invariant instance for Associative
implicit def CauseCovariant: Covariant[Cause]
The Covariant (and thus Invariant) for Cause
implicit val ChunkForEach: ForEach[Chunk]
The ForEach (and thus Covariant and Invariant) for Chunk.
implicit val CommutativeInvariant: Invariant[Commutative]
The Invariant instance for Commutative.
implicit def ConfigCovariant[A]: Covariant[Config]
The Covariant instance for Config.
implicit def ConstForEach[A]: ForEach[[+B]Type[A]]
The ForEach instance for Const.
implicit def EitherFailureCovariant[R]: Covariant[[+l]Type[Either[l, R]]]
The Covariant (and thus Invariant) for a failed Either
implicit def EitherForEach[E]: ForEach[[+a]Either[E, a]] with Bicovariant[Either]
The ForEach (and thus Covariant and Invariant) for Either.
implicit def ExitCovariant[E]: Covariant[[+a]Exit[E, a]]
The Covariant (and thus Invariant) for Exit
implicit def ExitFailureCovariant[A]: Covariant[[+e]Type[Exit[e, A]]]
The Covariant (and thus Invariant) for a failed Exit
implicit def FiberCovariant[E]: Covariant[[+a]Fiber[E, a]]
The Covariant (and thus Invariant) for Fiber
implicit lazy val Function0Covariant: Covariant[Function0]
The Covariant (and thus Invariant) for Function0
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.
The Contravariant (and thus Invariant) instance for Function10.
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 thus Invariant) for Function10
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.
The Contravariant (and thus Invariant) instance for Function11.
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 thus Invariant) for Function11
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.
The Contravariant (and thus Invariant) instance for Function12.
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 thus Invariant) for Function12
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.
The Contravariant (and thus Invariant) instance for Function13.
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 thus Invariant) for Function13
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.
The Contravariant (and thus Invariant) instance for Function14.
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 thus Invariant) for Function14
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.
The Contravariant (and thus Invariant) instance for Function15.
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 thus Invariant) for Function15
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.
The Contravariant (and thus Invariant) instance for Function16.
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 thus Invariant) for Function16
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.
The Contravariant (and thus Invariant) instance for Function17.
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 thus Invariant) for Function17
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.
The Contravariant (and thus Invariant) instance for Function18.
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 thus Invariant) for Function18
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.
The Contravariant (and thus Invariant) instance for Function10.
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 thus Invariant) for Function19
implicit def Function1Contravariant[B]: Contravariant[[-x](x) => B]
The Contravariant (and thus Invariant) instance for Function1[-A, +B] : [*, *] => *.
The Contravariant (and thus Invariant) instance for Function1[-A, +B] : [*, *] => *.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function1Covariant[T]: Covariant[[+x](T) => x]
The Covariant (and thus Invariant) for Function1
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.
The Contravariant (and thus Invariant) instance for Function20.
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 thus Invariant) for Function20
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.
The Contravariant (and thus Invariant) instance for Function21.
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 thus Invariant) for Function21
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.
The Contravariant (and thus Invariant) instance for Function22.
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 thus Invariant) for Function22
implicit def Function2Contravariant[B, C]: Contravariant[[-x](x, B) => C]
The Contravariant (and thus Invariant) instance for Function2.
The Contravariant (and thus Invariant) instance for Function2.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function2Covariant[T1, T2]: Covariant[[+x](T1, T2) => x]
The Covariant (and thus Invariant) for Function2
implicit def Function3Contravariant[B, C, D]: Contravariant[[-x](x, B, C) => D]
The Contravariant (and thus Invariant) instance for Function3.
The Contravariant (and thus Invariant) instance for Function3.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function3Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3) => x]
The Covariant (and thus Invariant) for Function3
implicit def Function4Contravariant[B, C, D, E]: Contravariant[[-x](x, B, C, D) => E]
The Contravariant (and thus Invariant) instance for Function4.
The Contravariant (and thus Invariant) instance for Function4.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function4Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4) => x]
The Covariant (and thus Invariant) for Function4
implicit def Function5Contravariant[B, C, D, E, F]: Contravariant[[-x](x, B, C, D, E) => F]
The Contravariant (and thus Invariant) instance for Function5.
The Contravariant (and thus Invariant) instance for Function5.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function5Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5) => x]
The Covariant (and thus Invariant) for Function5
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.
The Contravariant (and thus Invariant) instance for Function6.
Definition Classes
LowPriorityInvariantImplicits
implicit def Function6Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6) => x]
The Covariant (and thus Invariant) for Function6
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.
The Contravariant (and thus Invariant) instance for Function7.
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 thus Invariant) for Function7
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.
The Contravariant (and thus Invariant) instance for Function8.
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 thus Invariant) for Function8
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.
The Contravariant (and thus Invariant) instance for Function9.
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 thus Invariant) for Function9
implicit def FutureCovariant(implicit ec: ExecutionContext): Covariant[Future]
The Covariant (and thus Invariant) instance for Future
implicit val IdNonEmptyForEach: NonEmptyForEach[prelude.Id]
The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for Id.
implicit val IdentityInvariant: Invariant[Identity]
The Invariant instance for Identity
implicit val InverseInvariant: Invariant[Inverse]
The Invariant instance for Inverse
implicit def IterableForEach[F[+a] <: Iterable[a]](implicit derive: DeriveBuildFrom[F]): ForEach[F]
Derives a ForEach[F] from an Iterable[F].
Derives a ForEach[F] from an Iterable[F].
Definition Classes
InvariantVersionSpecific
implicit val ListForEach: ForEach[List]
The ForEach (and thus Covariant and Invariant) instance for List.
implicit def MapForEach[K]: ForEach[[+v]Map[K, v]]
The ForEach (and thus Covariant and Invariant) instance for Map.
implicit val NonEmptyChunkNonEmptyForEach: NonEmptyForEach[NonEmptyChunk]
The NonEmptyForEach (and thus ForEach, Covariant and Invariant) instance for NonEmptyChunk.
implicit val OptionForEach: ForEach[Option]
The ForEach (and thus Covariant and Invariant) instance for Option.
implicit def ScheduleContravariant[R, B]: Contravariant[[-x]Schedule[R, x, B]]
The Contravariant (and thus Invariant) instance for Schedule.
The Contravariant (and thus Invariant) instance for Schedule.
Definition Classes
LowPriorityInvariantImplicits
implicit def ScheduleCovariant[R, A]: Covariant[[+b]Schedule[R, A, b]]
The Covariant (and thus Invariant) instance for Schedule
implicit val SetInvariant: Invariant[Set]
The Invariant instance for Set
implicit val TryCovariant: Covariant[Try]
The Covariant (and thus Invariant) instance for Try
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 thus Invariant) for Tuple10
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 thus Invariant) for Tuple11
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 thus Invariant) for Tuple12
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 thus Invariant) for Tuple13
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 thus Invariant) for Tuple14
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 thus Invariant) for Tuple15
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 thus Invariant) for Tuple16
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 thus Invariant) for Tuple17
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 thus Invariant) for Tuple18
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 thus Invariant) for Tuple19
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 thus Invariant) for Tuple20
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 thus Invariant) for Tuple21
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 thus Invariant) for Tuple22
implicit def Tuple2Covariant[T1]: Covariant[[+x](T1, x)]
The Covariant (and thus Invariant) for Tuple2
implicit def Tuple3Covariant[T1, T2]: Covariant[[+x](T1, T2, x)]
The Covariant (and thus Invariant) for Tuple3
implicit def Tuple4Covariant[T1, T2, T3]: Covariant[[+x](T1, T2, T3, x)]
The Covariant (and thus Invariant) for Tuple4
implicit def Tuple5Covariant[T1, T2, T3, T4]: Covariant[[+x](T1, T2, T3, T4, x)]
The Covariant (and thus Invariant) for Tuple5
implicit def Tuple6Covariant[T1, T2, T3, T4, T5]: Covariant[[+x](T1, T2, T3, T4, T5, x)]
The Covariant (and thus Invariant) for Tuple6
implicit def Tuple7Covariant[T1, T2, T3, T4, T5, T6]: Covariant[[+x](T1, T2, T3, T4, T5, T6, x)]
The Covariant (and thus Invariant) for Tuple7
implicit def Tuple8Covariant[T1, T2, T3, T4, T5, T6, T7]: Covariant[[+x](T1, T2, T3, T4, T5, T6, T7, x)]
The Covariant (and thus Invariant) for Tuple8
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 thus Invariant) for Tuple9
implicit val VectorForEach: ForEach[Vector]
The ForEach (and thus Covariant and Invariant) instance for Vector.
implicit def ZIOCovariant[R, E]: Covariant[[+a]ZIO[R, E, a]]
The Covariant (and thus Invariant) for ZIO
implicit def ZIOFailureCovariant[R, A]: Covariant[[+e]Type[ZIO[R, e, A]]]
The Covariant (and thus Invariant) for a failed ZIO
implicit def ZSTMZivariantCovariant[R, E]: Covariant[[+o]ZSTM[R, E, o]]
The Covariant (and thus Invariant) for ZSTM
implicit def ZSTMZivariantFailureCovariant[R, O]: Covariant[[+e]Type[ZSTM[R, e, O]]]
The Covariant (and thus Invariant) for a failed ZSTM
implicit def ZSinkContravariant[R, E, L, Z]: Contravariant[[-x]ZSink[R, E, x, L, Z]]
The Contravariant (and thus Invariant) instance for ZSink.
The Contravariant (and thus Invariant) instance for ZSink.
Definition Classes
LowPriorityInvariantImplicits
implicit def ZStreamCovariant[R, E]: Covariant[[+o]ZStream[R, E, o]]
The Covariant (and thus Invariant) for ZStream
implicit def ZStreamFailureCovariant[R, O]: Covariant[[+e]Type[ZStream[R, e, O]]]
The Covariant (and thus Invariant) for a failed ZStream
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(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate() @native()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate() @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
@HotSpotIntrinsicCandidate() @native()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @native()
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
def toString(): String
Definition Classes
AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
object DeriveBuildFrom
Definition Classes
InvariantVersionSpecific

Deprecated Value Members

def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable]) @Deprecated
Deprecated
(Since version 9)

Packages

Invariant

Companion trait Invariant

object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific

Type Members

Value Members

Deprecated Value Members

Inherited from InvariantVersionSpecific

Inherited from LowPriorityInvariantImplicits

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

Invariant

Companion trait Invariant

object Invariant extends LowPriorityInvariantImplicits with InvariantVersionSpecific

Type Members

Value Members

Deprecated Value Members

Inherited from InvariantVersionSpecific

Inherited from LowPriorityInvariantImplicits

Inherited from AnyRef

Inherited from Any

Ungrouped

Invariant