Uses of Interface
com.jnape.palatable.lambda.functor.BoundedBifunctor
-
-
Uses of BoundedBifunctor in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement BoundedBifunctor 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
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 class
These._A<A,B>
private static class
These._B<A,B>
private static class
These.Both<A,B>
-
Uses of BoundedBifunctor in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement BoundedBifunctor 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>
class
Choice3<A,B,C>
Canonical ADT representation ofCoProduct3
.private static class
Choice3._A<A,B,C>
private static class
Choice3._B<A,B,C>
private static class
Choice3._C<A,B,C>
class
Choice4<A,B,C,D>
Canonical ADT representation ofCoProduct4
.private static class
Choice4._A<A,B,C,D>
private static class
Choice4._B<A,B,C,D>
private static class
Choice4._C<A,B,C,D>
private static class
Choice4._D<A,B,C,D>
class
Choice5<A,B,C,D,E>
Canonical ADT representation ofCoProduct5
.private static class
Choice5._A<A,B,C,D,E>
private static class
Choice5._B<A,B,C,D,E>
private static class
Choice5._C<A,B,C,D,E>
private static class
Choice5._D<A,B,C,D,E>
private static class
Choice5._E<A,B,C,D,E>
class
Choice6<A,B,C,D,E,F>
Canonical ADT representation ofCoProduct6
.private static class
Choice6._A<A,B,C,D,E,F>
private static class
Choice6._B<A,B,C,D,E,F>
private static class
Choice6._C<A,B,C,D,E,F>
private static class
Choice6._D<A,B,C,D,E,F>
private static class
Choice6._E<A,B,C,D,E,F>
private static class
Choice6._F<A,B,C,D,E,F>
class
Choice7<A,B,C,D,E,F,G>
Canonical ADT representation ofCoProduct7
.private static class
Choice7._A<A,B,C,D,E,F,G>
private static class
Choice7._B<A,B,C,D,E,F,G>
private static class
Choice7._C<A,B,C,D,E,F,G>
private static class
Choice7._D<A,B,C,D,E,F,G>
private static class
Choice7._E<A,B,C,D,E,F,G>
private static class
Choice7._F<A,B,C,D,E,F,G>
private static class
Choice7._G<A,B,C,D,E,F,G>
class
Choice8<A,B,C,D,E,F,G,H>
Canonical ADT representation ofCoProduct8
.private static class
Choice8._A<A,B,C,D,E,F,G,H>
private static class
Choice8._B<A,B,C,D,E,F,G,H>
private static class
Choice8._C<A,B,C,D,E,F,G,H>
private static class
Choice8._D<A,B,C,D,E,F,G,H>
private static class
Choice8._E<A,B,C,D,E,F,G,H>
private static class
Choice8._F<A,B,C,D,E,F,G,H>
private static class
Choice8._G<A,B,C,D,E,F,G,H>
private static class
Choice8._H<A,B,C,D,E,F,G,H>
-
Uses of BoundedBifunctor in com.jnape.palatable.lambda.adt.hlist
Classes in com.jnape.palatable.lambda.adt.hlist that implement BoundedBifunctor Modifier and Type Class Description class
Tuple2<_1,_2>
A 2-element tuple product type, implemented as a specialized HList.class
Tuple3<_1,_2,_3>
A 3-element tuple product type, implemented as a specialized HList.class
Tuple4<_1,_2,_3,_4>
A 4-element tuple product type, implemented as a specialized HList.class
Tuple5<_1,_2,_3,_4,_5>
A 5-element tuple product type, implemented as a specialized HList.class
Tuple6<_1,_2,_3,_4,_5,_6>
A 6-element tuple product type, implemented as a specialized HList.class
Tuple7<_1,_2,_3,_4,_5,_6,_7>
A 7-element tuple product type, implemented as a specialized HList.class
Tuple8<_1,_2,_3,_4,_5,_6,_7,_8>
An 8-element tuple product type, implemented as a specialized HList. -
Uses of BoundedBifunctor in com.jnape.palatable.lambda.functions.builtin.fn2
Classes in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type BoundedBifunctor Modifier and Type Class Description class
Peek2<A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>
Deprecated.in favor of producing anIO
from the givenBoundedBifunctor
and explicitly running itMethods in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type BoundedBifunctor Modifier and Type Method Description static <A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>
Peek2<A,B,FAB>Peek2. peek2()
Deprecated.static <A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>
Fn2<Fn1<? super B,? extends IO<?>>,FAB,FAB>Peek2. peek2(Fn1<? super A,? extends IO<?>> effectA)
Deprecated.static <A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>
Fn1<FAB,FAB>Peek2. peek2(Fn1<? super A,? extends IO<?>> effectA, Fn1<? super B,? extends IO<?>> effectB)
Deprecated.static <A,B,FAB extends BoundedBifunctor<A,B,? super A,? super B,?>>
FABPeek2. peek2(Fn1<? super A,? extends IO<?>> effectA, Fn1<? super B,? extends IO<?>> effectB, FAB fab)
Deprecated. -
Uses of BoundedBifunctor in com.jnape.palatable.lambda.functions.recursion
Classes in com.jnape.palatable.lambda.functions.recursion that implement BoundedBifunctor 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 BoundedBifunctor in com.jnape.palatable.lambda.functor
Classes in com.jnape.palatable.lambda.functor with type parameters of type BoundedBifunctor Modifier and Type Interface Description interface
BoundedBifunctor<A extends ContraA,B extends ContraB,ContraA,ContraB,BF extends BoundedBifunctor<?,?,?,?,BF>>
ABifunctor
that has both parameter types upper bounded; that is, neither parameters can be mapped to a value that is not covariant to their respective upper boundsSubinterfaces of BoundedBifunctor in com.jnape.palatable.lambda.functor Modifier and Type Interface Description interface
Bifunctor<A,B,BF extends Bifunctor<?,?,BF>>
A dually-parametric functor that maps covariantly over both parameters.Methods in com.jnape.palatable.lambda.functor that return BoundedBifunctor Modifier and Type Method Description <C extends ContraA,D extends ContraB>
BoundedBifunctor<C,D,ContraA,ContraB,BF>BoundedBifunctor. biMap(Fn1<? super A,? extends C> lFn, Fn1<? super B,? extends D> rFn)
Dually covariantly map both the left and right parameters into values that are covariant toContraA
andContraB
, respectively.default <C extends ContraA>
BoundedBifunctor<C,B,ContraA,ContraB,BF>BoundedBifunctor. biMapL(Fn1<? super A,? extends C> fn)
Covariantly map the left parameter into a value that is covariant toContraA
.default <C extends ContraB>
BoundedBifunctor<A,C,ContraA,ContraB,BF>BoundedBifunctor. biMapR(Fn1<? super B,? extends C> fn)
Covariantly map the right parameter into a value that is covariant toContraB
. -
Uses of BoundedBifunctor in com.jnape.palatable.lambda.functor.builtin
Classes in com.jnape.palatable.lambda.functor.builtin that implement BoundedBifunctor Modifier and Type Class Description class
Const<A,B>
A (surprisingly useful) functor over some phantom typeB
, retaining a value of typeA
that can be retrieved later. -
Uses of BoundedBifunctor in com.jnape.palatable.lambda.monad.transformer.builtin
Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement BoundedBifunctor Modifier and Type Class Description class
EitherT<M extends MonadRec<?,M>,L,R>
Amonad transformer
forEither
.
-