Uses of Interface
com.jnape.palatable.lambda.optics.ProtoOptic

Packages that use ProtoOptic

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

Uses of ProtoOptic in com.jnape.palatable.lambda.optics

Subinterfaces of ProtoOptic in com.jnape.palatable.lambda.optics

Modifier and Type	Interface	Description
interface	Prism<S,T,A,B>	Prisms are Isos that can fail in one direction.
static interface	Prism.Simple<S,A>	A convenience type with a simplified type signature for common prism with unified S/T and A/B types.

Methods in com.jnape.palatable.lambda.optics that return ProtoOptic

Modifier and Type	Method	Description
default <Z,C> ProtoOptic<P,S,T,Z,C>	ProtoOptic.andThen(ProtoOptic<? super P, A, B, Z, C> f)	Left-to-right composition of proto-optics.
default <R,U> ProtoOptic<P,R,U,A,B>	ProtoOptic.compose(ProtoOptic<? super P, R, U, S, T> g)	Right-to-Left composition of proto-optics.
default <C> ProtoOptic<P,S,T,C,B>	ProtoOptic.mapA(Fn1<? super A, ? extends C> fn)	Covariantly map A to C, yielding a new optic.
default <Z> ProtoOptic<P,S,T,A,Z>	ProtoOptic.mapB(Fn1<? super Z, ? extends B> fn)	Contravariantly map B to Z, yielding a new optic.
default <R> ProtoOptic<P,R,T,A,B>	ProtoOptic.mapS(Fn1<? super R, ? extends S> fn)	Contravariantly map S to R, yielding a new optic.
default <U> ProtoOptic<P,S,U,A,B>	ProtoOptic.mapT(Fn1<? super T, ? extends U> fn)	Covariantly map T to U, yielding a new optic.

Methods in com.jnape.palatable.lambda.optics with parameters of type ProtoOptic

Modifier and Type	Method	Description
static <S,A> Prism.Simple<S,A>	Prism.Simple.adapt(ProtoOptic<? super Cocartesian<?,?,?>, S, S, A, A> protoOptic)	Adapt a ProtoOptic with compatible bounds to a simple Prism.
default <Z,C> Prism<S,T,Z,C>	Prism.andThen(ProtoOptic<? super Cocartesian<?,?,?>, A, B, Z, C> f)	Left-to-right composition of proto-optics.
default <Z,C> ProtoOptic<P,S,T,Z,C>	ProtoOptic.andThen(ProtoOptic<? super P, A, B, Z, C> f)	Left-to-right composition of proto-optics.
default <R,U> Prism<R,U,A,B>	Prism.compose(ProtoOptic<? super Cocartesian<?,?,?>, R, U, S, T> g)	Right-to-Left composition of proto-optics.
default <R,U> ProtoOptic<P,R,U,A,B>	ProtoOptic.compose(ProtoOptic<? super P, R, U, S, T> g)	Right-to-Left composition of proto-optics.
static <S,T,A,B> Prism<S,T,A,B>	Prism.prism(ProtoOptic<? super Cocartesian<?,?,?>, S, T, A, B> protoOptic)	Promote a ProtoOptic with compatible bounds to an Prism.

Uses of ProtoOptic in com.jnape.palatable.lambda.optics.functions

Methods in com.jnape.palatable.lambda.optics.functions with parameters of type ProtoOptic

Modifier and Type	Method	Description
static <P extends Profunctor<?, ?, ? extends P>, S, T, A, B> Optic<P, Const<Maybe<A>,?>, S, T, Maybe<A>, B>	Pre.pre(ProtoOptic<P,S,T,A,B> protoOptic)