Uses of Interface
io.vavr.test.CheckResult

Packages that use CheckResult

Package	Description
io.vavr.test	A property check framework built around Property which integrates well with unit test frameworks like junit.

Uses of CheckResult in io.vavr.test

Classes in io.vavr.test that implement CheckResult

Modifier and Type	Class	Description
static class	CheckResult.Erroneous	Represents an erroneous property check.
static class	CheckResult.Falsified	Represents a falsified property check.
static class	CheckResult.Satisfied	Represents a satisfied property check.

Methods in io.vavr.test that return CheckResult

Modifier and Type	Method	Description
default CheckResult	Checkable.check()	Checks this property using the default random number generator Checkable.RNG by calling Checkable.check(int, int), where size is Checkable.DEFAULT_SIZE and tries is Checkable.DEFAULT_TRIES.
default CheckResult	Checkable.check(int size, int tries)	Checks this property using the default random number generator Checkable.RNG.
CheckResult	Checkable.check(java.util.Random randomNumberGenerator, int size, int tries)	Checks this property.
CheckResult	Property.Property1.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property2.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property3.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property4.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property5.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property6.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property7.check(java.util.Random random, int size, int tries)
CheckResult	Property.Property8.check(java.util.Random random, int size, int tries)