Uses of Interface
com.jnape.palatable.lambda.optics.Prism
Packages that use Prism
-
Uses of Prism in com.jnape.palatable.lambda.optics
Subinterfaces of Prism in com.jnape.palatable.lambda.opticsModifier and TypeInterfaceDescriptionstatic 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 PrismModifier and TypeMethodDescriptionPrism.andThen
(ProtoOptic<? super Cocartesian<?, ?, ?>, 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.Contravariantly mapA <- B
.Dually map contravariantly over the left parameter and covariantly over the right parameter.Contravariantly map over the left parameter.Covariantly map over the right parameter.Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.static <S,
A, B> Prism <S, S, A, B> Prism.fromPartial
(Fn1<? super S, ? extends A> partialSa, Fn1<? super B, ? extends S> bs) Static factory method for creating aPrism
from a partial functionS -> A
and a total functionB -> S
.Covariantly mapA
toC
, yielding a new optic.Contravariantly mapB
toZ
, yielding a new optic.Contravariantly mapS
toR
, yielding a new optic.Covariantly mapT
toU
, yielding a new optic.static <S,
T, A, B>
Prism<S, T, A, B> Prism.prism
(Fn1<? super S, ? extends CoProduct2<T, A, ?>> sta, Fn1<? super B, ? extends T> bt) static <S,
T, A, B>
Prism<S, T, A, B> Prism.prism
(Optic<? super Cocartesian<?, ?, ?>, ? super Functor<?, ?>, S, T, A, B> optic) 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
.Prism.pure
(U u) Lift the valueb
into this applicative functor.Prism.trampolineM
(Fn1<? super T, ? extends MonadRec<RecursiveResult<T, U>, Prism<S, ?, A, B>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.optics that return types with arguments of type PrismModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Prism.purePrism()
Methods in com.jnape.palatable.lambda.optics with parameters of type PrismModifier and TypeMethodDescriptionstatic <S,
A> Prism.Simple <S, A> Adapt aPrism
with compatible bounds to asimple Prism
.Method parameters in com.jnape.palatable.lambda.optics with type arguments of type PrismModifier and TypeMethodDescriptionSequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Prism.trampolineM
(Fn1<? super T, ? extends MonadRec<RecursiveResult<T, U>, Prism<S, ?, A, B>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports. -
Uses of Prism in com.jnape.palatable.lambda.optics.prisms
Methods in com.jnape.palatable.lambda.optics.prisms that return Prism