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 fromT
- used for unification of theoptic's
unused morphismA
- the result tomaybe
read outB
- used for unification of theoptic'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 java.lang.Object implements Fn1<Optic<P,? super Const<Maybe<A>,?>,S,T,A,B>,Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>>
-
-
Constructor Summary
Constructors Modifier Constructor Description private
Pre()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
Invoke this function with the given argument, potentially throwing anyThrowable
.static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Pre<P,S,T,A,B>pre()
static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
static <P extends Profunctor<?,?,? extends P>,S,T,A,B>
Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>pre(ProtoOptic<P,S,T,A,B> protoOptic)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
-
-
Field Detail
-
INSTANCE
private static final Pre<?,?,?,?,?> INSTANCE
-
-
Method Detail
-
checkedApply
public Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B> checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
Description copied from interface:Fn1
Invoke this function with the given argument, potentially throwing anyThrowable
.- Specified by:
checkedApply
in interfaceFn1<P extends Profunctor<?,?,? extends P>,S>
- Parameters:
optic
- the argument- Returns:
- the result of the function application
-
pre
public static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Pre<P,S,T,A,B> pre()
-
pre
public static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B> pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
-
pre
public static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B> pre(ProtoOptic<P,S,T,A,B> protoOptic)
-
-