public abstract class Cogen<A>
extends java.lang.Object
gen
functions.Modifier and Type | Field and Description |
---|---|
static Cogen<java.math.BigDecimal> |
cogenBigDecimal |
static Cogen<java.math.BigInteger> |
cogenBigInteger |
static Cogen<java.util.BitSet> |
cogenBitSet
A cogen for bit sets.
|
static Cogen<java.lang.Boolean> |
cogenBoolean
A cogen for booleans.
|
static Cogen<java.lang.Byte> |
cogenByte
A cogen for bytes.
|
static Cogen<java.util.Calendar> |
cogenCalendar
A cogen for calendars.
|
static Cogen<java.lang.Character> |
cogenCharacter
A cogen for characters.
|
static Cogen<java.util.Date> |
cogenDate
A cogen for dates.
|
static Cogen<java.lang.Double> |
cogenDouble
A cogen for doubles.
|
static Cogen<java.lang.Float> |
cogenFloat
A cogen for floats.
|
static Cogen<java.util.GregorianCalendar> |
cogenGregorianCalendar
A cogen for gregorian calendars.
|
static Cogen<java.lang.Integer> |
cogenInteger
A cogen for integers.
|
static Cogen<java.lang.Long> |
cogenLong
A cogen for longs.
|
static Cogen<java.util.Properties> |
cogenProperties
A cogen for properties.
|
static Cogen<java.lang.Short> |
cogenShort
A cogen for shorts.
|
static Cogen<java.sql.Date> |
cogenSQLDate |
static Cogen<java.lang.String> |
cogenString
A cogen for strings.
|
static Cogen<java.lang.StringBuffer> |
cogenStringBuffer
A cogen for string buffers.
|
static Cogen<java.lang.StringBuilder> |
cogenStringBuilder
A cogen for string builders.
|
static Cogen<java.lang.Throwable> |
cogenThrowable
A cogen for throwables.
|
static Cogen<java.sql.Time> |
cogenTime |
static Cogen<java.sql.Timestamp> |
cogenTimestamp |
Constructor and Description |
---|
Cogen() |
Modifier and Type | Method and Description |
---|---|
<B> fj.F<Gen<B>,Gen<B>> |
cogen(A a)
A curried version of
cogen(Object, Gen) . |
abstract <B> Gen<B> |
cogen(A a,
Gen<B> g)
Transforms the given value and generator to a new generator with a high probability of being
independent.
|
static <A> Cogen<fj.data.Array<A>> |
cogenArray(Cogen<A> ca)
A cogen for arrays.
|
static <A> Cogen<java.util.concurrent.ArrayBlockingQueue<A>> |
cogenArrayBlockingQueue(Cogen<A> c)
A cogen for array blocking queues.
|
static <A> Cogen<java.util.ArrayList<A>> |
cogenArrayList(Cogen<A> ca)
A cogen for array lists.
|
static <K,V> Cogen<java.util.concurrent.ConcurrentHashMap<K,V>> |
cogenConcurrentHashMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for concurrent hash maps.
|
static <A> Cogen<java.util.concurrent.ConcurrentLinkedQueue<A>> |
cogenConcurrentLinkedQueue(Cogen<A> c)
A cogen for concurrent linked queues.
|
static <A> Cogen<java.util.concurrent.CopyOnWriteArrayList<A>> |
cogenCopyOnWriteArrayList(Cogen<A> c)
A cogen for copy-on-write array lists.
|
static <A> Cogen<java.util.concurrent.CopyOnWriteArraySet<A>> |
cogenCopyOnWriteArraySet(Cogen<A> c)
A cogen for copy-on-write array sets.
|
static <A extends java.util.concurrent.Delayed> |
cogenDelayQueue(Cogen<A> c)
A cogen for delay queues.
|
static <A,B> Cogen<fj.data.Either<A,B>> |
cogenEither(Cogen<A> ca,
Cogen<B> cb)
A cogen for the disjoint union.
|
static <K extends java.lang.Enum<K>,V> |
cogenEnumMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for enum maps.
|
static <A extends java.lang.Enum<A>> |
cogenEnumSet(Cogen<A> c)
A cogen for enum sets.
|
static <A,B> Cogen<fj.F<A,B>> |
cogenF(Gen<A> a,
Cogen<B> c)
A cogen for a function.
|
static <A,B,C> Cogen<fj.F2<A,B,C>> |
cogenF2(Gen<A> aa,
Gen<B> ab,
Cogen<C> c)
A cogen for a function-2.
|
static <A,B,C,D> Cogen<fj.F3<A,B,C,D>> |
cogenF3(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Cogen<D> c)
A cogen for a function-3.
|
static <A,B,C,D,E> |
cogenF4(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Gen<D> ad,
Cogen<E> c)
A cogen for a function-4.
|
static <A,B,C,D,E,F$> |
cogenF5(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Gen<D> ad,
Gen<E> ae,
Cogen<F$> c)
A cogen for a function-5.
|
static <A,B,C,D,E,F$,G> |
cogenF6(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Gen<D> ad,
Gen<E> ae,
Gen<F$> af,
Cogen<G> c)
A cogen for a function-6.
|
static <A,B,C,D,E,F$,G,H> |
cogenF7(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Gen<D> ad,
Gen<E> ae,
Gen<F$> af,
Gen<G> ag,
Cogen<H> c)
A cogen for a function-7.
|
static <A,B,C,D,E,F$,G,H,I> |
cogenF8(Gen<A> aa,
Gen<B> ab,
Gen<C> ac,
Gen<D> ad,
Gen<E> ae,
Gen<F$> af,
Gen<G> ag,
Gen<H> ah,
Cogen<I> c)
A cogen for a function-8.
|
static <K,V> Cogen<java.util.HashMap<K,V>> |
cogenHashMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for hash maps.
|
static <A> Cogen<java.util.HashSet<A>> |
cogenHashSet(Cogen<A> c)
A cogen for hash sets.
|
static <K,V> Cogen<java.util.Hashtable<K,V>> |
cogenHashtable(Cogen<K> ck,
Cogen<V> cv)
A cogen for hash tables.
|
static <K,V> Cogen<java.util.IdentityHashMap<K,V>> |
cogenIdentityHashMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for identity hash maps.
|
static Cogen<fj.LcgRng> |
cogenLcgRng()
A cogen for the provided LcgRng
|
static <A> Cogen<java.util.concurrent.LinkedBlockingQueue<A>> |
cogenLinkedBlockingQueue(Cogen<A> c)
A cogen for linked blocking queues.
|
static <K,V> Cogen<java.util.LinkedHashMap<K,V>> |
cogenLinkedHashMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for linked hash maps.
|
static <A> Cogen<java.util.LinkedHashSet<A>> |
cogenLinkedHashSet(Cogen<A> c)
A cogen for linked hash sets.
|
static <A> Cogen<java.util.LinkedList<A>> |
cogenLinkedList(Cogen<A> c)
A cogen for linked lists.
|
static <A> Cogen<fj.data.List<A>> |
cogenList(Cogen<A> ca)
A cogen for lists.
|
static <A> Cogen<fj.data.Option<A>> |
cogenOption(Cogen<A> ca)
A cogen for the optional value.
|
static <A> Cogen<fj.P1<A>> |
cogenP1(Cogen<A> ca)
A cogen for product-1 values.
|
static <A,B> Cogen<fj.P2<A,B>> |
cogenP2(Cogen<A> ca,
Cogen<B> cb)
A cogen for product-2 values.
|
static <A,B,C> Cogen<fj.P3<A,B,C>> |
cogenP3(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc)
A cogen for product-3 values.
|
static <A,B,C,D> Cogen<fj.P4<A,B,C,D>> |
cogenP4(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc,
Cogen<D> cd)
A cogen for product-4 values.
|
static <A,B,C,D,E> |
cogenP5(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc,
Cogen<D> cd,
Cogen<E> ce)
A cogen for product-5 values.
|
static <A,B,C,D,E,F$> |
cogenP6(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc,
Cogen<D> cd,
Cogen<E> ce,
Cogen<F$> cf)
A cogen for product-6 values.
|
static <A,B,C,D,E,F$,G> |
cogenP7(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc,
Cogen<D> cd,
Cogen<E> ce,
Cogen<F$> cf,
Cogen<G> cg)
A cogen for product-7 values.
|
static <A,B,C,D,E,F$,G,H> |
cogenP8(Cogen<A> ca,
Cogen<B> cb,
Cogen<C> cc,
Cogen<D> cd,
Cogen<E> ce,
Cogen<F$> cf,
Cogen<G> cg,
Cogen<H> ch)
A cogen for product-8 values.
|
static <A> Cogen<java.util.concurrent.PriorityBlockingQueue<A>> |
cogenPriorityBlockingQueue(Cogen<A> c)
A cogen for priority blocking queues.
|
static <A> Cogen<java.util.PriorityQueue<A>> |
cogenPriorityQueue(Cogen<A> c)
A cogen for priority queues.
|
static <A> Cogen<java.util.Stack<A>> |
cogenStack(Cogen<A> c)
A cogen for stacks.
|
static <S,A> Cogen<fj.data.State<S,A>> |
cogenState(Gen<S> as,
fj.F2<S,A,java.lang.Long> f)
A cogen for state.
|
static <A> Cogen<fj.data.Stream<A>> |
cogenStream(Cogen<A> ca)
A cogen for streams.
|
static <A> Cogen<java.util.concurrent.SynchronousQueue<A>> |
cogenSynchronousQueue(Cogen<A> c)
A cogen for synchronous queues.
|
static Cogen<java.lang.Throwable> |
cogenThrowable(Cogen<java.lang.String> cs)
A cogen for throwables.
|
static <K,V> Cogen<java.util.TreeMap<K,V>> |
cogenTreeMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for tree maps.
|
static <A> Cogen<java.util.TreeSet<A>> |
cogenTreeSet(Cogen<A> c)
A cogen for tree sets.
|
static <A> Cogen<java.util.Vector<A>> |
cogenVector(Cogen<A> c)
A cogen for vectors.
|
static <K,V> Cogen<java.util.WeakHashMap<K,V>> |
cogenWeakHashMap(Cogen<K> ck,
Cogen<V> cv)
A cogen for weak hash maps.
|
<B> Cogen<B> |
compose(fj.F<B,A> f)
Composes the given function with this cogen to produce a new cogen.
|
<B> Cogen<B> |
contramap(fj.F<B,A> f)
Contra-maps this cogen using the given function.
|
public static final Cogen<java.lang.Boolean> cogenBoolean
public static final Cogen<java.lang.Integer> cogenInteger
public static final Cogen<java.lang.Byte> cogenByte
public static final Cogen<java.lang.Short> cogenShort
public static final Cogen<java.lang.Long> cogenLong
public static final Cogen<java.lang.Character> cogenCharacter
public static final Cogen<java.lang.Float> cogenFloat
public static final Cogen<java.lang.Double> cogenDouble
public static final Cogen<java.lang.String> cogenString
public static final Cogen<java.lang.StringBuffer> cogenStringBuffer
public static final Cogen<java.lang.StringBuilder> cogenStringBuilder
public static final Cogen<java.lang.Throwable> cogenThrowable
public static final Cogen<java.util.BitSet> cogenBitSet
public static final Cogen<java.util.Calendar> cogenCalendar
public static final Cogen<java.util.Date> cogenDate
public static final Cogen<java.util.GregorianCalendar> cogenGregorianCalendar
public static final Cogen<java.util.Properties> cogenProperties
public static final Cogen<java.sql.Date> cogenSQLDate
public static final Cogen<java.sql.Timestamp> cogenTimestamp
public static final Cogen<java.sql.Time> cogenTime
public static final Cogen<java.math.BigInteger> cogenBigInteger
public static final Cogen<java.math.BigDecimal> cogenBigDecimal
public abstract <B> Gen<B> cogen(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> fj.F<Gen<B>,Gen<B>> cogen(A a)
cogen(Object, Gen)
.a
- The value to produce the generator from.cogen(Object, Gen)
.public final <B> Cogen<B> compose(fj.F<B,A> f)
f
- The function to compose.public final <B> Cogen<B> contramap(fj.F<B,A> f)
f
- The function to co-map with.public static <A,B> Cogen<fj.F<A,B>> cogenF(Gen<A> a, Cogen<B> c)
a
- A gen for the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C> Cogen<fj.F2<A,B,C>> cogenF2(Gen<A> aa, Gen<B> ab, Cogen<C> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D> Cogen<fj.F3<A,B,C,D>> cogenF3(Gen<A> aa, Gen<B> ab, Gen<C> ac, Cogen<D> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D,E> Cogen<fj.F4<A,B,C,D,E>> cogenF4(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Cogen<E> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.ad
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D,E,F$> Cogen<fj.F5<A,B,C,D,E,F$>> cogenF5(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Cogen<F$> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.ad
- A gen for part of the domain of the function.ae
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D,E,F$,G> Cogen<fj.F6<A,B,C,D,E,F$,G>> cogenF6(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af, Cogen<G> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.ad
- A gen for part of the domain of the function.ae
- A gen for part of the domain of the function.af
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D,E,F$,G,H> Cogen<fj.F7<A,B,C,D,E,F$,G,H>> cogenF7(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af, Gen<G> ag, Cogen<H> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.ad
- A gen for part of the domain of the function.ae
- A gen for part of the domain of the function.af
- A gen for part of the domain of the function.ag
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A,B,C,D,E,F$,G,H,I> Cogen<fj.F8<A,B,C,D,E,F$,G,H,I>> cogenF8(Gen<A> aa, Gen<B> ab, Gen<C> ac, Gen<D> ad, Gen<E> ae, Gen<F$> af, Gen<G> ag, Gen<H> ah, Cogen<I> c)
aa
- A gen for part of the domain of the function.ab
- A gen for part of the domain of the function.ac
- A gen for part of the domain of the function.ad
- A gen for part of the domain of the function.ae
- A gen for part of the domain of the function.af
- A gen for part of the domain of the function.ag
- A gen for part of the domain of the function.ah
- A gen for part of the domain of the function.c
- A cogen for the codomain of the function.public static <A> Cogen<fj.data.Option<A>> cogenOption(Cogen<A> ca)
ca
- A cogen for the type of the optional value.public static <A,B> Cogen<fj.data.Either<A,B>> cogenEither(Cogen<A> ca, Cogen<B> cb)
ca
- A cogen for one side of the disjoint union.cb
- A cogen for one side of the disjoint union.public static <A> Cogen<fj.data.List<A>> cogenList(Cogen<A> ca)
ca
- A cogen for the elements of the list.public static <A> Cogen<fj.data.Stream<A>> cogenStream(Cogen<A> ca)
ca
- A cogen for the elements of the stream.public static Cogen<fj.LcgRng> cogenLcgRng()
public static <S,A> Cogen<fj.data.State<S,A>> cogenState(Gen<S> as, fj.F2<S,A,java.lang.Long> f)
public static <A> Cogen<fj.data.Array<A>> cogenArray(Cogen<A> ca)
ca
- A cogen for the elements of the array.public static Cogen<java.lang.Throwable> cogenThrowable(Cogen<java.lang.String> cs)
cs
- A cogen for the throwable message.public static <A> Cogen<java.util.ArrayList<A>> cogenArrayList(Cogen<A> ca)
ca
- A cogen for the elements of the array list.public static <K extends java.lang.Enum<K>,V> Cogen<java.util.EnumMap<K,V>> cogenEnumMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A extends java.lang.Enum<A>> Cogen<java.util.EnumSet<A>> cogenEnumSet(Cogen<A> c)
c
- A cogen for the elements of the enum set.public static <K,V> Cogen<java.util.HashMap<K,V>> cogenHashMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A> Cogen<java.util.HashSet<A>> cogenHashSet(Cogen<A> c)
c
- A cogen for the elements of the hash set.public static <K,V> Cogen<java.util.Hashtable<K,V>> cogenHashtable(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <K,V> Cogen<java.util.IdentityHashMap<K,V>> cogenIdentityHashMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <K,V> Cogen<java.util.LinkedHashMap<K,V>> cogenLinkedHashMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A> Cogen<java.util.LinkedHashSet<A>> cogenLinkedHashSet(Cogen<A> c)
c
- A cogen for the elements of the linked hash set.public static <A> Cogen<java.util.LinkedList<A>> cogenLinkedList(Cogen<A> c)
c
- A cogen for the elements of the linked list.public static <A> Cogen<java.util.PriorityQueue<A>> cogenPriorityQueue(Cogen<A> c)
c
- A cogen for the elements of the priority queue.public static <A> Cogen<java.util.Stack<A>> cogenStack(Cogen<A> c)
c
- A cogen for the elements of the stack.public static <K,V> Cogen<java.util.TreeMap<K,V>> cogenTreeMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A> Cogen<java.util.TreeSet<A>> cogenTreeSet(Cogen<A> c)
c
- A cogen for the elements of the tree set.public static <A> Cogen<java.util.Vector<A>> cogenVector(Cogen<A> c)
c
- A cogen for the elements of the vector.public static <K,V> Cogen<java.util.WeakHashMap<K,V>> cogenWeakHashMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A> Cogen<java.util.concurrent.ArrayBlockingQueue<A>> cogenArrayBlockingQueue(Cogen<A> c)
c
- A cogen for the elements of the array blocking queue.public static <K,V> Cogen<java.util.concurrent.ConcurrentHashMap<K,V>> cogenConcurrentHashMap(Cogen<K> ck, Cogen<V> cv)
ck
- A cogen for the map keys.cv
- A cogen for the map values.public static <A> Cogen<java.util.concurrent.ConcurrentLinkedQueue<A>> cogenConcurrentLinkedQueue(Cogen<A> c)
c
- A cogen for the elements of the concurrent linked queue.public static <A> Cogen<java.util.concurrent.CopyOnWriteArrayList<A>> cogenCopyOnWriteArrayList(Cogen<A> c)
c
- A cogen for the elements of the copy-on-write array list.public static <A> Cogen<java.util.concurrent.CopyOnWriteArraySet<A>> cogenCopyOnWriteArraySet(Cogen<A> c)
c
- A cogen for the elements of the copy-on-write array set.public static <A extends java.util.concurrent.Delayed> Cogen<java.util.concurrent.DelayQueue<A>> cogenDelayQueue(Cogen<A> c)
c
- A cogen for the elements of the delay queue.public static <A> Cogen<java.util.concurrent.LinkedBlockingQueue<A>> cogenLinkedBlockingQueue(Cogen<A> c)
c
- A cogen for the elements of the linked blocking queue.public static <A> Cogen<java.util.concurrent.PriorityBlockingQueue<A>> cogenPriorityBlockingQueue(Cogen<A> c)
c
- A cogen for the elements of the priority blocking queue.public static <A> Cogen<java.util.concurrent.SynchronousQueue<A>> cogenSynchronousQueue(Cogen<A> c)
c
- A cogen for the elements of the synchronous queue.public static <A> Cogen<fj.P1<A>> cogenP1(Cogen<A> ca)
ca
- A cogen for one of the types over which the product-1 is defined.public static <A,B> Cogen<fj.P2<A,B>> cogenP2(Cogen<A> ca, Cogen<B> cb)
ca
- A cogen for one of the types over which the product-2 is defined.cb
- A cogen for one of the types over which the product-2 is defined.public static <A,B,C> Cogen<fj.P3<A,B,C>> cogenP3(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc)
ca
- A cogen for one of the types over which the product-3 is defined.cb
- A cogen for one of the types over which the product-3 is defined.cc
- A cogen for one of the types over which the product-3 is defined.public static <A,B,C,D> Cogen<fj.P4<A,B,C,D>> cogenP4(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd)
ca
- A cogen for one of the types over which the product-4 is defined.cb
- A cogen for one of the types over which the product-4 is defined.cc
- A cogen for one of the types over which the product-4 is defined.cd
- A cogen for one of the types over which the product-4 is defined.public static <A,B,C,D,E> Cogen<fj.P5<A,B,C,D,E>> cogenP5(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce)
ca
- A cogen for one of the types over which the product-5 is defined.cb
- A cogen for one of the types over which the product-5 is defined.cc
- A cogen for one of the types over which the product-5 is defined.cd
- A cogen for one of the types over which the product-5 is defined.ce
- A cogen for one of the types over which the product-5 is defined.public static <A,B,C,D,E,F$> Cogen<fj.P6<A,B,C,D,E,F$>> cogenP6(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf)
ca
- A cogen for one of the types over which the product-6 is defined.cb
- A cogen for one of the types over which the product-6 is defined.cc
- A cogen for one of the types over which the product-6 is defined.cd
- A cogen for one of the types over which the product-6 is defined.ce
- A cogen for one of the types over which the product-6 is defined.cf
- A cogen for one of the types over which the product-6 is defined.public static <A,B,C,D,E,F$,G> Cogen<fj.P7<A,B,C,D,E,F$,G>> cogenP7(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf, Cogen<G> cg)
ca
- A cogen for one of the types over which the product-7 is defined.cb
- A cogen for one of the types over which the product-7 is defined.cc
- A cogen for one of the types over which the product-7 is defined.cd
- A cogen for one of the types over which the product-7 is defined.ce
- A cogen for one of the types over which the product-7 is defined.cf
- A cogen for one of the types over which the product-7 is defined.cg
- A cogen for one of the types over which the product-7 is defined.public static <A,B,C,D,E,F$,G,H> Cogen<fj.P8<A,B,C,D,E,F$,G,H>> cogenP8(Cogen<A> ca, Cogen<B> cb, Cogen<C> cc, Cogen<D> cd, Cogen<E> ce, Cogen<F$> cf, Cogen<G> cg, Cogen<H> ch)
ca
- A cogen for one of the types over which the product-8 is defined.cb
- A cogen for one of the types over which the product-8 is defined.cc
- A cogen for one of the types over which the product-8 is defined.cd
- A cogen for one of the types over which the product-8 is defined.ce
- A cogen for one of the types over which the product-8 is defined.cf
- A cogen for one of the types over which the product-8 is defined.cg
- A cogen for one of the types over which the product-8 is defined.ch
- A cogen for one of the types over which the product-8 is defined.