Uses of Interface
com.jnape.palatable.lambda.optics.ProtoOptic
Packages that use ProtoOptic
-
Uses of ProtoOptic in com.jnape.palatable.lambda.optics
Subinterfaces of ProtoOptic in com.jnape.palatable.lambda.opticsModifier and TypeInterfaceDescriptioninterface
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 ProtoOpticModifier and TypeMethodDescriptiondefault <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> Covariantly mapA
toC
, yielding a new optic.default <Z> ProtoOptic
<P, S, T, A, Z> Contravariantly mapB
toZ
, yielding a new optic.default <R> ProtoOptic
<P, R, T, A, B> Contravariantly mapS
toR
, yielding a new optic.default <U> ProtoOptic
<P, S, U, A, B> Covariantly mapT
toU
, yielding a new optic.Methods in com.jnape.palatable.lambda.optics with parameters of type ProtoOpticModifier and TypeMethodDescriptionstatic <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
.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.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 ProtoOpticModifier and TypeMethodDescriptionstatic <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)