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 TypeClassDescriptionclassThese<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 classThese._A<A,B> private static final classThese._B<A,B> private static final classThese.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 TypeClassDescriptionclassChoice3<A,B, C> Canonical ADT representation ofCoProduct3.private static final classChoice3._A<A,B, C> private static final classChoice3._B<A,B, C> private static final classChoice3._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 TypeInterfaceDescriptioninterfaceCoProduct3<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 TypeClassDescriptionclassSpecializedCoProduct3representing the possible results of a ordered comparison.static final classstatic final classstatic final class