beRefinedBy |
Creates a Matcher for A given the refinement rules fun <F, A> A.beRefinedBy(refinement: Refinement<F, A>): Matcher<A> |
forAll |
Filters GA creating a new generator that complies with the rules in refinement fun <F, A> forAll(GA: Gen<A>, refinement: Refinement<F, A>, f: (A) -> Boolean): Unit |
shouldBeRefinedBy |
Asserts that a value of type A complies with the refinement infix fun <F, A> A.shouldBeRefinedBy(refinement: Refinement<F, A>): Unit |