S
- the type of both "larger" valuesA
- the type of both "smaller" values@FunctionalInterface public static interface Lens.Simple<S,A> extends Lens<S,S,A,A>, Optic.Simple<Cartesian<?,?,?>,Functor<?,?>,S,A>
Lens.Simple<S,A>
Modifier and Type | Method and Description |
---|---|
static <S,A> Lens.Simple<S,A> |
adapt(Optic<? super Cartesian<?,?,?>,? super Functor<?,?>,S,S,A,A> lens)
Adapt a
Lens with the right variance to a Lens.Simple . |
default <B> Lens.Simple<S,B> |
andThen(Optic.Simple<? super Cartesian<?,?,?>,? super Functor<?,?>,A,B> f)
Compose two simple optics from left to right.
|
static <S,A,B> Lens.Simple<S,Tuple2<A,B>> |
both(Lens<S,S,A,A> f,
Lens<S,S,B,B> g)
Specialization of
Lens.both(Lens, Lens) for simple lenses. |
default <R> Lens.Simple<R,A> |
compose(Optic.Simple<? super Cartesian<?,?,?>,? super Functor<?,?>,R,S> g)
Compose two simple optics from right to left.
|
andThen, both, both, compose, contraMap, diMap, diMapL, diMapR, discardL, discardR, flatMap, fmap, lens, lens, mapA, mapB, mapS, mapT, pure, pureLens, simpleLens, toIso, trampolineM, zip
adapt
apply, monomorphize, optic, reframe
default <B> Lens.Simple<S,B> andThen(Optic.Simple<? super Cartesian<?,?,?>,? super Functor<?,?>,A,B> f)
default <R> Lens.Simple<R,A> compose(Optic.Simple<? super Cartesian<?,?,?>,? super Functor<?,?>,R,S> g)
static <S,A> Lens.Simple<S,A> adapt(Optic<? super Cartesian<?,?,?>,? super Functor<?,?>,S,S,A,A> lens)
Lens
with the right variance to a Lens.Simple
.S
- S/TA
- A/Blens
- the lensstatic <S,A,B> Lens.Simple<S,Tuple2<A,B>> both(Lens<S,S,A,A> f, Lens<S,S,B,B> g)
Lens.both(Lens, Lens)
for simple lenses.S
- both lens larger valuesA
- lens f smaller valuesB
- lens g smaller valuesf
- the first lensg
- the second lens