Variance

zio.blocks.typeid.Variance
See theVariance companion trait
object Variance

Attributes

Companion
trait
Source
Variance.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Variance.type

Members list

Type members

Classlikes

case object Contravariant extends Variance

Contravariant: -A Reverses subtyping: if Dog <: Animal, then F[Animal] <: F[Dog]

Contravariant: -A Reverses subtyping: if Dog <: Animal, then F[Animal] <: F[Dog]

Attributes

Source
Variance.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Variance
class Object
trait Matchable
class Any
Show all
Self type
case object Covariant extends Variance

Covariant: +A Preserves subtyping: if Dog <: Animal, then F[Dog] <: F[Animal]

Covariant: +A Preserves subtyping: if Dog <: Animal, then F[Dog] <: F[Animal]

Attributes

Source
Variance.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Variance
class Object
trait Matchable
class Any
Show all
Self type
Covariant.type
case object Invariant extends Variance

Invariant: A No subtyping relationship between F[Dog] and F[Animal]

Invariant: A No subtyping relationship between F[Dog] and F[Animal]

Attributes

Source
Variance.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Variance
class Object
trait Matchable
class Any
Show all
Self type
Invariant.type

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala