Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct2
Packages that use CoProduct2
Package
Description
-
Uses of CoProduct2 in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement CoProduct2Modifier and TypeClassDescriptionclass
Either<L,
R> The binary tagged union, implemented as a specializedCoProduct2
.private static final class
Either.Left<L,
R> private static final class
Either.Right<L,
R> class
Maybe<A>
The optional type, representing a potentially absent value.private static final class
Maybe.Just<A>
private static final class
class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static final class
Try.Failure<A>
private static final class
Try.Success<A>
-
Uses of CoProduct2 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct2Modifier and TypeClassDescriptionclass
Choice2<A,
B> Canonical ADT representation ofCoProduct2
.private static final class
Choice2._A<A,
B> private static final class
Choice2._B<A,
B> Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct2 -
Uses of CoProduct2 in com.jnape.palatable.lambda.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct2Modifier and TypeInterfaceDescriptioninterface
CoProduct2<A,
B, CP2 extends CoProduct2<A, B, ?>> A generalization of the coproduct of two types.Methods in com.jnape.palatable.lambda.adt.coproduct that return CoProduct2Modifier and TypeMethodDescriptiondefault CoProduct2
<A, B, ? extends CoProduct2<A, B, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default CoProduct2
<B, A, ? extends CoProduct2<B, A, ?>> CoProduct2.invert()
Swap the type parameters.Methods in com.jnape.palatable.lambda.adt.coproduct that return types with arguments of type CoProduct2Modifier and TypeMethodDescriptiondefault CoProduct2
<A, B, ? extends CoProduct2<A, B, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type.default CoProduct2
<B, A, ? extends CoProduct2<B, A, ?>> CoProduct2.invert()
Swap the type parameters.Method parameters in com.jnape.palatable.lambda.adt.coproduct with type arguments of type CoProduct2Modifier and TypeMethodDescriptiondefault CoProduct2
<A, B, ? extends CoProduct2<A, B, ?>> Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier possible type. -
Uses of CoProduct2 in com.jnape.palatable.lambda.functions.builtin.fn2
Method parameters in com.jnape.palatable.lambda.functions.builtin.fn2 with type arguments of type CoProduct2Modifier and TypeMethodDescriptionPartition.checkedApply
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function, Iterable<A> as) Partition.partition
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function) Partition.partition
(Fn1<? super A, ? extends CoProduct2<B, C, ?>> function, Iterable<A> as) -
Uses of CoProduct2 in com.jnape.palatable.lambda.functions.recursion
Classes in com.jnape.palatable.lambda.functions.recursion that implement CoProduct2Modifier and TypeClassDescriptionclass
RecursiveResult<A,
B> SpecializedCoProduct2
representing the possible results of a primitive recursive function.(package private) static final class
(package private) static final class
-
Uses of CoProduct2 in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad that implement CoProduct2Modifier and TypeClassDescriptionprivate static class
SafeT.Body<M extends MonadRec<?,
M>, A> private static final class
SafeT.Body.Done<M extends MonadRec<?,
M>, A> private static final class
SafeT.Body.More<M extends MonadRec<?,
M>, A> private static final class
SafeT.Body.Suspended<M extends MonadRec<?,
M>, A, B> -
Uses of CoProduct2 in com.jnape.palatable.lambda.optics
Method parameters in com.jnape.palatable.lambda.optics with type arguments of type CoProduct2