abstract class Law3ZIO[-Caps[_], -R] extends ZLaws[Caps, R]
Constructs a law from an effectual function taking three parameters.
- Self Type
- Law3ZIO[Caps, R]
- Alphabetic
- By Inheritance
- Law3ZIO
- ZLaws
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Law3ZIO(label: String)
Abstract Value Members
- abstract def apply[A](a1: A, a2: A, a3: A)(implicit arg0: Caps[A]): URIO[R, TestResult]
Concrete Value Members
- def +[Caps1[x] <: Caps[x], R1 <: R](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[R1 <: R, A](gen: Gen[R1, A])(implicit arg0: Caps[A], trace: Trace): ZIO[R1, Nothing, TestResult]
Test that values of type
A
satisfy the laws using the specified generator.