S
- used for unification of the optic's
unused morphismT
- the result to read outA
- used for unification of the optic's
unused morphismB
- the value to read frompublic final class Re<S,T,A,B> extends Object implements Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>>
Modifier and Type | Method and 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 any
Throwable . |
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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
andThen, apply, carry, cartesian, censor, choose, cocartesian, compose, contraMap, diMap, diMapL, diMapR, discardL, discardR, flatMap, fmap, fn1, fromFunction, lazyZip, listens, local, pure, pureFn1, thunk, toFunction, trampolineM, widen, zip, zip
public Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T> checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)
Fn1
Throwable
.public static <S,T,A,B> Re<S,T,A,B> re()