zio.test.laws.ZLawsF.Covariant
See theCovariant companion class
object Covariant
Attributes
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
- Supertypes
- Self type
-
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
- Supertypes
- Self type
-
In this article