Uses of Interface
com.jnape.palatable.lambda.functor.BoundedBifunctor
Packages that use BoundedBifunctor
Package
Description
-
Uses of BoundedBifunctor in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement BoundedBifunctorModifier 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
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 BoundedBifunctor in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement BoundedBifunctorModifier 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> class
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> class
Choice4<A,
B, C, D> Canonical ADT representation ofCoProduct4
.private static final class
Choice4._A<A,
B, C, D> private static final class
Choice4._B<A,
B, C, D> private static final class
Choice4._C<A,
B, C, D> private static final class
Choice4._D<A,
B, C, D> class
Choice5<A,
B, C, D, E> Canonical ADT representation ofCoProduct5
.private static final class
Choice5._A<A,
B, C, D, E> private static final class
Choice5._B<A,
B, C, D, E> private static final class
Choice5._C<A,
B, C, D, E> private static final class
Choice5._D<A,
B, C, D, E> private static final class
Choice5._E<A,
B, C, D, E> class
Choice6<A,
B, C, D, E, F> Canonical ADT representation ofCoProduct6
.private static final class
Choice6._A<A,
B, C, D, E, F> private static final class
Choice6._B<A,
B, C, D, E, F> private static final class
Choice6._C<A,
B, C, D, E, F> private static final class
Choice6._D<A,
B, C, D, E, F> private static final class
Choice6._E<A,
B, C, D, E, F> private static final class
Choice6._F<A,
B, C, D, E, F> class
Choice7<A,
B, C, D, E, F, G> Canonical ADT representation ofCoProduct7
.private static final class
Choice7._A<A,
B, C, D, E, F, G> private static final class
Choice7._B<A,
B, C, D, E, F, G> private static final class
Choice7._C<A,
B, C, D, E, F, G> private static final class
Choice7._D<A,
B, C, D, E, F, G> private static final class
Choice7._E<A,
B, C, D, E, F, G> private static final class
Choice7._F<A,
B, C, D, E, F, G> private static final 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 final class
Choice8._A<A,
B, C, D, E, F, G, H> private static final class
Choice8._B<A,
B, C, D, E, F, G, H> private static final class
Choice8._C<A,
B, C, D, E, F, G, H> private static final class
Choice8._D<A,
B, C, D, E, F, G, H> private static final class
Choice8._E<A,
B, C, D, E, F, G, H> private static final class
Choice8._F<A,
B, C, D, E, F, G, H> private static final class
Choice8._G<A,
B, C, D, E, F, G, H> private static final 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 BoundedBifunctorModifier and TypeClassDescriptionclass
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 BoundedBifunctorModifier and TypeClassDescriptionfinal class
Peek2<A,
B, FAB extends BoundedBifunctor<A, B, ? super A, ? super B, ?>> Deprecated.Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type BoundedBifunctorModifier and TypeMethodDescriptionstatic <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> Deprecated.static <A,
B, FAB extends BoundedBifunctor<A, B, ? super A, ? super B, ?>>
Fn1<FAB, FAB> 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 BoundedBifunctorModifier 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 BoundedBifunctor in com.jnape.palatable.lambda.functor
Classes in com.jnape.palatable.lambda.functor with type parameters of type BoundedBifunctorModifier and TypeInterfaceDescriptioninterface
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.functorModifier and TypeInterfaceDescriptioninterface
A dually-parametric functor that maps covariantly over both parameters.Methods in com.jnape.palatable.lambda.functor that return BoundedBifunctorModifier and TypeMethodDescriptionDually covariantly map both the left and right parameters into values that are covariant toContraA
andContraB
, respectively.Covariantly map the left parameter into a value that is covariant toContraA
.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 BoundedBifunctorModifier and TypeClassDescriptionfinal 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
IO
from the givenBoundedBifunctor
and explicitly running it