net.jqwik.api

Class ShrinkingSequence.ShrinkingSequenceFacade

java.lang.Object

net.jqwik.api.ShrinkingSequence.ShrinkingSequenceFacade

Enclosing interface:

ShrinkingSequence<T>

@API(status=INTERNAL)
public abstract static class ShrinkingSequence.ShrinkingSequenceFacade
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ShrinkingSequenceFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T> ShrinkingSequence<T>	andThen(ShrinkingSequence<T> self, java.util.function.Function<Shrinkable<T>,ShrinkingSequence<T>> createFollowupSequence)
abstract <T> ShrinkingSequence<T>	dontShrink(Shrinkable<T> shrinkable)
abstract <T,U> ShrinkingSequence<U>	map(ShrinkingSequence<T> self, java.util.function.Function<FalsificationResult<T>,FalsificationResult<U>> mapper)
abstract <T,U> ShrinkingSequence<U>	mapValue(ShrinkingSequence<T> self, java.util.function.Function<T,U> mapper)

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrinkingSequenceFacade

public ShrinkingSequenceFacade()

Method Detail

dontShrink

public abstract <T> ShrinkingSequence<T> dontShrink(Shrinkable<T> shrinkable)

andThen

public abstract <T> ShrinkingSequence<T> andThen(ShrinkingSequence<T> self,
                                                 java.util.function.Function<Shrinkable<T>,ShrinkingSequence<T>> createFollowupSequence)

mapValue

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

map

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