Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct7

Packages that use CoProduct7

Package	Description
com.jnape.palatable.lambda.adt.choice
com.jnape.palatable.lambda.adt.coproduct

Uses of CoProduct7 in com.jnape.palatable.lambda.adt.choice

Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct7

Modifier and Type	Class	Description
class	Choice7<A,B,C,D,E,F,G>	Canonical ADT representation of CoProduct7.
private static class	Choice7._A<A,B,C,D,E,F,G>
private static class	Choice7._B<A,B,C,D,E,F,G>
private static class	Choice7._C<A,B,C,D,E,F,G>
private static class	Choice7._D<A,B,C,D,E,F,G>
private static class	Choice7._E<A,B,C,D,E,F,G>
private static class	Choice7._F<A,B,C,D,E,F,G>
private static class	Choice7._G<A,B,C,D,E,F,G>

Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct7

Modifier and Type	Method	Description
Choice7<A,B,C,D,E,F,G>	Choice8.converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)	Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.

Uses of CoProduct7 in com.jnape.palatable.lambda.adt.coproduct

Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct7

Modifier and Type	Interface	Description
interface	CoProduct7<A,B,C,D,E,F,G,CP7 extends CoProduct7<A,B,C,D,E,F,G,?>>	A generalization of the coproduct of seven types.

Methods in com.jnape.palatable.lambda.adt.coproduct that return CoProduct7

Modifier and Type	Method	Description
default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>	CoProduct8.converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)	Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.
default <G> CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>	CoProduct6.diverge()	Diverge this coproduct by introducing another possible type that it could represent.

Methods in com.jnape.palatable.lambda.adt.coproduct that return types with arguments of type CoProduct7

Modifier and Type	Method	Description
default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>	CoProduct8.converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)	Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.
default <G> CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>	CoProduct6.diverge()	Diverge this coproduct by introducing another possible type that it could represent.

Method parameters in com.jnape.palatable.lambda.adt.coproduct with type arguments of type CoProduct7

Modifier and Type	Method	Description
default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>	CoProduct8.converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)	Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.