Uses of Interface
com.jnape.palatable.lambda.optics.Optic
Packages that use Optic
Package
Description
-
Uses of Optic in com.jnape.palatable.lambda.adt.hmap
Subinterfaces of Optic in com.jnape.palatable.lambda.adt.hmapModifier and TypeInterfaceDescriptioninterface
A lens that focuses on theheterogeneous list
of values pointed at by one or moretypesafe keys
that must all exist in the sameHMap
to be collectively extracted.interface
TypeSafeKey<A,
B> An interface representing a parametrized key for use inHMap
s.static interface
-
Uses of Optic in com.jnape.palatable.lambda.optics
Subinterfaces of Optic in com.jnape.palatable.lambda.opticsModifier and TypeInterfaceDescriptioninterface
Iso<S,
T, A, B> static interface
Iso.Simple<S,
A> A convenience type with a simplified type signature for common isos with both unified "larger" values and unified "smaller" values.interface
Lens<S,
T, A, B> An approximation of van Laarhoven lenses.static interface
Lens.Simple<S,
A> A convenience type with a simplified type signature for common lenses with both unified "larger" values and unified "smaller" values.static interface
Optic.Simple<P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, A> 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.interface
ProtoOptic<P extends Profunctor<?,
?, ? extends P>, S, T, A, B> Methods in com.jnape.palatable.lambda.optics that return OpticModifier and TypeMethodDescriptionLeft-to-right composition of optics.Right-to-Left composition of optics.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 <P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, T, A, B, FB extends Functor<B, ? extends F>, FT extends Functor<T, ? extends F>, PAFB extends Profunctor<A, FB, ? extends P>, PSFT extends Profunctor<S, FT, ? extends P>>
Optic<P, F, S, T, A, B> Promote a monomorphic function to a compatibleOptic
.static <P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, T, A, B>
Optic<P, F, S, T, A, B> Reframe anOptic
according to covariant bounds.Methods in com.jnape.palatable.lambda.optics with parameters of type OpticModifier and TypeMethodDescriptionstatic <S,
A> Iso.Simple <S, A> Iso.Simple.adapt
(Optic<? super Profunctor<?, ?, ?>, ? super Functor<?, ?>, S, S, A, A> optic) Adapt anOptic
with the right variance to anIso.Simple
.static <S,
A> Lens.Simple <S, A> Adapt aLens
with the right variance to aLens.Simple
.static <P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, A>
Optic.Simple<P, F, S, A> Adapt anOptic
with S/T and A/B unified into asimple optic
.static <S,
A> Prism.Simple <S, A> Prism.Simple.adapt
(Optic<? super Cocartesian<?, ?, ?>, ? super Functor<?, ?>, S, S, A, A> optic) Adapt anOptic
with compatible bounds to asimple Prism
.Left-to-right composition of optics.Left-to-right composition of optics.Left-to-right composition of optics.Right-to-Left composition of optics.Right-to-Left composition of optics.Right-to-Left composition of optics.static <S,
T, A, B>
Iso<S, T, A, B> Iso.iso
(Optic<? super Profunctor<?, ?, ?>, ? super Functor<?, ?>, S, T, A, B> optic) Promote an optic with compatible bounds to anIso
.static <S,
T, A, B>
Lens<S, T, A, B> Promote an optic with compatible bounds to aLens
.static <S,
T, A, B>
Prism<S, T, A, B> Prism.prism
(Optic<? super Cocartesian<?, ?, ?>, ? super Functor<?, ?>, S, T, A, B> optic) static <P extends Profunctor<?,
?, ? extends P>, F extends Functor<?, ? extends F>, S, T, A, B>
Optic<P, F, S, T, A, B> Reframe anOptic
according to covariant bounds. -
Uses of Optic in com.jnape.palatable.lambda.optics.functions
Methods in com.jnape.palatable.lambda.optics.functions that return OpticModifier and TypeMethodDescriptionstatic <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> 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) static <S,
T, A, B>
Optic<Profunctor<?, ?, ?>, Const<T, ?>, B, B, T, T> Methods in com.jnape.palatable.lambda.optics.functions with parameters of type OpticModifier and TypeMethodDescriptionOver.checkedApply
(Optic<? super Fn1<?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super A, ? extends B> fn, S s) Under.checkedApply
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b) static <S,
T, A, B>
Either<T, A> static <S,
T, A, B>
Fn1<S, T> static <S,
T, A, B>
TOver.over
(Optic<? super Fn1<?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super A, ? extends B> fn, S s) static <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> static <S,
T, A, B>
Optic<Profunctor<?, ?, ?>, Const<T, ?>, B, B, T, T> static <S,
T, A, B>
Fn2<B, S, T> static <S,
T, A, B>
Fn1<S, T> static <S,
T, A, B>
Tstatic <S,
T, A, B>
Fn1<B, A> Under.under
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn) static <S,
T, A, B>
AUnder.under
(Optic<? super Exchange<A, B, ?, ?>, ? super Identity<?>, S, T, A, B> optic, Fn1<? super T, ? extends S> fn, B b) static <S,
T, A, B>
Fn1<S, A> static <S,
T, A, B>
A