Uses of Interface
com.jnape.palatable.lambda.functor.Bifunctor
Packages that use Bifunctor
Package
Description
-
Uses of Bifunctor in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement BifunctorModifier 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 Bifunctor in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement BifunctorModifier 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 Bifunctor in com.jnape.palatable.lambda.adt.hlist
Classes in com.jnape.palatable.lambda.adt.hlist that implement BifunctorModifier 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 Bifunctor in com.jnape.palatable.lambda.functions.recursion
Classes in com.jnape.palatable.lambda.functions.recursion that implement BifunctorModifier 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 Bifunctor in com.jnape.palatable.lambda.functor
Classes in com.jnape.palatable.lambda.functor with type parameters of type BifunctorModifier and TypeInterfaceDescriptioninterface
A dually-parametric functor that maps covariantly over both parameters.Methods in com.jnape.palatable.lambda.functor that return BifunctorModifier and TypeMethodDescriptionDually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter. -
Uses of Bifunctor in com.jnape.palatable.lambda.functor.builtin
Classes in com.jnape.palatable.lambda.functor.builtin that implement BifunctorModifier 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 Bifunctor in com.jnape.palatable.lambda.monad.transformer.builtin
Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement Bifunctor