Package com.mojang.datafixers.optics

Interface Traversal<S,T,A,B>

All Superinterfaces:

App2<Traversal.Mu<A,B>,S,T>, Optic<TraversalP.Mu,S,T,A,B>, Wander<S,T,A,B>

All Known Implementing Classes:

ListTraversal

public interface Traversal<S,T,A,B>
extends Wander<S,T,A,B>, App2<Traversal.Mu<A,B>,S,T>, Optic<TraversalP.Mu,S,T,A,B>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final class	Traversal.Instance<A2,B2>
static final class	Traversal.Mu<A,B>

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
default <P extends K2> FunctionType<App2<P,A,B>,App2<P,S,T>>	eval(App<? extends TraversalP.Mu,P> proof)
static <S, T, A, B> Traversal<S,T,A,B>	unbox(App2<Traversal.Mu<A,B>,S,T> box)

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

upCast

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

wander

Method Details

unbox

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

eval

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

Specified by:

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