Arbitrary (quickcheck 4.7 API)

java.lang.Object
- fj.test.Arbitrary

public final class Arbitrary
extends java.lang.Object

Common Gen helper functions.

Field Summary

Fields
Modifier and Type	Field and Description
`static Gen<java.lang.String>`	`arbAlphaNumString` An arbitrary implementation for string values with alpha-numeric characters.
`static Gen<java.math.BigDecimal>`	`arbBigDecimal` An arbitrary implementation for big decimals.
`static Gen<java.math.BigInteger>`	`arbBigInteger` An arbitrary implementation for big integers.
`static Gen<java.util.BitSet>`	`arbBitSet` An arbitrary implementation for bit sets.
`static Gen<java.lang.Boolean>`	`arbBoolean` An arbitrary implementation for boolean values.
`static Gen<java.lang.Byte>`	`arbByte` An arbitrary implementation for byte values.
`static Gen<java.lang.Byte>`	`arbByteBoundaries` An arbitrary implementation for byte values that checks boundary values `(0, 1, -1, max, min, max - 1, min + 1)` with a frequency of 1% each then generates from `arbByte` the remainder of the time (93%).
`static Gen<java.util.Calendar>`	`arbCalendar` An arbitrary implementation for calendars.
`static Gen<java.lang.Character>`	`arbCharacter` An arbitrary implementation for character values.
`static Gen<java.lang.Character>`	`arbCharacterBoundaries` An arbitrary implementation for character values that checks boundary values `(max, min, max - 1, min + 1)` with a frequency of 1% each then generates from `arbCharacter` the remainder of the time (96%).
`static Gen<java.util.Date>`	`arbDate` An arbitrary implementation for dates.
`static Gen<java.lang.Double>`	`arbDouble` An arbitrary implementation for double values.
`static Gen<java.lang.Double>`	`arbDoubleBoundaries` An arbitrary implementation for double values that checks boundary values `(0, 1, -1, max, min, min (normal), NaN, -infinity, infinity, max - 1)` with a frequency of 1% each then generates from `arbDouble` the remainder of the time (91%).
`static Gen<java.lang.Float>`	`arbFloat` An arbitrary implementation for float values.
`static Gen<java.lang.Float>`	`arbFloatBoundaries` An arbitrary implementation for float values that checks boundary values `(0, 1, -1, max, min, NaN, -infinity, infinity, max - 1)` with a frequency of 1% each then generates from `arbFloat` the remainder of the time (91%).
`static Gen<java.util.GregorianCalendar>`	`arbGregorianCalendar` An arbitrary implementation for gregorian calendars.
`static Gen<java.lang.Integer>`	`arbInteger` An arbitrary implementation for integer values.
`static Gen<java.lang.Integer>`	`arbIntegerBoundaries` An arbitrary implementation for integer values that checks boundary values `(0, 1, -1, max, min, max - 1, min + 1)` with a frequency of 1% each then generates from `arbInteger` the remainder of the time (93%).
`static Gen<java.util.Locale>`	`arbLocale` An arbitrary implementation for locales.
`static Gen<java.lang.Long>`	`arbLong` An arbitrary implementation for long values.
`static Gen<java.lang.Long>`	`arbLongBoundaries` An arbitrary implementation for long values that checks boundary values `(0, 1, -1, max, min, max - 1, min + 1)` with a frequency of 1% each then generates from `arbLong` the remainder of the time (93%).
`static Gen<fj.data.Natural>`	`arbNatural` An arbitrary implementation for naturals.
`static Gen<java.util.Properties>`	`arbProperties` An arbitrary implementation for properties.
`static Gen<java.lang.Short>`	`arbShort` An arbitrary implementation for short values.
`static Gen<java.lang.Short>`	`arbShortBoundaries` An arbitrary implementation for short values that checks boundary values `(0, 1, -1, max, min, max - 1, min + 1)` with a frequency of 1% each then generates from `arbShort` the remainder of the time (93%).
`static Gen<java.sql.Date>`	`arbSQLDate` An arbitrary implementation for SQL dates.
`static Gen<java.lang.String>`	`arbString` An arbitrary implementation for string values.
`static Gen<java.lang.StringBuffer>`	`arbStringBuffer` An arbitrary implementation for string buffer values.
`static Gen<java.lang.StringBuilder>`	`arbStringBuilder` An arbitrary implementation for string builder values.
`static Gen<java.lang.Throwable>`	`arbThrowable` An arbitrary implementation for throwables.
`static Gen<java.sql.Time>`	`arbTime` An arbitrary implementation for SQL times.
`static Gen<java.sql.Timestamp>`	`arbTimestamp` An arbitrary implementation for SQL time stamps.
`static Gen<java.lang.String>`	`arbUSASCIIString` An arbitrary implementation for string values with characters in the US-ASCII range.

Constructor Summary

Constructors
Constructor and Description

Arbitrary()

Constructors
Constructor and Description
`Arbitrary()`

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static <A> Gen<fj.data.Array<A>>`	`arbArray(Gen<A> aa)` Returns an arbitrary implementation for arrays.
`static <A> Gen<java.util.concurrent.ArrayBlockingQueue<A>>`	`arbArrayBlockingQueue(Gen<A> aa)` Returns an arbitrary implementation for array blocking queues.
`static <A> Gen<java.util.ArrayList<A>>`	`arbArrayList(Gen<A> aa)` Returns an arbitrary implementation for array lists.
`static <K,V> Gen<java.util.concurrent.ConcurrentHashMap<K,V>>`	`arbConcurrentHashMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for concurrent hash maps.
`static <A> Gen<java.util.concurrent.ConcurrentLinkedQueue<A>>`	`arbConcurrentLinkedQueue(Gen<A> aa)` Returns an arbitrary implementation for concurrent linked queues.
`static <A> Gen<java.util.concurrent.CopyOnWriteArrayList<A>>`	`arbCopyOnWriteArrayList(Gen<A> aa)` Returns an arbitrary implementation for copy-on-write array lists.
`static <A> Gen<java.util.concurrent.CopyOnWriteArraySet<A>>`	`arbCopyOnWriteArraySet(Gen<A> aa)` Returns an arbitrary implementation for copy-on-write array sets.
`static <A extends java.util.concurrent.Delayed> Gen<java.util.concurrent.DelayQueue<A>>`	`arbDelayQueue(Gen<A> aa)` Returns an arbitrary implementation for delay queues.
`static <A,B> Gen<fj.data.Either<A,B>>`	`arbEither(Gen<A> aa, Gen<B> ab)` Returns an arbitrary implementation for the disjoint union.
`static <K extends java.lang.Enum<K>,V> Gen<java.util.EnumMap<K,V>>`	`arbEnumMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for enum maps.
`static <A extends java.lang.Enum<A>> Gen<java.util.EnumSet<A>>`	`arbEnumSet(Gen<A> aa)` Returns an arbitrary implementation for enum sets.
`static <A extends java.lang.Enum<A>> Gen<A>`	`arbEnumValue(java.lang.Class<A> clazz)` Returns an arbitrary implementation for a Java enumeration.
`static <A,B> Gen<fj.F<A,B>>`	`arbF(Cogen<A> c, Gen<B> a)` An arbitrary for functions.
`static <A,B,C> Gen<fj.F2<A,B,C>>`	`arbF2(Cogen<A> ca, Cogen<B> cb, Gen<C> a)` An arbitrary for function-2.
`static <A,B,C> Gen<fj.F2<A,B,C>>`	`arbF2Invariant(Gen<C> a)` An arbitrary for function-2.
`static <A,B,C,D> Gen<fj.F3<A,B,C,D>>`	`arbF3(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Gen<D> a)` An arbitrary for function-3.
`static <A,B,C,D> Gen<fj.F3<A,B,C,D>>`	`arbF3Invariant(Gen<D> a)` An arbitrary for function-3.
`static <A,B,C,D,E> Gen<fj.F4<A,B,C,D,E>>`	`arbF4(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Gen<E> a)` An arbitrary for function-4.
`static <A,B,C,D,E> Gen<fj.F4<A,B,C,D,E>>`	`arbF4Invariant(Gen<E> a)` An arbitrary for function-4.
`static <A,B,C,D,E,F$> Gen<fj.F5<A,B,C,D,E,F$>>`	`arbF5(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Gen<F$> a)` An arbitrary for function-5.
`static <A,B,C,D,E,F$> Gen<fj.F5<A,B,C,D,E,F$>>`	`arbF5Invariant(Gen<F$> a)` An arbitrary for function-5.
`static <A,B,C,D,E,F$,G> Gen<fj.F6<A,B,C,D,E,F$,G>>`	`arbF6(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf, Gen<G> a)` An arbitrary for function-6.
`static <A,B,C,D,E,F$,G> Gen<fj.F6<A,B,C,D,E,F$,G>>`	`arbF6Invariant(Gen<G> a)` An arbitrary for function-6.
`static <A,B,C,D,E,F$,G,H> Gen<fj.F7<A,B,C,D,E,F$,G,H>>`	`arbF7(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf, Cogen<G> cg, Gen<H> a)` An arbitrary for function-7.
`static <A,B,C,D,E,F$,G,H> Gen<fj.F7<A,B,C,D,E,F$,G,H>>`	`arbF7Invariant(Gen<H> a)` An arbitrary for function-7.
`static <A,B,C,D,E,F$,G,H,I> Gen<fj.F8<A,B,C,D,E,F$,G,H,I>>`	`arbF8(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf, Cogen<G> cg, Cogen<H> ch, Gen<I> a)` An arbitrary for function-8.
`static <A,B,C,D,E,F$,G,H,I> Gen<fj.F8<A,B,C,D,E,F$,G,H,I>>`	`arbF8Invariant(Gen<I> a)` An arbitrary for function-8.
`static <A,B> Gen<fj.F<A,B>>`	`arbFInvariant(Gen<B> a)` An arbitrary for functions.
`static <A> Gen<Gen<A>>`	`arbGen(Gen<A> aa)` Returns an arbitrary implementation for generators.
`static <K,V> Gen<java.util.HashMap<K,V>>`	`arbHashMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for hash maps.
`static <A> Gen<java.util.HashSet<A>>`	`arbHashSet(Gen<A> aa)` Returns an arbitrary implementation for hash sets.
`static <K,V> Gen<java.util.Hashtable<K,V>>`	`arbHashtable(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for hash tables.
`static <K,V> Gen<java.util.IdentityHashMap<K,V>>`	`arbIdentityHashMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for identity hash maps.
`static <K,V> Gen<java.util.TreeMap<K,V>>`	`arbJavaTreeMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for java.util tree maps.
`static <A> Gen<fj.LcgRng>`	`arbLcgRng()` An arbitrary for the LcgRng.
`static <A> Gen<java.util.concurrent.LinkedBlockingQueue<A>>`	`arbLinkedBlockingQueue(Gen<A> aa)` Returns an arbitrary implementation for linked blocking queues.
`static <K,V> Gen<java.util.LinkedHashMap<K,V>>`	`arbLinkedHashMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for linked hash maps.
`static <A> Gen<java.util.LinkedHashSet<A>>`	`arbLinkedHashSet(Gen<A> aa)` Returns an arbitrary implementation for hash sets.
`static <A> Gen<java.util.LinkedList<A>>`	`arbLinkedList(Gen<A> aa)` Returns an arbitrary implementation for linked lists.
`static <A> Gen<fj.data.List<A>>`	`arbList(Gen<A> aa)` Returns an arbitrary implementation for lists.
`static <A> Gen<fj.data.List<java.lang.Boolean>>`	`arbListBoolean()` Returns an arbitrary list of booleans.
`static <A> Gen<fj.data.List<java.lang.Double>>`	`arbListDouble()` Returns an arbitrary list of doubles.
`static <A> Gen<fj.data.List<java.lang.Integer>>`	`arbListInteger()` Returns an arbitrary list of integers.
`static <A> Gen<fj.data.List<java.lang.String>>`	`arbListString()` Returns an arbitrary list of strings.
`static <A> Gen<fj.data.NonEmptyList<A>>`	`arbNonEmptyList(Gen<A> aa)`
`static <A> Gen<fj.data.Option<A>>`	`arbOption(Gen<A> aa)` Returns an arbitrary implementation for optional values.
`static <A> Gen<fj.P1<A>>`	`arbP1(Gen<A> aa)` Returns an arbitrary implementation for product-1 values.
`static <A,B> Gen<fj.P2<A,B>>`	`arbP2(Gen<A> aa, Gen<B> ab)` Returns an arbitrary implementation for product-2 values.
`static <A,B,C> Gen<fj.P3<A,B,C>>`	`arbP3(Gen<A> aa, Gen<B> ab, Gen<C> ac)` Returns an arbitrary implementation for product-3 values.
`static <A,B,C,D> Gen<fj.P4<A,B,C,D>>`	`arbP4(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad)` Returns an arbitrary implementation for product-4 values.
`static <A,B,C,D,E> Gen<fj.P5<A,B,C,D,E>>`	`arbP5(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae)` Returns an arbitrary implementation for product-5 values.
`static <A,B,C,D,E,F$> Gen<fj.P6<A,B,C,D,E,F$>>`	`arbP6(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af)` Returns an arbitrary implementation for product-6 values.
`static <A,B,C,D,E,F$,G> Gen<fj.P7<A,B,C,D,E,F$,G>>`	`arbP7(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af, Gen<G> ag)` Returns an arbitrary implementation for product-7 values.
`static <A,B,C,D,E,F$,G,H> Gen<fj.P8<A,B,C,D,E,F$,G,H>>`	`arbP8(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af, Gen<G> ag, Gen<H> ah)` Returns an arbitrary implementation for product-8 values.
`static <A> Gen<java.util.concurrent.PriorityBlockingQueue<A>>`	`arbPriorityBlockingQueue(Gen<A> aa)` Returns an arbitrary implementation for priority blocking queues.
`static <A> Gen<java.util.PriorityQueue<A>>`	`arbPriorityQueue(Gen<A> aa)` Returns an arbitrary implementation for priority queues.
`static <A,B> Gen<fj.data.Reader<A,B>>`	`arbReader(Cogen<A> aa, Gen<B> ab)`
`static <A> Gen<fj.data.Seq<A>>`	`arbSeq(Gen<A> aa)` Returns an arbitrary implementation for sequences.
`static <A> Gen<fj.data.Set<A>>`	`arbSet(fj.Ord<A> ord, Gen<A> aa)`
`static <A> Gen<fj.data.Set<A>>`	`arbSet(fj.Ord<A> ord, Gen<A> aa, int max)`
`static <A> Gen<java.util.Stack<A>>`	`arbStack(Gen<A> aa)` Returns an arbitrary implementation for stacks.
`static <S,A> Gen<fj.data.State<S,A>>`	`arbState(Gen<S> as, Cogen<S> cs, Gen<A> aa)` An arbitrary for state.
`static <A> Gen<fj.data.Stream<A>>`	`arbStream(Gen<A> aa)` Returns an arbitrary implementation for streams.
`static <A> Gen<java.util.concurrent.SynchronousQueue<A>>`	`arbSynchronousQueue(Gen<A> aa)` Returns an arbitrary implementation for priority blocking queues.
`static Gen<java.lang.Throwable>`	`arbThrowable(Gen<java.lang.String> as)` Returns an arbitrary implementation for throwables.
`static <K,V> Gen<fj.data.TreeMap<K,V>>`	`arbTreeMap(fj.Ord<K> ord, Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for tree maps.
`static <K,V> Gen<fj.data.TreeMap<K,V>>`	`arbTreeMap(fj.Ord<K> ord, Gen<K> ak, Gen<V> av, Gen<java.lang.Integer> ai)` Returns an arbitrary implementation for tree maps where the map size is the given arbitrary integer.
`static <K,V> Gen<fj.data.TreeMap<K,V>>`	`arbTreeMap(fj.Ord<K> ord, Gen<K> ak, Gen<V> av, int maxSize)` Returns an arbitrary implementation for tree maps where the size is less than or equal to the max size.
`static <K,V> Gen<fj.data.TreeMap<K,V>>`	`arbTreeMap(fj.Ord<K> ord, Gen<fj.data.List<fj.P2<K,V>>> al)` Returns an arbitrary implementation for tree maps.
`static <A> Gen<java.util.TreeSet<A>>`	`arbTreeSet(Gen<A> aa)` Returns an arbitrary implementation for tree sets.
`static <A,B> Gen<fj.data.Validation<A,B>>`	`arbValidation(Gen<A> aa, Gen<B> ab)` Returns an arbitrary Validation for the given arbitrary parameters.
`static <A> Gen<java.util.Vector<A>>`	`arbVector(Gen<A> aa)` Returns an arbitrary implementation for vectors.
`static <K,V> Gen<java.util.WeakHashMap<K,V>>`	`arbWeakHashMap(Gen<K> ak, Gen<V> av)` Returns an arbitrary implementation for weak hash maps.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
 - arbBoolean
```
public static final Gen<java.lang.Boolean> arbBoolean
```
 An arbitrary implementation for boolean values.
 - arbInteger
```
public static final Gen<java.lang.Integer> arbInteger
```
 An arbitrary implementation for integer values.
 - arbIntegerBoundaries
```
public static final Gen<java.lang.Integer> arbIntegerBoundaries
```
 An arbitrary implementation for integer values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from arbInteger the remainder of the time (93%).
 - arbLong
```
public static final Gen<java.lang.Long> arbLong
```
 An arbitrary implementation for long values.
 - arbLongBoundaries
```
public static final Gen<java.lang.Long> arbLongBoundaries
```
 An arbitrary implementation for long values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from arbLong the remainder of the time (93%).
 - arbByte
```
public static final Gen<java.lang.Byte> arbByte
```
 An arbitrary implementation for byte values.
 - arbByteBoundaries
```
public static final Gen<java.lang.Byte> arbByteBoundaries
```
 An arbitrary implementation for byte values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from arbByte the remainder of the time (93%).
 - arbShort
```
public static final Gen<java.lang.Short> arbShort
```
 An arbitrary implementation for short values.
 - arbShortBoundaries
```
public static final Gen<java.lang.Short> arbShortBoundaries
```
 An arbitrary implementation for short values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from arbShort the remainder of the time (93%).
 - arbCharacter
```
public static final Gen<java.lang.Character> arbCharacter
```
 An arbitrary implementation for character values.
 - arbCharacterBoundaries
```
public static final Gen<java.lang.Character> arbCharacterBoundaries
```
 An arbitrary implementation for character values that checks boundary values (max, min, max - 1, min + 1) with a frequency of 1% each then generates from arbCharacter the remainder of the time (96%).
 - arbDouble
```
public static final Gen<java.lang.Double> arbDouble
```
 An arbitrary implementation for double values.
 - arbDoubleBoundaries
```
public static final Gen<java.lang.Double> arbDoubleBoundaries
```
 An arbitrary implementation for double values that checks boundary values (0, 1, -1, max, min, min (normal), NaN, -infinity, infinity, max - 1) with a frequency of 1% each then generates from arbDouble the remainder of the time (91%).
 - arbFloat
```
public static final Gen<java.lang.Float> arbFloat
```
 An arbitrary implementation for float values.
 - arbFloatBoundaries
```
public static final Gen<java.lang.Float> arbFloatBoundaries
```
 An arbitrary implementation for float values that checks boundary values (0, 1, -1, max, min, NaN, -infinity, infinity, max - 1) with a frequency of 1% each then generates from arbFloat the remainder of the time (91%).
 - arbString
```
public static final Gen<java.lang.String> arbString
```
 An arbitrary implementation for string values.
 - arbUSASCIIString
```
public static final Gen<java.lang.String> arbUSASCIIString
```
 An arbitrary implementation for string values with characters in the US-ASCII range.
 - arbAlphaNumString
```
public static final Gen<java.lang.String> arbAlphaNumString
```
 An arbitrary implementation for string values with alpha-numeric characters.
 - arbStringBuffer
```
public static final Gen<java.lang.StringBuffer> arbStringBuffer
```
 An arbitrary implementation for string buffer values.
 - arbStringBuilder
```
public static final Gen<java.lang.StringBuilder> arbStringBuilder
```
 An arbitrary implementation for string builder values.
 - arbThrowable
```
public static final Gen<java.lang.Throwable> arbThrowable
```
 An arbitrary implementation for throwables.
 - arbBitSet
```
public static final Gen<java.util.BitSet> arbBitSet
```
 An arbitrary implementation for bit sets.
 - arbCalendar
```
public static final Gen<java.util.Calendar> arbCalendar
```
 An arbitrary implementation for calendars.
 - arbDate
```
public static final Gen<java.util.Date> arbDate
```
 An arbitrary implementation for dates.
 - arbGregorianCalendar
```
public static final Gen<java.util.GregorianCalendar> arbGregorianCalendar
```
 An arbitrary implementation for gregorian calendars.
 - arbProperties
```
public static final Gen<java.util.Properties> arbProperties
```
 An arbitrary implementation for properties.
 - arbSQLDate
```
public static final Gen<java.sql.Date> arbSQLDate
```
 An arbitrary implementation for SQL dates.
 - arbTime
```
public static final Gen<java.sql.Time> arbTime
```
 An arbitrary implementation for SQL times.
 - arbTimestamp
```
public static final Gen<java.sql.Timestamp> arbTimestamp
```
 An arbitrary implementation for SQL time stamps.
 - arbBigInteger
```
public static final Gen<java.math.BigInteger> arbBigInteger
```
 An arbitrary implementation for big integers.
 - arbBigDecimal
```
public static final Gen<java.math.BigDecimal> arbBigDecimal
```
 An arbitrary implementation for big decimals.
 - arbNatural
```
public static final Gen<fj.data.Natural> arbNatural
```
 An arbitrary implementation for naturals.
 - arbLocale
```
public static final Gen<java.util.Locale> arbLocale
```
 An arbitrary implementation for locales.
- Constructor Detail
 - Arbitrary
```
public Arbitrary()
```
- Method Detail
 - arbF
```
public static <A,B> Gen<fj.F<A,B>> arbF(Cogen<A> c,
 Gen a)
```
 An arbitrary for functions.
 
 Parameters:
 
 c - The cogen for the function domain.
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for functions.
 - arbReader
```
public static <A,B> Gen<fj.data.Reader<A,B>> arbReader(Cogen<A> aa,
 Gen ab)
```
 - arbState
```
public static <S,A> Gen<fj.data.State<S,A>> arbState(Gen<S> as,
 Cogen<S> cs,
 Gen<A> aa)
```
 An arbitrary for state.
 - arbLcgRng
```
public static <A> Gen<fj.LcgRng> arbLcgRng()
```
 An arbitrary for the LcgRng.
 - arbFInvariant
```
public static <A,B> Gen<fj.F<A,B>> arbFInvariant(Gen a)
```
 An arbitrary for functions.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for functions.
 - arbF2
```
public static <A,B,C> Gen<fj.F2<A,B,C>> arbF2(Cogen<A> ca,
 Cogen cb,
 Gen<C> a)
```
 An arbitrary for function-2.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-2.
 - arbF2Invariant
```
public static <A,B,C> Gen<fj.F2<A,B,C>> arbF2Invariant(Gen<C> a)
```
 An arbitrary for function-2.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-2.
 - arbF3
```
public static <A,B,C,D> Gen<fj.F3<A,B,C,D>> arbF3(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Gen<D> a)
```
 An arbitrary for function-3.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-3.
 - arbF3Invariant
```
public static <A,B,C,D> Gen<fj.F3<A,B,C,D>> arbF3Invariant(Gen<D> a)
```
 An arbitrary for function-3.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-3.
 - arbF4
```
public static <A,B,C,D,E> Gen<fj.F4<A,B,C,D,E>> arbF4(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Cogen<D> cd,
 Gen<E> a)
```
 An arbitrary for function-4.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 cd - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-4.
 - arbF4Invariant
```
public static <A,B,C,D,E> Gen<fj.F4<A,B,C,D,E>> arbF4Invariant(Gen<E> a)
```
 An arbitrary for function-4.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-4.
 - arbF5
```
public static <A,B,C,D,E,F$> Gen<fj.F5<A,B,C,D,E,F$>> arbF5(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Cogen<D> cd,
 Cogen<E> ce,
 Gen<F$> a)
```
 An arbitrary for function-5.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 cd - A cogen for the part of the domain of the function.
 
 ce - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-5.
 - arbF5Invariant
```
public static <A,B,C,D,E,F$> Gen<fj.F5<A,B,C,D,E,F$>> arbF5Invariant(Gen<F$> a)
```
 An arbitrary for function-5.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-5.
 - arbF6
```
public static <A,B,C,D,E,F$,G> Gen<fj.F6<A,B,C,D,E,F$,G>> arbF6(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Cogen<D> cd,
 Cogen<E> ce,
 Cogen<F$> cf,
 Gen<G> a)
```
 An arbitrary for function-6.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 cd - A cogen for the part of the domain of the function.
 
 ce - A cogen for the part of the domain of the function.
 
 cf - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-6.
 - arbF6Invariant
```
public static <A,B,C,D,E,F$,G> Gen<fj.F6<A,B,C,D,E,F$,G>> arbF6Invariant(Gen<G> a)
```
 An arbitrary for function-6.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-6.
 - arbF7
```
public static <A,B,C,D,E,F$,G,H> Gen<fj.F7<A,B,C,D,E,F$,G,H>> arbF7(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Cogen<D> cd,
 Cogen<E> ce,
 Cogen<F$> cf,
 Cogen<G> cg,
 Gen<H> a)
```
 An arbitrary for function-7.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 cd - A cogen for the part of the domain of the function.
 
 ce - A cogen for the part of the domain of the function.
 
 cf - A cogen for the part of the domain of the function.
 
 cg - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-7.
 - arbF7Invariant
```
public static <A,B,C,D,E,F$,G,H> Gen<fj.F7<A,B,C,D,E,F$,G,H>> arbF7Invariant(Gen<H> a)
```
 An arbitrary for function-7.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-7.
 - arbF8
```
public static <A,B,C,D,E,F$,G,H,I> Gen<fj.F8<A,B,C,D,E,F$,G,H,I>> arbF8(Cogen<A> ca,
 Cogen cb,
 Cogen<C> cc,
 Cogen<D> cd,
 Cogen<E> ce,
 Cogen<F$> cf,
 Cogen<G> cg,
 Cogen<H> ch,
 Gen a)
```
 An arbitrary for function-8.
 
 Parameters:
 
 ca - A cogen for the part of the domain of the function.
 
 cb - A cogen for the part of the domain of the function.
 
 cc - A cogen for the part of the domain of the function.
 
 cd - A cogen for the part of the domain of the function.
 
 ce - A cogen for the part of the domain of the function.
 
 cf - A cogen for the part of the domain of the function.
 
 cg - A cogen for the part of the domain of the function.
 
 ch - A cogen for the part of the domain of the function.
 
 a - An arbitrary for the codomain of the function.
 
 Returns:
 
 An arbitrary for function-8.
 - arbF8Invariant
```
public static <A,B,C,D,E,F$,G,H,I> Gen<fj.F8<A,B,C,D,E,F$,G,H,I>> arbF8Invariant(Gen a)
```
 An arbitrary for function-8.
 
 Parameters:
 
 a - The arbitrary for the function codomain.
 
 Returns:
 
 An arbitrary for function-8.
 - arbGen
```
public static <A> Gen<Gen<A>> arbGen(Gen<A> aa)
```
 Returns an arbitrary implementation for generators.
 
 Parameters:
 
 aa - an arbitrary implementation for the type over which the generator is defined.
 
 Returns:
 
 An arbitrary implementation for generators.
 - arbOption
```
public static <A> Gen<fj.data.Option<A>> arbOption(Gen<A> aa)
```
 Returns an arbitrary implementation for optional values.
 
 Parameters:
 
 aa - an arbitrary implementation for the type over which the optional value is defined.
 
 Returns:
 
 An arbitrary implementation for optional values.
 - arbEither
```
public static <A,B> Gen<fj.data.Either<A,B>> arbEither(Gen<A> aa,
 Gen ab)
```
 Returns an arbitrary implementation for the disjoint union.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which one side of the disjoint union is defined.
 
 ab - An arbitrary implementation for the type over which one side of the disjoint union is defined.
 
 Returns:
 
 An arbitrary implementation for the disjoint union.
 - arbList
```
public static <A> Gen<fj.data.List<A>> arbList(Gen<A> aa)
```
 Returns an arbitrary implementation for lists.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the list is defined.
 
 Returns:
 
 An arbitrary implementation for lists.
 - arbListInteger
```
public static <A> Gen<fj.data.List<java.lang.Integer>> arbListInteger()
```
 Returns an arbitrary list of integers.
 - arbListString
```
public static <A> Gen<fj.data.List<java.lang.String>> arbListString()
```
 Returns an arbitrary list of strings.
 - arbListBoolean
```
public static <A> Gen<fj.data.List<java.lang.Boolean>> arbListBoolean()
```
 Returns an arbitrary list of booleans.
 - arbListDouble
```
public static <A> Gen<fj.data.List<java.lang.Double>> arbListDouble()
```
 Returns an arbitrary list of doubles.
 - arbNonEmptyList
```
public static <A> Gen<fj.data.NonEmptyList<A>> arbNonEmptyList(Gen<A> aa)
```
 - arbValidation
```
public static <A,B> Gen<fj.data.Validation<A,B>> arbValidation(Gen<A> aa,
 Gen ab)
```
 Returns an arbitrary Validation for the given arbitrary parameters.
 - arbStream
```
public static <A> Gen<fj.data.Stream<A>> arbStream(Gen<A> aa)
```
 Returns an arbitrary implementation for streams.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the stream is defined.
 
 Returns:
 
 An arbitrary implementation for streams.
 - arbArray
```
public static <A> Gen<fj.data.Array<A>> arbArray(Gen<A> aa)
```
 Returns an arbitrary implementation for arrays.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the array is defined.
 
 Returns:
 
 An arbitrary implementation for arrays.
 - arbSeq
```
public static <A> Gen<fj.data.Seq<A>> arbSeq(Gen<A> aa)
```
 Returns an arbitrary implementation for sequences.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the sequence is defined.
 
 Returns:
 
 An arbitrary implementation for sequences.
 - arbSet
```
public static <A> Gen<fj.data.Set<A>> arbSet(fj.Ord<A> ord,
 Gen<A> aa)
```
 - arbSet
```
public static <A> Gen<fj.data.Set<A>> arbSet(fj.Ord<A> ord,
 Gen<A> aa,
 int max)
```
 - arbThrowable
```
public static Gen<java.lang.Throwable> arbThrowable(Gen<java.lang.String> as)
```
 Returns an arbitrary implementation for throwables.
 
 Parameters:
 
 as - An arbitrary used for the throwable message.
 
 Returns:
 
 An arbitrary implementation for throwables.
 - arbArrayList
```
public static <A> Gen<java.util.ArrayList<A>> arbArrayList(Gen<A> aa)
```
 Returns an arbitrary implementation for array lists.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the array list is defined.
 
 Returns:
 
 An arbitrary implementation for array lists.
 - arbEnumValue
```
public static <A extends java.lang.Enum<A>> Gen<A> arbEnumValue(java.lang.Class<A> clazz)
```
 Returns an arbitrary implementation for a Java enumeration.
 
 Parameters:
 
 clazz - The type of enum to return an arbitrary of.
 
 Returns:
 
 An arbitrary for instances of the supplied enum type.
 - arbEnumMap
```
public static <K extends java.lang.Enum<K>,V> Gen<java.util.EnumMap<K,V>> arbEnumMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for enum maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the enum map's keys are defined.
 
 av - An arbitrary implementation for the type over which the enum map's values are defined.
 
 Returns:
 
 An arbitrary implementation for enum maps.
 - arbEnumSet
```
public static <A extends java.lang.Enum<A>> Gen<java.util.EnumSet<A>> arbEnumSet(Gen<A> aa)
```
 Returns an arbitrary implementation for enum sets.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the enum set is defined.
 
 Returns:
 
 An arbitrary implementation for enum sets.
 - arbHashMap
```
public static <K,V> Gen<java.util.HashMap<K,V>> arbHashMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for hash maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the hash map's keys are defined.
 
 av - An arbitrary implementation for the type over which the hash map's values are defined.
 
 Returns:
 
 An arbitrary implementation for hash maps.
 - arbHashSet
```
public static <A> Gen<java.util.HashSet<A>> arbHashSet(Gen<A> aa)
```
 Returns an arbitrary implementation for hash sets.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the hash set is defined.
 
 Returns:
 
 An arbitrary implementation for hash sets.
 - arbHashtable
```
public static <K,V> Gen<java.util.Hashtable<K,V>> arbHashtable(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for hash tables.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the hash table's keys are defined.
 
 av - An arbitrary implementation for the type over which the hash table's values are defined.
 
 Returns:
 
 An arbitrary implementation for hash tables.
 - arbIdentityHashMap
```
public static <K,V> Gen<java.util.IdentityHashMap<K,V>> arbIdentityHashMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for identity hash maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the identity hash map's keys are defined.
 
 av - An arbitrary implementation for the type over which the identity hash map's values are defined.
 
 Returns:
 
 An arbitrary implementation for identity hash maps.
 - arbLinkedHashMap
```
public static <K,V> Gen<java.util.LinkedHashMap<K,V>> arbLinkedHashMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for linked hash maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the linked hash map's keys are defined.
 
 av - An arbitrary implementation for the type over which the linked hash map's values are defined.
 
 Returns:
 
 An arbitrary implementation for linked hash maps.
 - arbLinkedHashSet
```
public static <A> Gen<java.util.LinkedHashSet<A>> arbLinkedHashSet(Gen<A> aa)
```
 Returns an arbitrary implementation for hash sets.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the hash set is defined.
 
 Returns:
 
 An arbitrary implementation for hash sets.
 - arbLinkedList
```
public static <A> Gen<java.util.LinkedList<A>> arbLinkedList(Gen<A> aa)
```
 Returns an arbitrary implementation for linked lists.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the linked list is defined.
 
 Returns:
 
 An arbitrary implementation for linked lists.
 - arbPriorityQueue
```
public static <A> Gen<java.util.PriorityQueue<A>> arbPriorityQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for priority queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the priority queue is defined.
 
 Returns:
 
 An arbitrary implementation for priority queues.
 - arbStack
```
public static <A> Gen<java.util.Stack<A>> arbStack(Gen<A> aa)
```
 Returns an arbitrary implementation for stacks.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the stack is defined.
 
 Returns:
 
 An arbitrary implementation for stacks.
 - arbJavaTreeMap
```
public static <K,V> Gen<java.util.TreeMap<K,V>> arbJavaTreeMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for java.util tree maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the tree map's keys are defined.
 
 av - An arbitrary implementation for the type over which the tree map's values are defined.
 
 Returns:
 
 An arbitrary implementation for tree maps.
 - arbTreeMap
```
public static <K,V> Gen<fj.data.TreeMap<K,V>> arbTreeMap(fj.Ord<K> ord,
 Gen<fj.data.List<fj.P2<K,V>>> al)
```
 Returns an arbitrary implementation for tree maps.
 - arbTreeMap
```
public static <K,V> Gen<fj.data.TreeMap<K,V>> arbTreeMap(fj.Ord<K> ord,
 Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for tree maps.
 - arbTreeMap
```
public static <K,V> Gen<fj.data.TreeMap<K,V>> arbTreeMap(fj.Ord<K> ord,
 Gen<K> ak,
 Gen<V> av,
 Gen<java.lang.Integer> ai)
```
 Returns an arbitrary implementation for tree maps where the map size is the given arbitrary integer.
 - arbTreeMap
```
public static <K,V> Gen<fj.data.TreeMap<K,V>> arbTreeMap(fj.Ord<K> ord,
 Gen<K> ak,
 Gen<V> av,
 int maxSize)
```
 Returns an arbitrary implementation for tree maps where the size is less than or equal to the max size.
 - arbTreeSet
```
public static <A> Gen<java.util.TreeSet<A>> arbTreeSet(Gen<A> aa)
```
 Returns an arbitrary implementation for tree sets.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the tree set is defined.
 
 Returns:
 
 An arbitrary implementation for tree sets.
 - arbVector
```
public static <A> Gen<java.util.Vector<A>> arbVector(Gen<A> aa)
```
 Returns an arbitrary implementation for vectors.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the vector is defined.
 
 Returns:
 
 An arbitrary implementation for vectors.
 - arbWeakHashMap
```
public static <K,V> Gen<java.util.WeakHashMap<K,V>> arbWeakHashMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for weak hash maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the weak hash map's keys are defined.
 
 av - An arbitrary implementation for the type over which the weak hash map's values are defined.
 
 Returns:
 
 An arbitrary implementation for weak hash maps.
 - arbArrayBlockingQueue
```
public static <A> Gen<java.util.concurrent.ArrayBlockingQueue<A>> arbArrayBlockingQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for array blocking queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the array blocking queue is defined.
 
 Returns:
 
 An arbitrary implementation for array blocking queues.
 - arbConcurrentHashMap
```
public static <K,V> Gen<java.util.concurrent.ConcurrentHashMap<K,V>> arbConcurrentHashMap(Gen<K> ak,
 Gen<V> av)
```
 Returns an arbitrary implementation for concurrent hash maps.
 
 Parameters:
 
 ak - An arbitrary implementation for the type over which the concurrent hash map's keys are defined.
 
 av - An arbitrary implementation for the type over which the concurrent hash map's values are defined.
 
 Returns:
 
 An arbitrary implementation for concurrent hash maps.
 - arbConcurrentLinkedQueue
```
public static <A> Gen<java.util.concurrent.ConcurrentLinkedQueue<A>> arbConcurrentLinkedQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for concurrent linked queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the concurrent linked queue is defined.
 
 Returns:
 
 An arbitrary implementation for concurrent linked queues.
 - arbCopyOnWriteArrayList
```
public static <A> Gen<java.util.concurrent.CopyOnWriteArrayList<A>> arbCopyOnWriteArrayList(Gen<A> aa)
```
 Returns an arbitrary implementation for copy-on-write array lists.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the copy-on-write array list is defined.
 
 Returns:
 
 An arbitrary implementation for copy-on-write array lists.
 - arbCopyOnWriteArraySet
```
public static <A> Gen<java.util.concurrent.CopyOnWriteArraySet<A>> arbCopyOnWriteArraySet(Gen<A> aa)
```
 Returns an arbitrary implementation for copy-on-write array sets.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the copy-on-write array set is defined.
 
 Returns:
 
 An arbitrary implementation for copy-on-write array sets.
 - arbDelayQueue
```
public static <A extends java.util.concurrent.Delayed> Gen<java.util.concurrent.DelayQueue<A>> arbDelayQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for delay queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the delay queue is defined.
 
 Returns:
 
 An arbitrary implementation for delay queues.
 - arbLinkedBlockingQueue
```
public static <A> Gen<java.util.concurrent.LinkedBlockingQueue<A>> arbLinkedBlockingQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for linked blocking queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the linked blocking queue is defined.
 
 Returns:
 
 An arbitrary implementation for linked blocking queues.
 - arbPriorityBlockingQueue
```
public static <A> Gen<java.util.concurrent.PriorityBlockingQueue<A>> arbPriorityBlockingQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for priority blocking queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the priority blocking queue is defined.
 
 Returns:
 
 An arbitrary implementation for priority blocking queues.
 - arbSynchronousQueue
```
public static <A> Gen<java.util.concurrent.SynchronousQueue<A>> arbSynchronousQueue(Gen<A> aa)
```
 Returns an arbitrary implementation for priority blocking queues.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the priority blocking queue is defined.
 
 Returns:
 
 An arbitrary implementation for priority blocking queues.
 - arbP1
```
public static <A> Gen<fj.P1<A>> arbP1(Gen<A> aa)
```
 Returns an arbitrary implementation for product-1 values.
 
 Parameters:
 
 aa - An arbitrary implementation for the type over which the product-1 is defined.
 
 Returns:
 
 An arbitrary implementation for product-1 values.
 - arbP2
```
public static <A,B> Gen<fj.P2<A,B>> arbP2(Gen<A> aa,
 Gen ab)
```
 Returns an arbitrary implementation for product-2 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-2 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-2 is defined.
 
 Returns:
 
 An arbitrary implementation for product-2 values.
 - arbP3
```
public static <A,B,C> Gen<fj.P3<A,B,C>> arbP3(Gen<A> aa,
 Gen ab,
 Gen<C> ac)
```
 Returns an arbitrary implementation for product-3 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-3 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-3 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-3 is defined.
 
 Returns:
 
 An arbitrary implementation for product-3 values.
 - arbP4
```
public static <A,B,C,D> Gen<fj.P4<A,B,C,D>> arbP4(Gen<A> aa,
 Gen ab,
 Gen<C> ac,
 Gen<D> ad)
```
 Returns an arbitrary implementation for product-4 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-4 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-4 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-4 is defined.
 
 ad - An arbitrary implementation for one of the types over which the product-4 is defined.
 
 Returns:
 
 An arbitrary implementation for product-4 values.
 - arbP5
```
public static <A,B,C,D,E> Gen<fj.P5<A,B,C,D,E>> arbP5(Gen<A> aa,
 Gen ab,
 Gen<C> ac,
 Gen<D> ad,
 Gen<E> ae)
```
 Returns an arbitrary implementation for product-5 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-5 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-5 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-5 is defined.
 
 ad - An arbitrary implementation for one of the types over which the product-5 is defined.
 
 ae - An arbitrary implementation for one of the types over which the product-5 is defined.
 
 Returns:
 
 An arbitrary implementation for product-5 values.
 - arbP6
```
public static <A,B,C,D,E,F$> Gen<fj.P6<A,B,C,D,E,F$>> arbP6(Gen<A> aa,
 Gen ab,
 Gen<C> ac,
 Gen<D> ad,
 Gen<E> ae,
 Gen<F$> af)
```
 Returns an arbitrary implementation for product-6 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-6 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-6 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-6 is defined.
 
 ad - An arbitrary implementation for one of the types over which the product-6 is defined.
 
 ae - An arbitrary implementation for one of the types over which the product-6 is defined.
 
 af - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 Returns:
 
 An arbitrary implementation for product-6 values.
 - arbP7
```
public static <A,B,C,D,E,F$,G> Gen<fj.P7<A,B,C,D,E,F$,G>> arbP7(Gen<A> aa,
 Gen ab,
 Gen<C> ac,
 Gen<D> ad,
 Gen<E> ae,
 Gen<F$> af,
 Gen<G> ag)
```
 Returns an arbitrary implementation for product-7 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-7 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 ad - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 ae - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 af - An arbitrary implementation for one of the types over which the product-7 is defined.
 
 ag - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 Returns:
 
 An arbitrary implementation for product-7 values.
 - arbP8
```
public static <A,B,C,D,E,F$,G,H> Gen<fj.P8<A,B,C,D,E,F$,G,H>> arbP8(Gen<A> aa,
 Gen ab,
 Gen<C> ac,
 Gen<D> ad,
 Gen<E> ae,
 Gen<F$> af,
 Gen<G> ag,
 Gen<H> ah)
```
 Returns an arbitrary implementation for product-8 values.
 
 Parameters:
 
 aa - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 ab - An Arbitrary implementation for one of the types over which the product-8 is defined.
 
 ac - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 ad - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 ae - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 af - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 ag - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 ah - An arbitrary implementation for one of the types over which the product-8 is defined.
 
 Returns:
 
 An arbitrary implementation for product-8 values.

Class Arbitrary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

arbBoolean

arbInteger

arbIntegerBoundaries

arbLong

arbLongBoundaries

arbByte

arbByteBoundaries

arbShort

arbShortBoundaries

arbCharacter

arbCharacterBoundaries

arbDouble

arbDoubleBoundaries

arbFloat

arbFloatBoundaries

arbString

arbUSASCIIString

arbAlphaNumString

arbStringBuffer

arbStringBuilder

arbThrowable

arbBitSet

arbCalendar

arbDate

arbGregorianCalendar

arbProperties

arbSQLDate

arbTime

arbTimestamp

arbBigInteger

arbBigDecimal

arbNatural

arbLocale

Constructor Detail

Arbitrary

Method Detail

arbF

arbReader

arbState

arbLcgRng

arbFInvariant

arbF2

arbF2Invariant

arbF3

arbF3Invariant

arbF4

arbF4Invariant

arbF5

arbF5Invariant

arbF6

arbF6Invariant

arbF7

arbF7Invariant

arbF8

arbF8Invariant

arbGen

arbOption

arbEither

arbList

arbListInteger

arbListString

arbListBoolean

arbListDouble

arbNonEmptyList

arbValidation

arbStream

arbArray

arbSeq

arbSet

arbSet

arbThrowable

arbArrayList

arbEnumValue

arbEnumMap