Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct7
-
Packages that use CoProduct7 Package Description com.jnape.palatable.lambda.adt.choice com.jnape.palatable.lambda.adt.coproduct -
-
Uses of CoProduct7 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct7 Modifier and Type Class Description class
Choice7<A,B,C,D,E,F,G>
Canonical ADT representation ofCoProduct7
.private static class
Choice7._A<A,B,C,D,E,F,G>
private static class
Choice7._B<A,B,C,D,E,F,G>
private static class
Choice7._C<A,B,C,D,E,F,G>
private static class
Choice7._D<A,B,C,D,E,F,G>
private static class
Choice7._E<A,B,C,D,E,F,G>
private static class
Choice7._F<A,B,C,D,E,F,G>
private static 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 Modifier and Type Method Description Choice7<A,B,C,D,E,F,G>
Choice8. converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type. -
Uses of CoProduct7 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct7 Modifier and Type Interface Description interface
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 CoProduct7 Modifier and Type Method Description default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>
CoProduct8. converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <G> CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>
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 CoProduct7 Modifier and Type Method Description default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>
CoProduct8. converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <G> CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>
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 CoProduct7 Modifier and Type Method Description default CoProduct7<A,B,C,D,E,F,G,? extends CoProduct7<A,B,C,D,E,F,G,?>>
CoProduct8. converge(Fn1<? super H,? extends CoProduct7<A,B,C,D,E,F,G,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.
-