net.jqwik.api

Interfaces

• Arbitrary
• Combinators.F2
• Combinators.F3
• Combinators.F4
• Combinators.F5
• Combinators.F6
• Combinators.F7
• Combinators.F8
• ExhaustiveGenerator
• Falsifier
• RandomGenerator
• Shrinkable
• ShrinkingSequence
• Tuple

Classes

• Arbitraries
• Arbitraries.ArbitrariesFacade
• Arbitrary.ArbitraryFacade
• Assume
• Combinators
• Combinators.BuilderCombinator
• Combinators.CombinableBuilder
• Combinators.Combinator2
• Combinators.Combinator3
• Combinators.Combinator4
• Combinators.Combinator5
• Combinators.Combinator6
• Combinators.Combinator7
• Combinators.Combinator8
• Combinators.CombinatorsFacade
• Combinators.ListCombinator
• ExhaustiveGenerator.ExhaustiveGeneratorFacade
• FacadeLoader
• FalsificationResult
• Functions
• Functions.FunctionsFacade
• Functions.FunctionWrapper
• RandomGenerator.RandomGeneratorFacade
• Shrinkable.ShrinkableFacade
• ShrinkingDistance
• ShrinkingSequence.ShrinkingSequenceFacade
• Statistics
• Table
• Tuple.Tuple1
• Tuple.Tuple2
• Tuple.Tuple3
• Tuple.Tuple4
• Tuple.Tuple5
• Tuple.Tuple6
• Tuple.Tuple7
• Tuple.Tuple8

Enums

• AfterFailureMode
• FalsificationResult.Status
• GenerationMode
• Reporting
• ShrinkingMode

Exceptions

• CannotFindArbitraryException
• JqwikException
• TooManyFilterMissesException

Annotation Types

• Data
• Disabled
• Example
• ForAll
• From
• FromData
• Group
• Label
• Property
• Provide
• Report
• Tag
• TagList