An Arb (for arbitrary) is a provider of property test data in two categories: edgecases and samples.
(extensions in package io.kotest.property.arbitrary)
An exhaustive is a type of Gen which generates an exhaustive set of values from a defined range.
A Gen is responsible for providing values to be used in property testing. You can think of it as like
an input stream for values. Each arg will provide data for a specific type .
(extensions in package io.kotest.property.exhaustive)
(extensions in package io.kotest.property)
A PropertyContext is used when executing a propery test.
It allows feedback and tracking of the state of the property test.
Maps a failed property test arg to its shrunk value if any.
Global object for containing settings for property testing.
(extensions in package io.kotest.property)
Contains a single generated value from a Gen and an RTree of lazily evaluated shrinks.
Given a value, T, this function returns reduced values to be used as candidates
for shrinking.