Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct5
Packages that use CoProduct5
-
Uses of CoProduct5 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct5Modifier and TypeClassDescriptionclass
Choice5<A,
B, C, D, E> Canonical ADT representation ofCoProduct5
.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 -
Uses of CoProduct5 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct5Modifier and TypeInterfaceDescriptioninterface
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 CoProduct5Modifier and TypeMethodDescriptionConverge 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 CoProduct5Modifier and TypeMethodDescriptionConverge 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 CoProduct5Modifier and TypeMethodDescriptionConverge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.