Package net.jqwik.api

Class Shrinkable.ShrinkableFacade

java.lang.Object

net.jqwik.api.Shrinkable.ShrinkableFacade

Enclosing interface:

Shrinkable<T extends @Nullable Object>

@API(status=INTERNAL)
public abstract static class Shrinkable.ShrinkableFacade
extends Object

Constructor Summary

Constructors

Constructor	Description
ShrinkableFacade()

Method Summary

Modifier and Type	Method	Description
abstract <T extends @Nullable Object> Shrinkable<T>	filter(Shrinkable<T> self, Predicate<? super T> filter)
abstract <T extends @Nullable Object, U extends @Nullable Object> Shrinkable<U>	flatMap(Shrinkable<T> self, Function<? super T,? extends Arbitrary<U>> flatMapper, int tries, long randomSeed)
abstract <T extends @Nullable Object, U extends @Nullable Object> Shrinkable<U>	map(Shrinkable<T> self, Function<? super T,? extends U> mapper)
abstract <T extends @Nullable Object> Shrinkable<T>	unshrinkable(Supplier<? extends T> valueSupplier, ShrinkingDistance distance)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ShrinkableFacade

public ShrinkableFacade()

Method Details

unshrinkable

public abstract <T extends @Nullable Object>
Shrinkable<T> unshrinkable(Supplier<? extends T> valueSupplier,
 ShrinkingDistance distance)

map

public abstract <T extends @Nullable Object,
U extends @Nullable Object>
Shrinkable<U> map(Shrinkable<T> self,
 Function<? super T,? extends U> mapper)

filter

public abstract <T extends @Nullable Object>
Shrinkable<T> filter(Shrinkable<T> self,
 Predicate<? super T> filter)

flatMap

public abstract <T extends @Nullable Object,
U extends @Nullable Object>
Shrinkable<U> flatMap(Shrinkable<T> self,
 Function<? super T,? extends Arbitrary<U>> flatMapper,
 int tries,
 long randomSeed)