|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfj.test.Coarbitrary<A>
public abstract class Coarbitrary<A>
Transforms a type and a generator to produce a new generator. This function is used to generate
arbitrary
functions.
Field Summary | |
---|---|
static Coarbitrary<BigDecimal> |
coarbBigDecimal
|
static Coarbitrary<BigInteger> |
coarbBigInteger
|
static Coarbitrary<BitSet> |
coarbBitSet
A coarbitrary for bit sets. |
static Coarbitrary<Boolean> |
coarbBoolean
A coarbitrary for booleans. |
static Coarbitrary<Byte> |
coarbByte
A coarbitrary for bytes. |
static Coarbitrary<Calendar> |
coarbCalendar
A coarbitrary for calendars. |
static Coarbitrary<Character> |
coarbCharacter
A coarbitrary for characters. |
static Coarbitrary<Date> |
coarbDate
A coarbitrary for dates. |
static Coarbitrary<Double> |
coarbDouble
A coarbitrary for doubles. |
static Coarbitrary<Float> |
coarbFloat
A coarbitrary for floats. |
static Coarbitrary<GregorianCalendar> |
coarbGregorianCalendar
A coarbitrary for gregorian calendars. |
static Coarbitrary<Integer> |
coarbInteger
A coarbitrary for integers. |
static Coarbitrary<Long> |
coarbLong
A coarbitrary for longs. |
static Coarbitrary<Properties> |
coarbProperties
A coarbitrary for properties. |
static Coarbitrary<Short> |
coarbShort
A coarbitrary for shorts. |
static Coarbitrary<Date> |
coarbSQLDate
|
static Coarbitrary<String> |
coarbString
A coarbitrary for strings. |
static Coarbitrary<StringBuffer> |
coarbStringBuffer
A coarbitrary for string buffers. |
static Coarbitrary<StringBuilder> |
coarbStringBuilder
A coarbitrary for string builders. |
static Coarbitrary<Throwable> |
coarbThrowable
A coarbitrary for throwables. |
static Coarbitrary<Time> |
coarbTime
|
static Coarbitrary<Timestamp> |
coarbTimestamp
|
Constructor Summary | |
---|---|
Coarbitrary()
|
Method Summary | ||
---|---|---|
static
|
coarbArray(Coarbitrary<A> ca)
A coarbitrary for arrays. |
|
static
|
coarbArrayBlockingQueue(Coarbitrary<A> c)
A coarbitrary for array blocking queues. |
|
static
|
coarbArrayList(Coarbitrary<A> ca)
A coarbitrary for array lists. |
|
static
|
coarbConcurrentHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for concurrent hash maps. |
|
static
|
coarbConcurrentLinkedQueue(Coarbitrary<A> c)
A coarbitrary for concurrent linked queues. |
|
static
|
coarbCopyOnWriteArrayList(Coarbitrary<A> c)
A coarbitrary for copy-on-write array lists. |
|
static
|
coarbCopyOnWriteArraySet(Coarbitrary<A> c)
A coarbitrary for copy-on-write array sets. |
|
static
|
coarbDelayQueue(Coarbitrary<A> c)
A coarbitrary for delay queues. |
|
static
|
coarbEither(Coarbitrary<A> ca,
Coarbitrary<B> cb)
A coarbitrary for the disjoint union. |
|
static
|
coarbEnumMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for enum maps. |
|
static
|
coarbEnumSet(Coarbitrary<A> c)
A coarbitrary for enum sets. |
|
static
|
coarbF(Arbitrary<A> a,
Coarbitrary<B> c)
A coarbitrary for a function. |
|
static
|
coarbF2(Arbitrary<A> aa,
Arbitrary<B> ab,
Coarbitrary<C> c)
A coarbitrary for a function-2. |
|
static
|
coarbF3(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Coarbitrary<D> c)
A coarbitrary for a function-3. |
|
static
|
coarbF4(Arbitrary<A> aa,
Arbitrary<B> ab,
Arbitrary<C> ac,
Arbitrary<D> ad,
Coarbitrary<E> c)
A coarbitrary for a function-4. |
|
static
|
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
|
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
|
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
|
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
|
coarbHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for hash maps. |
|
static
|
coarbHashSet(Coarbitrary<A> c)
A coarbitrary for hash sets. |
|
static
|
coarbHashtable(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for hash tables. |
|
static
|
coarbIdentityHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for identity hash maps. |
|
|
coarbitrary(A a)
A curried version of coarbitrary(Object, Gen) . |
|
abstract
|
coarbitrary(A a,
Gen<B> g)
Transforms the given value and generator to a new generator with a high probability of being independent. |
|
static
|
coarbLinkedBlockingQueue(Coarbitrary<A> c)
A coarbitrary for linked blocking queues. |
|
static
|
coarbLinkedHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for linked hash maps. |
|
static
|
coarbLinkedHashSet(Coarbitrary<A> c)
A coarbitrary for linked hash sets. |
|
static
|
coarbLinkedList(Coarbitrary<A> c)
A coarbitrary for linked lists. |
|
static
|
coarbList(Coarbitrary<A> ca)
A coarbitrary for lists. |
|
static
|
coarbOption(Coarbitrary<A> ca)
A coarbitrary for the optional value. |
|
static
|
coarbP1(Coarbitrary<A> ca)
A coarbitrary for product-1 values. |
|
static
|
coarbP2(Coarbitrary<A> ca,
Coarbitrary<B> cb)
A coarbitrary for product-2 values. |
|
static
|
coarbP3(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc)
A coarbitrary for product-3 values. |
|
static
|
coarbP4(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd)
A coarbitrary for product-4 values. |
|
static
|
coarbP5(Coarbitrary<A> ca,
Coarbitrary<B> cb,
Coarbitrary<C> cc,
Coarbitrary<D> cd,
Coarbitrary<E> ce)
A coarbitrary for product-5 values. |
|
static
|
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
|
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
|
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
|
coarbPriorityBlockingQueue(Coarbitrary<A> c)
A coarbitrary for priority blocking queues. |
|
static
|
coarbPriorityQueue(Coarbitrary<A> c)
A coarbitrary for priority queues. |
|
static
|
coarbStack(Coarbitrary<A> c)
A coarbitrary for stacks. |
|
static
|
coarbStream(Coarbitrary<A> ca)
A coarbitrary for streams. |
|
static
|
coarbSynchronousQueue(Coarbitrary<A> c)
A coarbitrary for synchronous queues. |
|
static Coarbitrary<Throwable> |
coarbThrowable(Coarbitrary<String> cs)
A coarbitrary for throwables. |
|
static
|
coarbTreeMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for tree maps. |
|
static
|
coarbTreeSet(Coarbitrary<A> c)
A coarbitrary for tree sets. |
|
static
|
coarbVector(Coarbitrary<A> c)
A coarbitrary for vectors. |
|
static
|
coarbWeakHashMap(Coarbitrary<K> ck,
Coarbitrary<V> cv)
A coarbitrary for weak hash maps. |
|
|
comap(F<B,A> f)
Co-maps this coarbitrary using the given function. |
|
|
compose(F<B,A> f)
Composes the given function with this coarbitrary to produce a new coarbitrary. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final Coarbitrary<Boolean> coarbBoolean
public static final Coarbitrary<Integer> coarbInteger
public static final Coarbitrary<Byte> coarbByte
public static final Coarbitrary<Short> coarbShort
public static final Coarbitrary<Long> coarbLong
public static final Coarbitrary<Character> coarbCharacter
public static final Coarbitrary<Float> coarbFloat
public static final Coarbitrary<Double> coarbDouble
public static final Coarbitrary<String> coarbString
public static final Coarbitrary<StringBuffer> coarbStringBuffer
public static final Coarbitrary<StringBuilder> coarbStringBuilder
public static final Coarbitrary<Throwable> coarbThrowable
public static final Coarbitrary<BitSet> coarbBitSet
public static final Coarbitrary<Calendar> coarbCalendar
public static final Coarbitrary<Date> coarbDate
public static final Coarbitrary<GregorianCalendar> coarbGregorianCalendar
public static final Coarbitrary<Properties> coarbProperties
public static final Coarbitrary<Date> coarbSQLDate
public static final Coarbitrary<Timestamp> coarbTimestamp
public static final Coarbitrary<Time> coarbTime
public static final Coarbitrary<BigInteger> coarbBigInteger
public static final Coarbitrary<BigDecimal> coarbBigDecimal
Constructor Detail |
---|
public Coarbitrary()
Method Detail |
---|
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 <B> F<Gen<B>,Gen<B>> coarbitrary(A a)
coarbitrary(Object, Gen)
.
a
- The value to produce the generator from.
coarbitrary(Object, Gen)
.public <B> Coarbitrary<B> compose(F<B,A> f)
f
- The function to compose.
public <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<Throwable> coarbThrowable(Coarbitrary<String> cs)
cs
- A coarbitrary for the throwable message.
public static <A> Coarbitrary<ArrayList<A>> coarbArrayList(Coarbitrary<A> ca)
ca
- A coarbitrary for the elements of the array list.
public static <K extends Enum<K>,V> Coarbitrary<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 Enum<A>> Coarbitrary<EnumSet<A>> coarbEnumSet(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the enum set.
public static <K,V> Coarbitrary<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<HashSet<A>> coarbHashSet(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the hash set.
public static <K,V> Coarbitrary<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<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<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<LinkedHashSet<A>> coarbLinkedHashSet(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the linked hash set.
public static <A> Coarbitrary<LinkedList<A>> coarbLinkedList(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the linked list.
public static <A> Coarbitrary<PriorityQueue<A>> coarbPriorityQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the priority queue.
public static <A> Coarbitrary<Stack<A>> coarbStack(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the stack.
public static <K,V> Coarbitrary<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<TreeSet<A>> coarbTreeSet(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the tree set.
public static <A> Coarbitrary<Vector<A>> coarbVector(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the vector.
public static <K,V> Coarbitrary<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<ArrayBlockingQueue<A>> coarbArrayBlockingQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the array blocking queue.
public static <K,V> Coarbitrary<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<ConcurrentLinkedQueue<A>> coarbConcurrentLinkedQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the concurrent linked queue.
public static <A> Coarbitrary<CopyOnWriteArrayList<A>> coarbCopyOnWriteArrayList(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the copy-on-write array list.
public static <A> Coarbitrary<CopyOnWriteArraySet<A>> coarbCopyOnWriteArraySet(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the copy-on-write array set.
public static <A extends Delayed> Coarbitrary<DelayQueue<A>> coarbDelayQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the delay queue.
public static <A> Coarbitrary<LinkedBlockingQueue<A>> coarbLinkedBlockingQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the linked blocking queue.
public static <A> Coarbitrary<PriorityBlockingQueue<A>> coarbPriorityBlockingQueue(Coarbitrary<A> c)
c
- A coarbitrary for the elements of the priority blocking queue.
public static <A> Coarbitrary<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.
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |