ZLawsF
zio.test.laws.ZLawsF
object ZLawsF
ZLaws[CapsF, Caps, R] describes a set of laws that a parameterized type F[A] with capabilities CapsF is expected to satisfy with respect to all types A that have capabilities Caps. Laws can be run by providing a GenF that is capable of generating F[A] values given a generator of A values and a generator of values of some type A. Laws can be combined using + to produce a set of laws that require both sets of laws to be satisfied.
Attributes
- Graph
-
- Supertypes
- Self type
-
ZLawsF.type
Members list
Type members
Classlikes
ZLawsF for contravariant type constructors.
ZLawsF for contravariant type constructors.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
- Self type
-
object Contravariant
Attributes
- Companion
- class
- Supertypes
- Self type
-
Contravariant.type
ZLawsF for covariant type constructors.
ZLawsF for covariant type constructors.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
Show all
- Self type
-
object Covariant
ZLawsF for invariant type constructors.
ZLawsF for invariant type constructors.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
- Self type
-
In this article