Package com.mojang.datafixers.optics.profunctors

Interface TraversalP<P extends K2,Mu extends TraversalP.Mu>

All Superinterfaces:

AffineP<P,Mu>, App<Mu,P>, Cartesian<P,Mu>, Cocartesian<P,Mu>, Kind2<P,Mu>, Profunctor<P,Mu>

All Known Subinterfaces:

Mapping<P,Mu>

All Known Implementing Classes:

FunctionType.Instance, Traversal.Instance

public interface TraversalP<P extends K2,Mu extends TraversalP.Mu>
extends AffineP<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	TraversalP.Mu

Method Summary

Modifier and Type	Method	Description
default <A, B, C> App2<P,Pair<A,C>,Pair<B,C>>	first(App2<P,A,B> input)
default <A, B, C> App2<P,Either<A,C>,Either<B,C>>	left(App2<P,A,B> input)
default FunctorProfunctor<Traversable.Mu,P,FunctorProfunctor.Mu<Traversable.Mu>>	toFP3()
default <T extends K1, A, B> App2<P,App<T,A>,App<T,B>>	traverse(Traversable<T,?> traversable, App2<P,A,B> input)
static <P extends K2, Proof extends TraversalP.Mu> TraversalP<P,Proof>	unbox(App<Proof,P> proofBox)
<S, T, A, B> App2<P,S,T>	wander(Wander<S,T,A,B> wander, App2<P,A,B> input)

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Cartesian

second, toFP2

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Cocartesian

right, toFP

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor

dimap, dimap, dimap, lmap, rmap

Method Details

unbox

static <P extends K2,
Proof extends TraversalP.Mu>
TraversalP<P,Proof> unbox(App<Proof,P> proofBox)

wander

<S,
T,
A,
B> App2<P,S,T> wander(Wander<S,T,A,B> wander,
 App2<P,A,B> input)

traverse

default <T extends K1,
A,
B>
App2<P,App<T,A>,App<T,B>> traverse(Traversable<T,?> traversable,
 App2<P,A,B> input)

first

default <A,
B,
C> App2<P,Pair<A,C>,Pair<B,C>> first(App2<P,A,B> input)

Specified by:

first in interface Cartesian<P extends K2,Mu extends TraversalP.Mu>

left

default <A,
B,
C> App2<P,Either<A,C>,Either<B,C>> left(App2<P,A,B> input)

Specified by:

left in interface Cocartesian<P extends K2,Mu extends TraversalP.Mu>

toFP3

default FunctorProfunctor<Traversable.Mu,P,FunctorProfunctor.Mu<Traversable.Mu>> toFP3()