Interface Optic.Simple<P extends Profunctor<?, ?, ? extends P>, F extends Functor<?, ? extends F>, S, A>

Type Parameters:

P - the Profunctor bound

F - the Functor bound

S - the left side and right side's functor embedding of the output profunctor

A - 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>

An convenience type with a simplified signature for optics with unified S/T and A/B types.

Nested Class Summary

Nested classes/interfaces inherited from interface Optic

Optic.Simple<P,F,S,A>

Method Summary

Modifier and Type	Method	Description
static <P extends Profunctor<?, ?, ? extends P>, F extends Functor<?, ? extends F>, S, A> Optic.Simple<P,F,S,A>	adapt(Optic<? super P, ? super F, S, S, A, A> optic)	Adapt an Optic with S/T and A/B unified into a simple 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.

Methods inherited from interface Optic

andThen, apply, compose, mapA, mapB, mapS, mapT, monomorphize

Method Details

andThen

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.

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

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.

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<?, ?, ? extends P>, F extends Functor<?, ? extends F>, S, A>
Optic.Simple<P,F,S,A> adapt(Optic<? super P, ? super F, S, S, A, A> optic)

Adapt an Optic with S/T and A/B unified into a simple optic.

Type Parameters:

P - the Profunctor bound

F - the Functor bound

S - the left side and the right side's functor embedding of the output profunctor

A - the left side and the right side's functor embedding of the input profunctor

Parameters:

optic - the Optic

Returns:

the Optic.Simple optic