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