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

Packages that use CoProduct6

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

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

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

Modifier and Type	Class and Description
class	Choice6<A,B,C,D,E,F> Canonical ADT representation of CoProduct6.

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

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

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

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

Modifier and Type	Interface and Description
interface	CoProduct6<A,B,C,D,E,F,CP6 extends CoProduct6<A,B,C,D,E,F,?>> A generalization of the coproduct of six types.

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

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

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

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