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

Constructor Summary

Constructors

Constructor	Description
ShrinkableFacade()

Method Summary

Modifier and Type	Method	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(java.util.function.Supplier<T> valueSupplier, 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(java.util.function.Supplier<T> valueSupplier,
                                               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)