Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct4
Packages that use CoProduct4
-
Uses of CoProduct4 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct4Modifier and TypeClassDescriptionclass
Choice4<A,
B, C, D> Canonical ADT representation ofCoProduct4
.private static final class
Choice4._A<A,
B, C, D> private static final class
Choice4._B<A,
B, C, D> private static final class
Choice4._C<A,
B, C, D> private static final class
Choice4._D<A,
B, C, D> Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct4 -
Uses of CoProduct4 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct4Modifier and TypeInterfaceDescriptioninterface
CoProduct4<A,
B, C, D, CP4 extends CoProduct4<A, B, C, D, ?>> A generalization of the coproduct of four types.Methods in com.jnape.palatable.lambda.adt.coproduct that return CoProduct4Modifier and TypeMethodDescriptiondefault CoProduct4
<A, B, C, D, ? extends CoProduct4<A, B, C, D, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <D> CoProduct4
<A, B, C, D, ? extends CoProduct4<A, B, C, D, ?>> CoProduct3.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 CoProduct4Modifier and TypeMethodDescriptiondefault CoProduct4
<A, B, C, D, ? extends CoProduct4<A, B, C, D, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <D> CoProduct4
<A, B, C, D, ? extends CoProduct4<A, B, C, D, ?>> CoProduct3.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 CoProduct4