Interface Optic.Simple<P extends Profunctor<?,?,? extends P>,F extends Functor<?,? extends F>,S,A>
- Type Parameters:
P
- theProfunctor
boundF
- theFunctor
boundS
- the left side and right side's functor embedding of the output profunctorA
- the left side and right side's functor embedding of the input profunctor
- All Superinterfaces:
Optic<P,
F, S, S, A, A>
- All Known Subinterfaces:
Iso.Simple<S,
,A> Lens.Simple<S,
,A> Schema<Values>
,TypeSafeKey<A,
,B> TypeSafeKey.Simple<A>
- Enclosing interface:
Optic<P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, T, A, B>
public static interface Optic.Simple<P extends Profunctor<?,?,? extends P>,F extends Functor<?,? extends F>,S,A>
extends Optic<P,F,S,S,A,A>
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.jnape.palatable.lambda.optics.Optic
Optic.Simple<P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, A> -
Method Summary
Modifier and TypeMethodDescriptionstatic <P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, A>
Optic.Simple<P, F, S, A> Adapt anOptic
with S/T and A/B unified into asimple optic
.default <B> Optic.Simple
<P, F, S, B> andThen
(Optic.Simple<? super P, ? super F, A, B> f) Compose two simple optics from left to right.default <R> Optic.Simple
<P, F, R, A> compose
(Optic.Simple<? super P, ? super F, R, S> g) Compose two simple optics from right to left.
-
Method Details
-
andThen
Compose two simple optics from left to right.- Type Parameters:
B
- the new left side and right side's functor embedding of the input profunctor- Parameters:
f
- the other simple optic- Returns:
- the composed simple optic
-
compose
Compose two simple optics from right to left.- Type Parameters:
R
- the new left side and right side's functor embedding of the output profunctor- Parameters:
g
- the other simple optic- Returns:
- the composed simple optic
-
adapt
static <P extends Profunctor<?,?, Optic.Simple<P,? extends P>, F extends Functor<?, ? extends F>, S, A> F, adaptS, A> (Optic<? super P, ? super F, S, S, A, A> optic) Adapt anOptic
with S/T and A/B unified into asimple optic
.- Type Parameters:
P
- theProfunctor
boundF
- theFunctor
boundS
- the left side and the right side's functor embedding of the output profunctorA
- the left side and the right side's functor embedding of the input profunctor- Parameters:
optic
- theOptic
- Returns:
- the
Optic.Simple
optic
-