public abstract class Coarbitrary<A>
extends java.lang.Object
arbitrary functions.| Modifier and Type | Field and Description |
|---|---|
static Coarbitrary<java.math.BigDecimal> |
coarbBigDecimal |
static Coarbitrary<java.math.BigInteger> |
coarbBigInteger |
static Coarbitrary<java.util.BitSet> |
coarbBitSet
A coarbitrary for bit sets.
|
static Coarbitrary<java.lang.Boolean> |
coarbBoolean
A coarbitrary for booleans.
|
static Coarbitrary<java.lang.Byte> |
coarbByte
A coarbitrary for bytes.
|
static Coarbitrary<java.util.Calendar> |
coarbCalendar
A coarbitrary for calendars.
|
static Coarbitrary<java.lang.Character> |
coarbCharacter
A coarbitrary for characters.
|
static Coarbitrary<java.util.Date> |
coarbDate
A coarbitrary for dates.
|
static Coarbitrary<java.lang.Double> |
coarbDouble
A coarbitrary for doubles.
|
static Coarbitrary<java.lang.Float> |
coarbFloat
A coarbitrary for floats.
|
static Coarbitrary<java.util.GregorianCalendar> |
coarbGregorianCalendar
A coarbitrary for gregorian calendars.
|
static Coarbitrary<java.lang.Integer> |
coarbInteger
A coarbitrary for integers.
|
static Coarbitrary<java.lang.Long> |
coarbLong
A coarbitrary for longs.
|
static Coarbitrary<java.util.Properties> |
coarbProperties
A coarbitrary for properties.
|
static Coarbitrary<java.lang.Short> |
coarbShort
A coarbitrary for shorts.
|
static Coarbitrary<java.sql.Date> |
coarbSQLDate |
static Coarbitrary<java.lang.String> |
coarbString
A coarbitrary for strings.
|
static Coarbitrary<java.lang.StringBuffer> |
coarbStringBuffer
A coarbitrary for string buffers.
|
static Coarbitrary<java.lang.StringBuilder> |
coarbStringBuilder
A coarbitrary for string builders.
|
static Coarbitrary<java.lang.Throwable> |
coarbThrowable
A coarbitrary for throwables.
|
static Coarbitrary<java.sql.Time> |
coarbTime |
static Coarbitrary<java.sql.Timestamp> |
coarbTimestamp |
| Constructor and Description |
|---|
Coarbitrary() |
| Modifier and Type | Method and Description |
|---|---|
static <A> Coarbitrary<Array<A>> |
coarbArray(Coarbitrary<A> ca)
A coarbitrary for arrays.
|
static <A> Coarbitrary<java.util.concurrent.ArrayBlockingQueue<A>> |
coarbArrayBlockingQueue(Coarbitrary<A> c)
A coarbitrary for array blocking queues.
|
static <A> Coarbitrary<java.util.ArrayList<A>> |
coarbArrayList(Coarbitrary<A> ca)
A coarbitrary for array lists.
|
static <K,V> Coarbitrary<java.util.concurrent.ConcurrentHashMap<K,V>> |
coarbConcurrentHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for concurrent hash maps.
|
static <A> Coarbitrary<java.util.concurrent.ConcurrentLinkedQueue<A>> |
coarbConcurrentLinkedQueue(Coarbitrary<A> c)
A coarbitrary for concurrent linked queues.
|
static <A> Coarbitrary<java.util.concurrent.CopyOnWriteArrayList<A>> |
coarbCopyOnWriteArrayList(Coarbitrary<A> c)
A coarbitrary for copy-on-write array lists.
|
static <A> Coarbitrary<java.util.concurrent.CopyOnWriteArraySet<A>> |
coarbCopyOnWriteArraySet(Coarbitrary<A> c)
A coarbitrary for copy-on-write array sets.
|
static <A extends java.util.concurrent.Delayed> |
coarbDelayQueue(Coarbitrary<A> c)
A coarbitrary for delay queues.
|
static <A,B> Coarbitrary<Either<A,B>> |
coarbEither(Coarbitrary<A> ca,
Coarbitrary<B> cb)
A coarbitrary for the disjoint union.
|
static <K extends java.lang.Enum<K>,V> |
coarbEnumMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for enum maps.
|
static <A extends java.lang.Enum<A>> |
coarbEnumSet(Coarbitrary<A> c)
A coarbitrary for enum sets.
|
static <A,B> Coarbitrary<F<A,B>> |
coarbF(Arbitrary<A> a,
Coarbitrary<B> c)
A coarbitrary for a function.
|
static <A,B,C> Coarbitrary<F2<A,B,C>> |
coarbF2(Arbitrary<A> aa,
Arbitrary<B> ab,
Coarbitrary<C> c)
A coarbitrary for a function-2.
|
static <A,B,C,D> Coarbitrary<F3<A,B,C,D>> |
coarbF3(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Coarbitrary<D> c)
A coarbitrary for a function-3.
|
static <A,B,C,D,E> |
coarbF4(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Coarbitrary<E> c)
A coarbitrary for a function-4.
|
static <A,B,C,D,E,F$> |
coarbF5(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Arbitrary<E> ae,
Coarbitrary<F$> c)
A coarbitrary for a function-5.
|
static <A,B,C,D,E,F$,G> |
coarbF6(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Arbitrary<E> ae,
Arbitrary<F$> af,
Coarbitrary<G> c)
A coarbitrary for a function-6.
|
static <A,B,C,D,E,F$,G,H> |
coarbF7(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Arbitrary<E> ae,
Arbitrary<F$> af,
Arbitrary<G> ag,
Coarbitrary<H> c)
A coarbitrary for a function-7.
|
static <A,B,C,D,E,F$,G,H,I> |
coarbF8(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Arbitrary<E> ae,
Arbitrary<F$> af,
Arbitrary<G> ag,
Arbitrary<H> ah,
Coarbitrary<I> c)
A coarbitrary for a function-8.
|
static <K,V> Coarbitrary<java.util.HashMap<K,V>> |
coarbHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for hash maps.
|
static <A> Coarbitrary<java.util.HashSet<A>> |
coarbHashSet(Coarbitrary<A> c)
A coarbitrary for hash sets.
|
static <K,V> Coarbitrary<java.util.Hashtable<K,V>> |
coarbHashtable(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for hash tables.
|
static <K,V> Coarbitrary<java.util.IdentityHashMap<K,V>> |
coarbIdentityHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for identity hash maps.
|
<B> F<Gen<B>,Gen<B>> |
coarbitrary(A a)
A curried version of
coarbitrary(Object, Gen). |
abstract <B> Gen<B> |
coarbitrary(A a,
Gen<B> g)
Transforms the given value and generator to a new generator with a high probability of being
independent.
|
static <A> Coarbitrary<java.util.concurrent.LinkedBlockingQueue<A>> |
coarbLinkedBlockingQueue(Coarbitrary<A> c)
A coarbitrary for linked blocking queues.
|
static <K,V> Coarbitrary<java.util.LinkedHashMap<K,V>> |
coarbLinkedHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for linked hash maps.
|
static <A> Coarbitrary<java.util.LinkedHashSet<A>> |
coarbLinkedHashSet(Coarbitrary<A> c)
A coarbitrary for linked hash sets.
|
static <A> Coarbitrary<java.util.LinkedList<A>> |
coarbLinkedList(Coarbitrary<A> c)
A coarbitrary for linked lists.
|
static <A> Coarbitrary<List<A>> |
coarbList(Coarbitrary<A> ca)
A coarbitrary for lists.
|
static <A> Coarbitrary<Option<A>> |
coarbOption(Coarbitrary<A> ca)
A coarbitrary for the optional value.
|
static <A> Coarbitrary<P1<A>> |
coarbP1(Coarbitrary<A> ca)
A coarbitrary for product-1 values.
|
static <A,B> Coarbitrary<P2<A,B>> |
coarbP2(Coarbitrary<A> ca,
Coarbitrary<B> cb)
A coarbitrary for product-2 values.
|
static <A,B,C> Coarbitrary<P3<A,B,C>> |
coarbP3(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc)
A coarbitrary for product-3 values.
|
static <A,B,C,D> Coarbitrary<P4<A,B,C,D>> |
coarbP4(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd)
A coarbitrary for product-4 values.
|
static <A,B,C,D,E> |
coarbP5(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd,
Coarbitrary<E> ce)
A coarbitrary for product-5 values.
|
static <A,B,C,D,E,F$> |
coarbP6(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd,
Coarbitrary<E> ce,
Coarbitrary<F$> cf)
A coarbitrary for product-6 values.
|
static <A,B,C,D,E,F$,G> |
coarbP7(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd,
Coarbitrary<E> ce,
Coarbitrary<F$> cf,
Coarbitrary<G> cg)
A coarbitrary for product-7 values.
|
static <A,B,C,D,E,F$,G,H> |
coarbP8(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd,
Coarbitrary<E> ce,
Coarbitrary<F$> cf,
Coarbitrary<G> cg,
Coarbitrary<H> ch)
A coarbitrary for product-8 values.
|
static <A> Coarbitrary<java.util.concurrent.PriorityBlockingQueue<A>> |
coarbPriorityBlockingQueue(Coarbitrary<A> c)
A coarbitrary for priority blocking queues.
|
static <A> Coarbitrary<java.util.PriorityQueue<A>> |
coarbPriorityQueue(Coarbitrary<A> c)
A coarbitrary for priority queues.
|
static <A> Coarbitrary<java.util.Stack<A>> |
coarbStack(Coarbitrary<A> c)
A coarbitrary for stacks.
|
static <A> Coarbitrary<Stream<A>> |
coarbStream(Coarbitrary<A> ca)
A coarbitrary for streams.
|
static <A> Coarbitrary<java.util.concurrent.SynchronousQueue<A>> |
coarbSynchronousQueue(Coarbitrary<A> c)
A coarbitrary for synchronous queues.
|
static Coarbitrary<java.lang.Throwable> |
coarbThrowable(Coarbitrary<java.lang.String> cs)
A coarbitrary for throwables.
|
static <K,V> Coarbitrary<java.util.TreeMap<K,V>> |
coarbTreeMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for tree maps.
|
static <A> Coarbitrary<java.util.TreeSet<A>> |
coarbTreeSet(Coarbitrary<A> c)
A coarbitrary for tree sets.
|
static <A> Coarbitrary<java.util.Vector<A>> |
coarbVector(Coarbitrary<A> c)
A coarbitrary for vectors.
|
static <K,V> Coarbitrary<java.util.WeakHashMap<K,V>> |
coarbWeakHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for weak hash maps.
|
<B> Coarbitrary<B> |
comap(F<B,A> f)
Co-maps this coarbitrary using the given function.
|
<B> Coarbitrary<B> |
compose(F<B,A> f)
Composes the given function with this coarbitrary to produce a new coarbitrary.
|
public static final Coarbitrary<java.lang.Boolean> coarbBoolean
public static final Coarbitrary<java.lang.Integer> coarbInteger
public static final Coarbitrary<java.lang.Byte> coarbByte
public static final Coarbitrary<java.lang.Short> coarbShort
public static final Coarbitrary<java.lang.Long> coarbLong
public static final Coarbitrary<java.lang.Character> coarbCharacter
public static final Coarbitrary<java.lang.Float> coarbFloat
public static final Coarbitrary<java.lang.Double> coarbDouble
public static final Coarbitrary<java.lang.String> coarbString
public static final Coarbitrary<java.lang.StringBuffer> coarbStringBuffer
public static final Coarbitrary<java.lang.StringBuilder> coarbStringBuilder
public static final Coarbitrary<java.lang.Throwable> coarbThrowable
public static final Coarbitrary<java.util.BitSet> coarbBitSet
public static final Coarbitrary<java.util.Calendar> coarbCalendar
public static final Coarbitrary<java.util.Date> coarbDate
public static final Coarbitrary<java.util.GregorianCalendar> coarbGregorianCalendar
public static final Coarbitrary<java.util.Properties> coarbProperties
public static final Coarbitrary<java.sql.Date> coarbSQLDate
public static final Coarbitrary<java.sql.Timestamp> coarbTimestamp
public static final Coarbitrary<java.sql.Time> coarbTime
public static final Coarbitrary<java.math.BigInteger> coarbBigInteger
public static final Coarbitrary<java.math.BigDecimal> coarbBigDecimal
public abstract <B> Gen<B> coarbitrary(A a, Gen<B> g)
a - The value to produce the generator from.g - The generator to produce the new generator from.public final <B> F<Gen<B>,Gen<B>> coarbitrary(A a)
coarbitrary(Object, Gen).a - The value to produce the generator from.coarbitrary(Object, Gen).public final <B> Coarbitrary<B> compose(F<B,A> f)
f - The function to compose.public final <B> Coarbitrary<B> comap(F<B,A> f)
f - The function to co-map with.public static <A,B> Coarbitrary<F<A,B>> coarbF(Arbitrary<A> a, Coarbitrary<B> c)
a - An arbitrary for the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C> Coarbitrary<F2<A,B,C>> coarbF2(Arbitrary<A> aa, Arbitrary<B> ab, Coarbitrary<C> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D> Coarbitrary<F3<A,B,C,D>> coarbF3(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Coarbitrary<D> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D,E> Coarbitrary<F4<A,B,C,D,E>> coarbF4(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Arbitrary<D> ad, Coarbitrary<E> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.ad - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D,E,F$> Coarbitrary<F5<A,B,C,D,E,F$>> coarbF5(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Arbitrary<D> ad, Arbitrary<E> ae, Coarbitrary<F$> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.ad - An arbitrary for part of the domain of the function.ae - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D,E,F$,G> Coarbitrary<F6<A,B,C,D,E,F$,G>> coarbF6(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Arbitrary<D> ad, Arbitrary<E> ae, Arbitrary<F$> af, Coarbitrary<G> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.ad - An arbitrary for part of the domain of the function.ae - An arbitrary for part of the domain of the function.af - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D,E,F$,G,H> Coarbitrary<F7<A,B,C,D,E,F$,G,H>> coarbF7(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Arbitrary<D> ad, Arbitrary<E> ae, Arbitrary<F$> af, Arbitrary<G> ag, Coarbitrary<H> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.ad - An arbitrary for part of the domain of the function.ae - An arbitrary for part of the domain of the function.af - An arbitrary for part of the domain of the function.ag - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A,B,C,D,E,F$,G,H,I> Coarbitrary<F8<A,B,C,D,E,F$,G,H,I>> coarbF8(Arbitrary<A> aa, Arbitrary<B> ab, Arbitrary<C> ac, Arbitrary<D> ad, Arbitrary<E> ae, Arbitrary<F$> af, Arbitrary<G> ag, Arbitrary<H> ah, Coarbitrary<I> c)
aa - An arbitrary for part of the domain of the function.ab - An arbitrary for part of the domain of the function.ac - An arbitrary for part of the domain of the function.ad - An arbitrary for part of the domain of the function.ae - An arbitrary for part of the domain of the function.af - An arbitrary for part of the domain of the function.ag - An arbitrary for part of the domain of the function.ah - An arbitrary for part of the domain of the function.c - A coarbitrary for the codomain of the function.public static <A> Coarbitrary<Option<A>> coarbOption(Coarbitrary<A> ca)
ca - A coarbitrary for the type of the optional value.public static <A,B> Coarbitrary<Either<A,B>> coarbEither(Coarbitrary<A> ca, Coarbitrary<B> cb)
ca - A coarbitrary for one side of the disjoint union.cb - A coarbitrary for one side of the disjoint union.public static <A> Coarbitrary<List<A>> coarbList(Coarbitrary<A> ca)
ca - A coarbitrary for the elements of the list.public static <A> Coarbitrary<Stream<A>> coarbStream(Coarbitrary<A> ca)
ca - A coarbitrary for the elements of the stream.public static <A> Coarbitrary<Array<A>> coarbArray(Coarbitrary<A> ca)
ca - A coarbitrary for the elements of the array.public static Coarbitrary<java.lang.Throwable> coarbThrowable(Coarbitrary<java.lang.String> cs)
cs - A coarbitrary for the throwable message.public static <A> Coarbitrary<java.util.ArrayList<A>> coarbArrayList(Coarbitrary<A> ca)
ca - A coarbitrary for the elements of the array list.public static <K extends java.lang.Enum<K>,V> Coarbitrary<java.util.EnumMap<K,V>> coarbEnumMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A extends java.lang.Enum<A>> Coarbitrary<java.util.EnumSet<A>> coarbEnumSet(Coarbitrary<A> c)
c - A coarbitrary for the elements of the enum set.public static <K,V> Coarbitrary<java.util.HashMap<K,V>> coarbHashMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A> Coarbitrary<java.util.HashSet<A>> coarbHashSet(Coarbitrary<A> c)
c - A coarbitrary for the elements of the hash set.public static <K,V> Coarbitrary<java.util.Hashtable<K,V>> coarbHashtable(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <K,V> Coarbitrary<java.util.IdentityHashMap<K,V>> coarbIdentityHashMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <K,V> Coarbitrary<java.util.LinkedHashMap<K,V>> coarbLinkedHashMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A> Coarbitrary<java.util.LinkedHashSet<A>> coarbLinkedHashSet(Coarbitrary<A> c)
c - A coarbitrary for the elements of the linked hash set.public static <A> Coarbitrary<java.util.LinkedList<A>> coarbLinkedList(Coarbitrary<A> c)
c - A coarbitrary for the elements of the linked list.public static <A> Coarbitrary<java.util.PriorityQueue<A>> coarbPriorityQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the priority queue.public static <A> Coarbitrary<java.util.Stack<A>> coarbStack(Coarbitrary<A> c)
c - A coarbitrary for the elements of the stack.public static <K,V> Coarbitrary<java.util.TreeMap<K,V>> coarbTreeMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A> Coarbitrary<java.util.TreeSet<A>> coarbTreeSet(Coarbitrary<A> c)
c - A coarbitrary for the elements of the tree set.public static <A> Coarbitrary<java.util.Vector<A>> coarbVector(Coarbitrary<A> c)
c - A coarbitrary for the elements of the vector.public static <K,V> Coarbitrary<java.util.WeakHashMap<K,V>> coarbWeakHashMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A> Coarbitrary<java.util.concurrent.ArrayBlockingQueue<A>> coarbArrayBlockingQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the array blocking queue.public static <K,V> Coarbitrary<java.util.concurrent.ConcurrentHashMap<K,V>> coarbConcurrentHashMap(Coarbitrary<K> ck, Coarbitrary<V> cv)
ck - A coarbitrary for the map keys.cv - A coarbitrary for the map values.public static <A> Coarbitrary<java.util.concurrent.ConcurrentLinkedQueue<A>> coarbConcurrentLinkedQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the concurrent linked queue.public static <A> Coarbitrary<java.util.concurrent.CopyOnWriteArrayList<A>> coarbCopyOnWriteArrayList(Coarbitrary<A> c)
c - A coarbitrary for the elements of the copy-on-write array list.public static <A> Coarbitrary<java.util.concurrent.CopyOnWriteArraySet<A>> coarbCopyOnWriteArraySet(Coarbitrary<A> c)
c - A coarbitrary for the elements of the copy-on-write array set.public static <A extends java.util.concurrent.Delayed> Coarbitrary<java.util.concurrent.DelayQueue<A>> coarbDelayQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the delay queue.public static <A> Coarbitrary<java.util.concurrent.LinkedBlockingQueue<A>> coarbLinkedBlockingQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the linked blocking queue.public static <A> Coarbitrary<java.util.concurrent.PriorityBlockingQueue<A>> coarbPriorityBlockingQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the priority blocking queue.public static <A> Coarbitrary<java.util.concurrent.SynchronousQueue<A>> coarbSynchronousQueue(Coarbitrary<A> c)
c - A coarbitrary for the elements of the synchronous queue.public static <A> Coarbitrary<P1<A>> coarbP1(Coarbitrary<A> ca)
ca - A coarbitrary for one of the types over which the product-1 is defined.public static <A,B> Coarbitrary<P2<A,B>> coarbP2(Coarbitrary<A> ca, Coarbitrary<B> cb)
ca - A coarbitrary for one of the types over which the product-2 is defined.cb - A coarbitrary for one of the types over which the product-2 is defined.public static <A,B,C> Coarbitrary<P3<A,B,C>> coarbP3(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc)
ca - A coarbitrary for one of the types over which the product-3 is defined.cb - A coarbitrary for one of the types over which the product-3 is defined.cc - A coarbitrary for one of the types over which the product-3 is defined.public static <A,B,C,D> Coarbitrary<P4<A,B,C,D>> coarbP4(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc, Coarbitrary<D> cd)
ca - A coarbitrary for one of the types over which the product-4 is defined.cb - A coarbitrary for one of the types over which the product-4 is defined.cc - A coarbitrary for one of the types over which the product-4 is defined.cd - A coarbitrary for one of the types over which the product-4 is defined.public static <A,B,C,D,E> Coarbitrary<P5<A,B,C,D,E>> coarbP5(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc, Coarbitrary<D> cd, Coarbitrary<E> ce)
ca - A coarbitrary for one of the types over which the product-5 is defined.cb - A coarbitrary for one of the types over which the product-5 is defined.cc - A coarbitrary for one of the types over which the product-5 is defined.cd - A coarbitrary for one of the types over which the product-5 is defined.ce - A coarbitrary for one of the types over which the product-5 is defined.public static <A,B,C,D,E,F$> Coarbitrary<P6<A,B,C,D,E,F$>> coarbP6(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc, Coarbitrary<D> cd, Coarbitrary<E> ce, Coarbitrary<F$> cf)
ca - A coarbitrary for one of the types over which the product-6 is defined.cb - A coarbitrary for one of the types over which the product-6 is defined.cc - A coarbitrary for one of the types over which the product-6 is defined.cd - A coarbitrary for one of the types over which the product-6 is defined.ce - A coarbitrary for one of the types over which the product-6 is defined.cf - A coarbitrary for one of the types over which the product-6 is defined.public static <A,B,C,D,E,F$,G> Coarbitrary<P7<A,B,C,D,E,F$,G>> coarbP7(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc, Coarbitrary<D> cd, Coarbitrary<E> ce, Coarbitrary<F$> cf, Coarbitrary<G> cg)
ca - A coarbitrary for one of the types over which the product-7 is defined.cb - A coarbitrary for one of the types over which the product-7 is defined.cc - A coarbitrary for one of the types over which the product-7 is defined.cd - A coarbitrary for one of the types over which the product-7 is defined.ce - A coarbitrary for one of the types over which the product-7 is defined.cf - A coarbitrary for one of the types over which the product-7 is defined.cg - A coarbitrary for one of the types over which the product-7 is defined.public static <A,B,C,D,E,F$,G,H> Coarbitrary<P8<A,B,C,D,E,F$,G,H>> coarbP8(Coarbitrary<A> ca, Coarbitrary<B> cb, Coarbitrary<C> cc, Coarbitrary<D> cd, Coarbitrary<E> ce, Coarbitrary<F$> cf, Coarbitrary<G> cg, Coarbitrary<H> ch)
ca - A coarbitrary for one of the types over which the product-8 is defined.cb - A coarbitrary for one of the types over which the product-8 is defined.cc - A coarbitrary for one of the types over which the product-8 is defined.cd - A coarbitrary for one of the types over which the product-8 is defined.ce - A coarbitrary for one of the types over which the product-8 is defined.cf - A coarbitrary for one of the types over which the product-8 is defined.cg - A coarbitrary for one of the types over which the product-8 is defined.ch - A coarbitrary for one of the types over which the product-8 is defined.