Package com.jnape.palatable.lambda.optics.functions

Class View<S,T,A,B>

java.lang.Object

com.jnape.palatable.lambda.optics.functions.View<S,T,A,B>

Type Parameters:

S - the type of the larger value

T - the type of the larger updated value (unused, but necessary for composition)

A - the type of the smaller retrieving value

B - the type of the smaller setting value (unused, but necessary for composition)

All Implemented Interfaces:

Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>>, Fn2<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,S,A>, Applicative<Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>, Cartesian<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>,Fn1<?,?>>, Cocartesian<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>,Fn1<?,?>>, Contravariant<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Profunctor<?,Fn1<S,A>,Fn1<?,?>>>, Functor<Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>, Profunctor<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>,Fn1<?,?>>, Monad<Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>, MonadReader<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>, MonadRec<Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>, MonadWriter<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,Fn1<S,A>,Fn1<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,?>>

public final class View<S,T,A,B>
extends java.lang.Object
implements Fn2<Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B>,S,A>

Given an Optic and a "larger" value S, retrieve a "smaller" value A by lifting the Optic into the Const functor.

More idiomatically, this function can be used to treat a Optic as a "getter" of As from Ss.

See Also:

Set, Over

Field Summary

Fields

Modifier and Type	Field	Description
private static View<?,?,?,?>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	View()

Method Summary

Modifier and Type	Method	Description
A	checkedApply(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)
static <S,T,A,B> View<S,T,A,B>	view()
static <S,T,A,B> Fn1<S,A>	view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic)
static <S,T,A,B> A	view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)

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, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2

apply, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, toBiFunction, uncurry, widen

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

coerce

Field Detail

INSTANCE

private static final View<?,?,?,?> INSTANCE

Constructor Detail

View

private View()

Method Detail

checkedApply

public A checkedApply(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic,
                      S s)

Specified by:

checkedApply in interface Fn2<S,T,A>

view

public static <S,T,A,B> View<S,T,A,B> view()

view

public static <S,T,A,B> Fn1<S,A> view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic)

view

public static <S,T,A,B> A view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic,
                                                 S s)