Package com.jnape.palatable.lambda.optics.functions

Class Under<S,T,A,B>

java.lang.Object

com.jnape.palatable.lambda.optics.functions.Under<S,T,A,B>

Type Parameters:

S - the larger type for focusing

T - the larger type for mirrored focusing

A - the smaller type for focusing

B - the smaller type for mirrored focusing

All Implemented Interfaces:

Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>>, Fn2<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<? super T,? extends S>,Fn1<B,A>>, Fn3<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<? super T,? extends S>,B,A>, Applicative<Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>, Cartesian<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<?,?>>, Cocartesian<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<?,?>>, Contravariant<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Profunctor<?,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<?,?>>>, Functor<Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>, Profunctor<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<?,?>>, Monad<Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadReader<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadRec<Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadWriter<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<Fn1<? super T,? extends S>,Fn1<B,A>>,Fn1<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,?>>

public final class Under<S,T,A,B>
extends java.lang.Object
implements Fn3<Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B>,Fn1<? super T,? extends S>,B,A>

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).

Field Summary

Fields

Modifier and Type	Field	Description
private static Under<?,?,?,?>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Under()

Method Summary

Modifier and Type	Method	Description
A	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> Under<S,T,A,B>	under()
static <S,T,A,B> Fn2<Fn1<? super T,? extends S>,B,A>	under(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic)
static <S,T,A,B> Fn1<B,A>	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(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic, Fn1<? super T,? extends S> fn, B b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1

andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2

checkedApply, toBiFunction

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3

apply, apply, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, uncurry, widen

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

coerce

Field Detail

INSTANCE

private static final Under<?,?,?,?> INSTANCE

Constructor Detail

Under

private Under()

Method Detail

checkedApply

public A checkedApply(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic,
                      Fn1<? super T,? extends S> fn,
                      B b)

Specified by:

checkedApply in interface Fn3<S,T,A,B>

under

public static <S,T,A,B> Under<S,T,A,B> under()

under

public static <S,T,A,B> Fn2<Fn1<? super T,? extends S>,B,A> under(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic)

under

public static <S,T,A,B> Fn1<B,A> under(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic,
                                                               Fn1<? super T,? extends S> fn)

under

public static <S,T,A,B> A under(Optic<? super Exchange<A,B,?,?>,? super Identity<?>,S,T,A,B> optic,
                                                  Fn1<? super T,? extends S> fn,
                                                  B b)