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>, ?>>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionInvoke 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> 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 Details
-
INSTANCE
-
-
Constructor Details
-
Pre
private Pre()
-
-
Method Details
-
checkedApply
public Optic<P,Const<Maybe<A>, checkedApply?>, S, T, Maybe<A>, B> (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
-
pre
-
pre
public static <P extends Profunctor<?,?, Optic<P,? extends P>, S, T, A, B> Const<Maybe<A>, pre?>, S, T, Maybe<A>, B> (ProtoOptic<P, S, T, A, B> protoOptic)
-