Class Re<S,T,A,B>

java.lang.Object
com.jnape.palatable.lambda.optics.functions.Re<S,T,A,B>
Type Parameters:
S - used for unification of the optic's unused morphism
T - the result to read out
A - used for unification of the optic's unused morphism
B - the value to read from
All Implemented Interfaces:
Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>>, Applicative<Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>, Cartesian<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<?,?>>, Cocartesian<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<?,?>>, Contravariant<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Profunctor<?,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<?,?>>>, Functor<Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>, Profunctor<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<?,?>>, Monad<Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadReader<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadRec<Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>, MonadWriter<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>,Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,?>>

public final class Re<S,T,A,B> extends Object implements Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>>
Turn an Optic with a unary mapping that can be used for setting (e.g. Prism, Iso) around for viewing through the other direction.
  • Field Details

    • INSTANCE

      private static final Re<?,?,?,?> INSTANCE
  • Constructor Details

    • Re

      private Re()
  • Method Details