Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct6
Packages that use CoProduct6
-
Uses of CoProduct6 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct6Modifier and TypeClassDescriptionclass
Choice6<A,
B, C, D, E, F> Canonical ADT representation ofCoProduct6
.private static final class
Choice6._A<A,
B, C, D, E, F> private static final class
Choice6._B<A,
B, C, D, E, F> private static final class
Choice6._C<A,
B, C, D, E, F> private static final class
Choice6._D<A,
B, C, D, E, F> private static final class
Choice6._E<A,
B, C, D, E, F> private static final class
Choice6._F<A,
B, C, D, E, F> Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct6 -
Uses of CoProduct6 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct6Modifier and TypeInterfaceDescriptioninterface
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 CoProduct6Modifier and TypeMethodDescriptionConverge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.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 CoProduct6Modifier and TypeMethodDescriptionConverge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.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 CoProduct6Modifier and TypeMethodDescriptionConverge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.