Class Pre<P extends Profunctor<?,?,? extends P>,S,T,A,B>

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

public final class Pre<P extends Profunctor<?,?,? extends P>,S,T,A,B> extends Object implements Fn1<Optic<P,? super Const<Maybe<A>,?>,S,T,A,B>,Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>>
Turn an Optic with a unary mapping that can be used for viewing some number of values into an Optic that views the first value, if it exists.
  • Field Details

    • INSTANCE

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

    • Pre

      private Pre()
  • Method Details