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