Uses of Interface
com.jnape.palatable.lambda.functor.Bifunctor

Packages that use Bifunctor

Package	Description
com.jnape.palatable.lambda.adt
com.jnape.palatable.lambda.adt.choice
com.jnape.palatable.lambda.adt.hlist
com.jnape.palatable.lambda.functions.recursion
com.jnape.palatable.lambda.functor
com.jnape.palatable.lambda.functor.builtin
com.jnape.palatable.lambda.monad.transformer.builtin

Uses of Bifunctor in com.jnape.palatable.lambda.adt

Classes in com.jnape.palatable.lambda.adt that implement Bifunctor

Modifier and Type	Class	Description
class	Either<L,R>	The binary tagged union, implemented as a specialized CoProduct2.
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 (CoProduct2<A, B>) and its product (Tuple2<A, B>), represented as a 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 Bifunctor

Modifier and Type	Class	Description
class	Choice2<A,B>	Canonical ADT representation of CoProduct2.
private static final class	Choice2._A<A,B>
private static final class	Choice2._B<A,B>
class	Choice3<A,B,C>	Canonical ADT representation of CoProduct3.
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 of CoProduct4.
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 of CoProduct5.
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 of CoProduct6.
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 of CoProduct7.
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 of CoProduct8.
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 Bifunctor

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 Bifunctor in com.jnape.palatable.lambda.functions.recursion

Classes in com.jnape.palatable.lambda.functions.recursion that implement Bifunctor

Modifier and Type	Class	Description
class	RecursiveResult<A,B>	Specialized CoProduct2 representing the possible results of a primitive recursive function.
(package private) static final class	RecursiveResult.Recurse<A,B>
(package private) static final class	RecursiveResult.Terminate<A,B>

Uses of Bifunctor in com.jnape.palatable.lambda.functor

Classes in com.jnape.palatable.lambda.functor with type parameters of type Bifunctor

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 Bifunctor

Modifier and Type	Method	Description
<C,D> Bifunctor<C,D,BF>	Bifunctor.biMap(Fn1<? super A, ? extends C> lFn, Fn1<? super B, ? extends D> rFn)	Dually map covariantly over both the left and right parameters.
default <C> Bifunctor<C,B,BF>	Bifunctor.biMapL(Fn1<? super A, ? extends C> fn)	Covariantly map over the left parameter.
default <C> Bifunctor<A,C,BF>	Bifunctor.biMapR(Fn1<? super B, ? extends C> fn)	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 Bifunctor

Modifier and Type	Class	Description
final class	Const<A,B>	A (surprisingly useful) functor over some phantom type B, retaining a value of type A 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

Modifier and Type	Class	Description
final class	EitherT<M extends MonadRec<?,M>, L, R>	A monad transformer for Either.