TraverseArbitrary (documentation 1.7.1 API)

All Superinterfaces:

Arbitrary<T>
```
@API(status=EXPERIMENTAL,
     since="1.6.1")
public interface TraverseArbitrary<T>
extends Arbitrary<T>
```
Fluent interface to configure arbitraries that try to generate instances of a given type T from the type's available constructors and factory methods.

Nested Class Summary

Nested Classes
Modifier and Type	Interface	Description
`static interface`	`TraverseArbitrary.Traverser`	A traverser describes how to travers a given type by providing a hook to resolve a parameter into an arbitrary and a means to find all relevant creators (constructors or factory methods) for a type that does not have a suitable default arbitrary.

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
Arbitrary.ArbitraryFacade

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`TraverseArbitrary<T>`	`enableRecursion()`	Enable recursive use of traversal: If a parameter of a creator function cannot be resolved, jqwik will also traverse this parameter's type.

Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

- Method Detail
  - enableRecursion
```
TraverseArbitrary<T> enableRecursion()
```
    Enable recursive use of traversal: If a parameter of a creator function cannot be resolved, jqwik will also traverse this parameter's type.
    
    Returns:
    
    new arbitrary instance