Covariant

zio.test.laws.ZLawsF.Covariant
See theCovariant companion class
object Covariant

Attributes

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

Members list

Type members

Classlikes

abstract class ComposeLaw[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[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 Covariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
ComposeLaw[CapsF, Caps]
abstract class FlattenLaw[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, Caps, Any]

Constructs a law from a parameterized value wrapped in two additional layers that can be flattened.

Constructs a law from a parameterized value wrapped in two additional layers that can be flattened.

Attributes

Source
ZLawsF.scala
Supertypes
class Covariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
FlattenLaw[CapsF, Caps]
abstract class Law1[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[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 Covariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law1[CapsF, Caps]
abstract class Law1ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[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 Covariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law1ZIO[CapsF, Caps, R]
abstract class Law2[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[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 Covariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law2[CapsF, Caps]
abstract class Law2ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[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 Covariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law2ZIO[CapsF, Caps, R]
abstract class Law3[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[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 Covariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law3[CapsF, Caps]
abstract class Law3ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[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 Covariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[CapsF, Caps, R]