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

Packages that use CoProduct5

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

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

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

Modifier and Type	Class	Description
class	Choice5<A,B,C,D,E>	Canonical ADT representation of CoProduct5.
private static final class	Choice5._A<A,B,C,D,E>
private static final class	Choice5._B<A,B,C,D,E>
private static final class	Choice5._C<A,B,C,D,E>
private static final class	Choice5._D<A,B,C,D,E>
private static final class	Choice5._E<A,B,C,D,E>

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

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

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

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

Modifier and Type	Interface	Description
interface	CoProduct5<A, B, C, D, E, CP5 extends CoProduct5<A,B,C,D,E,?>>	A generalization of the coproduct of five types.

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

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

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

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