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 areIsos
that can fail in one direction.static interface
Prism.Simple<S,A>
A convenience type with a simplified type signature for commonprism
with unifiedS/T
andA/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 mapA
toC
, yielding a new optic.default <Z> ProtoOptic<P,S,T,A,Z>
ProtoOptic. mapB(Fn1<? super Z,? extends B> fn)
Contravariantly mapB
toZ
, yielding a new optic.default <R> ProtoOptic<P,R,T,A,B>
ProtoOptic. mapS(Fn1<? super R,? extends S> fn)
Contravariantly mapS
toR
, yielding a new optic.default <U> ProtoOptic<P,S,U,A,B>
ProtoOptic. mapT(Fn1<? super T,? extends U> fn)
Covariantly mapT
toU
, 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 aProtoOptic
with compatible bounds to asimple 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 aProtoOptic
with compatible bounds to anPrism
. -
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)
-