com.mojang.datafixers.optics.profunctors.TraversalP

public interface TraversalP<P extends K2, Mu extends TraversalP$Mu>

extends AffineP<P, Mu>

Modifier and Type

Method

static <P extends K2, Proof extends TraversalP$Mu> TraversalP<P, Proof>

unbox(App<Proof, P> arg0)

<S, T, A, B> App2<P, S, T>

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

default <T extends K1, A, B> App2<P, App<T, A>, App<T, B>>

traverse(Traversable<T, ?> arg0, App2<P, A, B> arg1)

default <A, B, C> App2<P, Pair<A, C>, Pair<B, C>>

first(App2<P, A, B> arg0)

default <A, B, C> App2<P, Either<A, C>, Either<B, C>>

left(App2<P, A, B> arg0)

toFP3()