Uses of Class
com.jnape.palatable.lambda.functor.builtin.Exchange

Packages that use Exchange

Package	Description
com.jnape.palatable.lambda.functor.builtin
com.jnape.palatable.lambda.optics.functions

Uses of Exchange in com.jnape.palatable.lambda.functor.builtin

Classes in com.jnape.palatable.lambda.functor.builtin that implement interfaces with type arguments of type Exchange

Modifier and Type	Class	Description
final class	Exchange<A,B,S,T>	A profunctor used to extract the isomorphic functions an Iso is composed of.

Methods in com.jnape.palatable.lambda.functor.builtin that return Exchange

Modifier and Type	Method	Description
<Z> Exchange<A,B,Z,T>	Exchange.contraMap(Fn1<? super Z, ? extends S> fn)	Contravariantly map A <- B.
<Z,C> Exchange<A,B,Z,C>	Exchange.diMap(Fn1<? super Z, ? extends S> lFn, Fn1<? super T, ? extends C> rFn)	Dually map contravariantly over the left parameter and covariantly over the right parameter.
<Z> Exchange<A,B,Z,T>	Exchange.diMapL(Fn1<? super Z, ? extends S> fn)	Contravariantly map over the left parameter.
<C> Exchange<A,B,S,C>	Exchange.diMapR(Fn1<? super T, ? extends C> fn)	Covariantly map over the right parameter.

Uses of Exchange in com.jnape.palatable.lambda.optics.functions

Classes in com.jnape.palatable.lambda.optics.functions that implement interfaces with type arguments of type Exchange

Modifier and Type	Class	Description
final class	Under<S,T,A,B>	The inverse of Over: given an Iso, a function from T to S, and a "smaller" value B, return a "smaller" value A by traversing around the type ring (B -> T -> S -> A).

Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type Exchange

Modifier and Type	Method	Description
A	Under.checkedApply(Optic<? super Exchange<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b)
static <S,T,A,B> Fn2<Fn1<? super T, ? extends S>, B, A>	Under.under(Optic<? super Exchange<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic)
static <S,T,A,B> Fn1<B,A>	Under.under(Optic<? super Exchange<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn)
static <S,T,A,B> A	Under.under(Optic<? super Exchange<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b)