net.jqwik.api

Interface Shrinkable<T>

All Superinterfaces:

java.lang.Comparable<Shrinkable<T>>

public interface Shrinkable<T>
extends java.lang.Comparable<Shrinkable<T>>

Method Summary

Modifier and Type	Method and Description
default int	compareTo(Shrinkable<T> other)
ShrinkingDistance	distance()
default Shrinkable<T>	filter(java.util.function.Predicate<T> filter)
default <U> Shrinkable<U>	flatMap(java.util.function.Function<T,Arbitrary<U>> flatMapper, int tries, long randomSeed)
default boolean	isSmallerThan(Shrinkable<T> other)
default <U> Shrinkable<U>	map(java.util.function.Function<T,U> mapper)
ShrinkingSequence<T>	shrink(Falsifier<T> falsifier)
static <T> Shrinkable<T>	unshrinkable(T value)
T	value()

Method Detail

unshrinkable

static <T> Shrinkable<T> unshrinkable(T value)

value

T value()

shrink

ShrinkingSequence<T> shrink(Falsifier<T> falsifier)

distance

ShrinkingDistance distance()

map

default <U> Shrinkable<U> map(java.util.function.Function<T,U> mapper)

filter

default Shrinkable<T> filter(java.util.function.Predicate<T> filter)

compareTo

default int compareTo(Shrinkable<T> other)

Specified by:

compareTo in interface java.lang.Comparable<Shrinkable<T>>

isSmallerThan

default boolean isSmallerThan(Shrinkable<T> other)

flatMap

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