Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct3
Packages that use CoProduct3
Package
Description
-
Uses of CoProduct3 in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement CoProduct3Modifier and TypeClassDescriptionclass
These<A,
B> The coproduct of a coproduct (
) and its product (CoProduct2
<A, B>
), represented as aTuple2
<A, B>
.CoProduct3
<A, B,Tuple2
<A, B>>private static final class
These._A<A,
B> private static final class
These._B<A,
B> private static final class
These.Both<A,
B> -
Uses of CoProduct3 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct3Modifier and TypeClassDescriptionclass
Choice3<A,
B, C> Canonical ADT representation ofCoProduct3
.private static final class
Choice3._A<A,
B, C> private static final class
Choice3._B<A,
B, C> private static final class
Choice3._C<A,
B, C> Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct3 -
Uses of CoProduct3 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct3Modifier and TypeInterfaceDescriptioninterface
CoProduct3<A,
B, C, CP3 extends CoProduct3<A, B, C, ?>> A generalization of the coproduct of three types.Methods in com.jnape.palatable.lambda.adt.coproduct that return CoProduct3Modifier and TypeMethodDescriptiondefault CoProduct3
<A, B, C, ? extends CoProduct3<A, B, C, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <C> CoProduct3
<A, B, C, ? extends CoProduct3<A, B, C, ?>> CoProduct2.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 CoProduct3Modifier and TypeMethodDescriptiondefault CoProduct3
<A, B, C, ? extends CoProduct3<A, B, C, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default <C> CoProduct3
<A, B, C, ? extends CoProduct3<A, B, C, ?>> CoProduct2.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 CoProduct3Modifier and TypeMethodDescriptiondefault CoProduct3
<A, B, C, ? extends CoProduct3<A, B, C, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type. -
Uses of CoProduct3 in com.jnape.palatable.lambda.functions.ordering
Classes in com.jnape.palatable.lambda.functions.ordering that implement CoProduct3Modifier and TypeClassDescriptionclass
SpecializedCoProduct3
representing the possible results of a ordered comparison.static final class
static final class
static final class