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 theoptic's
unused morphismT
- the result to read outA
- used for unification of theoptic's
unused morphismB
- 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 java.lang.Object implements Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>>
-
-
Constructor Summary
Constructors Modifier Constructor Description private
Re()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>
checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)
Invoke this function with the given argument, potentially throwing anyThrowable
.static <S,T,A,B>
Re<S,T,A,B>re()
static <S,T,A,B>
Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>re(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
-
-
Field Detail
-
INSTANCE
private static final Re<?,?,?,?> INSTANCE
-
-
Method Detail
-
checkedApply
public Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T> checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,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<S,T>
- Parameters:
optic
- the argument- Returns:
- the result of the function application
-
re
public static <S,T,A,B> Re<S,T,A,B> re()
-
-