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 focusingT
- the larger type for mirrored focusingA
- the smaller type for focusingB
- 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>, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncheckedApply
(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>
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>
Aunder
(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