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 ofCoProduct5
.private static class
Choice5._A<A,B,C,D,E>
private static class
Choice5._B<A,B,C,D,E>
private static class
Choice5._C<A,B,C,D,E>
private static class
Choice5._D<A,B,C,D,E>
private static 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.
-