Exhaustive |
An exhaustive is a type of Gen which generates an exhaustive set of values from a defined range. interface Exhaustive<A> : Gen<A> |
andNull |
fun <A> Exhaustive<A>.andNull(): Exhaustive<A?> |
exhaustive |
fun <A> exhaustive(as: List<A>): Exhaustive<A> |
plus |
Returns an Exhaustive which is the concatentation of this exhaustive values plus the given exhaustive's values. operator fun <A> Exhaustive<A>.plus(other: Exhaustive<A>): Exhaustive<A> |
times |
Returns the cross product of two Exhaustives. operator fun <A, B : A> Exhaustive<A>.times(other: Exhaustive<B>): Exhaustive<Pair<A, B>> |
azstring |
fun Exhaustive.Companion.azstring(range: IntRange): Exhaustive<String> |
boolean |
Returns a Exhaustive of the two possible boolean values - true and false. fun Exhaustive.Companion.boolean(): Exhaustive<Boolean> |
bytes |
Returns a Exhaustive of bytes in the given range. fun Exhaustive.Companion.bytes(from: Byte = Byte.MIN_VALUE, to: Byte = Byte.MAX_VALUE): Exhaustive<Byte> |
collection |
fun <A> Exhaustive.Companion.collection(collection: Collection<A>): Exhaustive<A> |
constant |
Returns a Exhaustive whose value is a single constant. fun <A> Exhaustive.Companion.constant(a: A): Exhaustive<A> |
enum |
fun <T : Enum<T>> Exhaustive.Companion.enum(): Exhaustive<T> |
ints |
fun Exhaustive.Companion.ints(range: IntRange): Exhaustive<Int> |
lines |
fun Exhaustive.Companion.lines(file: File, charset: Charset = Charsets.UTF_8): Exhaustive<String> |
longs |
fun Exhaustive.Companion.longs(range: LongRange): Exhaustive<Long> |
nullable |
fun Exhaustive.Companion.nullable(): Exhaustive<Nothing?> |