Uses of Interface
com.jnape.palatable.lambda.adt.coproduct.CoProduct2
-
-
Uses of CoProduct2 in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement CoProduct2 Modifier and Type Class Description class
Either<L,R>
The binary tagged union, implemented as a specializedCoProduct2
.private static class
Either.Left<L,R>
private static class
Either.Right<L,R>
class
Maybe<A>
The optional type, representing a potentially absent value.private static class
Maybe.Just<A>
private static class
Maybe.Nothing<A>
class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static class
Try.Failure<A>
private static class
Try.Success<A>
-
Uses of CoProduct2 in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement CoProduct2 Modifier and Type Class Description class
Choice2<A,B>
Canonical ADT representation ofCoProduct2
.private static class
Choice2._A<A,B>
private static class
Choice2._B<A,B>
Method parameters in com.jnape.palatable.lambda.adt.choice with type arguments of type CoProduct2 Modifier and Type Method Description Choice2<A,B>
Choice3. converge(Fn1<? super C,? extends CoProduct2<A,B,?>> convergenceFn)
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.adt.coproduct
Classes in com.jnape.palatable.lambda.adt.coproduct with type parameters of type CoProduct2 Modifier and Type Interface Description interface
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 CoProduct2 Modifier and Type Method Description default CoProduct2<A,B,? extends CoProduct2<A,B,?>>
CoProduct3. converge(Fn1<? super C,? extends CoProduct2<A,B,?>> convergenceFn)
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 CoProduct2 Modifier and Type Method Description default CoProduct2<A,B,? extends CoProduct2<A,B,?>>
CoProduct3. converge(Fn1<? super C,? extends CoProduct2<A,B,?>> convergenceFn)
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 CoProduct2 Modifier and Type Method Description default CoProduct2<A,B,? extends CoProduct2<A,B,?>>
CoProduct3. converge(Fn1<? super C,? extends CoProduct2<A,B,?>> convergenceFn)
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 CoProduct2 Modifier and Type Method Description Tuple2<java.lang.Iterable<B>,java.lang.Iterable<C>>
Partition. checkedApply(Fn1<? super A,? extends CoProduct2<B,C,?>> function, java.lang.Iterable<A> as)
static <A,B,C>
Fn1<java.lang.Iterable<A>,Tuple2<java.lang.Iterable<B>,java.lang.Iterable<C>>>Partition. partition(Fn1<? super A,? extends CoProduct2<B,C,?>> function)
static <A,B,C>
Tuple2<java.lang.Iterable<B>,java.lang.Iterable<C>>Partition. partition(Fn1<? super A,? extends CoProduct2<B,C,?>> function, java.lang.Iterable<A> as)
-
Uses of CoProduct2 in com.jnape.palatable.lambda.functions.recursion
Classes in com.jnape.palatable.lambda.functions.recursion that implement CoProduct2 Modifier and Type Class Description class
RecursiveResult<A,B>
SpecializedCoProduct2
representing the possible results of a primitive recursive function.(package private) static class
RecursiveResult.Recurse<A,B>
(package private) static class
RecursiveResult.Terminate<A,B>
-
Uses of CoProduct2 in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad that implement CoProduct2 Modifier and Type Class Description private static class
SafeT.Body<M extends MonadRec<?,M>,A>
private static class
SafeT.Body.Done<M extends MonadRec<?,M>,A>
private static class
SafeT.Body.More<M extends MonadRec<?,M>,A>
private static 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 Modifier and Type Method Description static <S,T,A,B>
Prism<S,T,A,B>Prism. prism(Fn1<? super S,? extends CoProduct2<T,A,?>> sta, Fn1<? super B,? extends T> bt)
-