com.jnape.palatable.lambda.optics.functions

## 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 the `optic's` unused morphism
    `T` - the result to read out
    `A` - used for unification of the `optic's` unused morphism
    `B` - 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 Object
      implements Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>>

  Turn an `Optic` with a unary mapping that can be used for setting (e.g. `Prism`, `Iso`) around for viewing through the other direction.

- - ### Method Summary

    All Methods Static Methods Instance Methods Concrete Methods
    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)`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

    - ### Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1

      `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`

    - ### Methods inherited from interface com.jnape.palatable.lambda.monad.Monad

      `join`

    - ### Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

      `coerce`

- - ### 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 any `Throwable`.
      Specified by:
        `checkedApply` in interface `Fn1<Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B>,Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,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()

    - #### re

          public static <S,T,A,B> Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T> re(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)