Lens (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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>