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.
Type members
Classlikes
ZLawsF
for contravariant type constructors.
ZLawsF
for contravariant type constructors.
- Companion:
- object