Package net.jqwik.api

Class Shrinkable.ShrinkableFacade

java.lang.Object

net.jqwik.api.Shrinkable.ShrinkableFacade

Enclosing interface:

Shrinkable<T>

@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> Shrinkable<T>	filter(Shrinkable<T> self, Predicate<T> filter)
abstract <T, U> Shrinkable<U>	flatMap(Shrinkable<T> self, Function<T,Arbitrary<U>> flatMapper, int tries, long randomSeed)
abstract <T, U> Shrinkable<U>	map(Shrinkable<T> self, Function<T,U> mapper)
abstract <T> Shrinkable<T>	unshrinkable(Supplier<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> Shrinkable<T> unshrinkable(@Nullable
 Supplier<T> valueSupplier,
 ShrinkingDistance distance)

map

public abstract <T,
U> Shrinkable<U> map(Shrinkable<T> self,
 Function<T,U> mapper)

filter

public abstract <T> Shrinkable<T> filter(Shrinkable<T> self,
 Predicate<T> filter)

flatMap

public abstract <T,
U> Shrinkable<U> flatMap(Shrinkable<T> self,
 Function<T,Arbitrary<U>> flatMapper,
 int tries,
 long randomSeed)