abstract class Law1[-Caps[_]] extends ZLaws[Caps, Any]
Constructs a law from a pure function taking a single parameter.
- Self Type
- Law1[Caps]
- Alphabetic
- By Inheritance
- Law1
- ZLaws
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Law1(label: String)
Abstract Value Members
- abstract def apply[A](a1: A)(implicit arg0: Caps[A]): TestResult
Concrete Value Members
- def +[Caps1[x] <: Caps[x], R1 <: Any](that: ZLaws[Caps1, R1]): ZLaws[Caps1, R1]
Combine these laws with the specified laws to produce a set of laws that require both sets of laws to be satisfied.
Combine these laws with the specified laws to produce a set of laws that require both sets of laws to be satisfied.
- Definition Classes
- ZLaws
- final def run[R, A](gen: Gen[R, A])(implicit arg0: Caps[A], trace: Trace): URIO[R, TestResult]
Test that values of type
A
satisfy the laws using the specified generator.