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 java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ShrinkableFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T> Shrinkable<T>	filter(Shrinkable<T> self, java.util.function.Predicate<T> filter)
abstract <T,U> Shrinkable<U>	flatMap(Shrinkable<T> self, java.util.function.Function<T,Arbitrary<U>> flatMapper, int tries, long randomSeed)
abstract <T,U> Shrinkable<U>	map(Shrinkable<T> self, java.util.function.Function<T,U> mapper)
abstract <T> Shrinkable<T>	unshrinkable(T value, ShrinkingDistance distance)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrinkableFacade

public ShrinkableFacade()

Method Detail

unshrinkable

public abstract <T> Shrinkable<T> unshrinkable(T value,
                                               ShrinkingDistance distance)

map

public abstract <T,U> Shrinkable<U> map(Shrinkable<T> self,
                                        java.util.function.Function<T,U> mapper)

filter

public abstract <T> Shrinkable<T> filter(Shrinkable<T> self,
                                         java.util.function.Predicate<T> filter)

flatMap

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