Package net.jqwik.api

Class Shrinkable.ShrinkableFacade

  • Enclosing interface:
    Shrinkable<T>

    @API(status=INTERNAL)
    public abstract static class Shrinkable.ShrinkableFacade
    extends java.lang.Object
    • Constructor Detail

      • ShrinkableFacade

        public ShrinkableFacade()
    • Method Detail

      • unshrinkable

        public abstract <T> Shrinkable<T> unshrinkable​(@Nullable
                                                       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)