Contravariant

zio.test.laws.ZLawsF.Contravariant
See theContravariant companion class
object Contravariant

Attributes

Companion
class
Source
ZLawsF.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

abstract class ComposeLaw[-CapsF[_[_]], -Caps[_]](label: String) extends Contravariant[CapsF, Caps, Any]

Constructs a law from a pure function taking one parameterized value and two functions that can be composed.

Constructs a law from a pure function taking one parameterized value and two functions that can be composed.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
ComposeLaw[CapsF, Caps]
abstract class Law1[-CapsF[_[_]], -Caps[_]](label: String) extends Contravariant[CapsF, Caps, Any]

Constructs a law from a pure function taking a single parameter.

Constructs a law from a pure function taking a single parameter.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law1[CapsF, Caps]
abstract class Law1ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Contravariant[CapsF, Caps, R]

Constructs a law from an effectual function taking a single parameter.

Constructs a law from an effectual function taking a single parameter.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law1ZIO[CapsF, Caps, R]
abstract class Law2[-CapsF[_[_]], -Caps[_]](label: String) extends Contravariant[CapsF, Caps, Any]

Constructs a law from a pure function taking two parameters.

Constructs a law from a pure function taking two parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law2[CapsF, Caps]
abstract class Law2ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Contravariant[CapsF, Caps, R]

Constructs a law from an effectual function taking two parameters.

Constructs a law from an effectual function taking two parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law2ZIO[CapsF, Caps, R]
abstract class Law3[-CapsF[_[_]], -Caps[_]](label: String) extends Contravariant[CapsF, Caps, Any]

Constructs a law from a pure function taking three parameters.

Constructs a law from a pure function taking three parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law3[CapsF, Caps]
abstract class Law3ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Contravariant[CapsF, Caps, R]

Constructs a law from an effectual function taking three parameters.

Constructs a law from an effectual function taking three parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Contravariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[CapsF, Caps, R]