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

Packages that use BoundedBifunctor

Package	Description
com.jnape.palatable.lambda.adt
com.jnape.palatable.lambda.adt.choice
com.jnape.palatable.lambda.adt.hlist
com.jnape.palatable.lambda.functions.builtin.fn2
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 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 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 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 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 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
final class	Peek2<A, B, FAB extends BoundedBifunctor<A, B, ? super A, ? super B, ?>>	Deprecated. in favor of producing an IO from the given BoundedBifunctor and explicitly running it

Methods 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, ?>> FAB	Peek2.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>	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 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>>	A Bifunctor 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 bounds

Subinterfaces 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 to ContraA and ContraB, 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 to ContraA.
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 to ContraB.

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
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 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
final class	EitherT<M extends MonadRec<?,M>, L, R>	A monad transformer for Either.