Package net.jqwik.api

Class Arbitrary.ArbitraryFacade

  • Enclosing interface:
    Arbitrary<T>

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

      • ArbitraryFacade

        public ArbitraryFacade()
    • Method Detail

      • sampleStream

        public abstract <T> java.util.stream.Stream<T> sampleStream​(Arbitrary<T> arbitrary)
      • injectNull

        public abstract <T> Arbitrary<T> injectNull​(Arbitrary<T> self,
                                                    double nullProbability)
      • filter

        public abstract <T> Arbitrary<T> filter​(Arbitrary<T> self,
                                                java.util.function.Predicate<T> filterPredicate)
      • map

        public abstract <T,​U> Arbitrary<U> map​(Arbitrary<T> self,
                                                     java.util.function.Function<T,​U> mapper)
      • flatMap

        public abstract <T,​U> Arbitrary<U> flatMap​(Arbitrary<T> self,
                                                         java.util.function.Function<T,​Arbitrary<U>> mapper)
      • ignoreException

        public abstract <T> Arbitrary<T> ignoreException​(Arbitrary<T> self,
                                                         java.lang.Class<? extends java.lang.Throwable> exceptionType)