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