Package com.mojang.datafixers.optics

Interface Lens<S,T,A,B>

All Superinterfaces:

App2<Lens.Mu<A,B>,S,T>, Optic<Cartesian.Mu,S,T,A,B>

All Known Implementing Classes:

Proj1, Proj2

public interface Lens<S,T,A,B>
extends App2<Lens.Mu<A,B>,S,T>, Optic<Cartesian.Mu,S,T,A,B>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final class	Lens.Box<S,T,A,B>
static final class	Lens.Instance<A2,B2>
static final class	Lens.Mu<A,B>
static final class	Lens.Mu2<S,T>

Nested classes/interfaces inherited from interface com.mojang.datafixers.optics.Optic

Optic.CompositionOptic<Proof extends K1,S,T,A,B>

Method Summary

Modifier and Type	Method	Description
static <S, T, A, B> App2<Lens.Mu2<S,T>,B,A>	box(Lens<S,T,A,B> lens)
default <P extends K2> FunctionType<App2<P,A,B>,App2<P,S,T>>	eval(App<? extends Cartesian.Mu,P> proofBox)
static <S, T, A, B> Lens<S,T,A,B>	unbox(App2<Lens.Mu<A,B>,S,T> box)
static <S, T, A, B> Lens<S,T,A,B>	unbox2(App2<Lens.Mu2<S,T>,B,A> box)
T	update(B b, S s)
A	view(S s)

Methods inherited from interface com.mojang.datafixers.optics.Optic

upCast

Method Details

unbox

static <S,
T,
A,
B> Lens<S,T,A,B> unbox(App2<Lens.Mu<A,B>,S,T> box)

unbox2

static <S,
T,
A,
B> Lens<S,T,A,B> unbox2(App2<Lens.Mu2<S,T>,B,A> box)

box

static <S,
T,
A,
B> App2<Lens.Mu2<S,T>,B,A> box(Lens<S,T,A,B> lens)

view

A view(S s)

update

T update(B b,
 S s)

eval

default <P extends K2>
FunctionType<App2<P,A,B>,App2<P,S,T>> eval(App<? extends Cartesian.Mu,P> proofBox)

Specified by:

eval in interface Optic<Cartesian.Mu,S,T,A,B>