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>, ?>>
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
Re
private Re()
-
-
Method Details
-
checkedApply
public Optic<Profunctor<?,?, checkedApply?>, Const<T, ?>, B, B, T, T> (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
-
re
-