com.mojang.datafixers.optics

Class ListTraversal<A,B>

java.lang.Object

com.mojang.datafixers.optics.ListTraversal<A,B>

All Implemented Interfaces:

Traversal<List<A>::A,List<B>::B>, Optic<TraversalP _,List<A>::A,List<B>::B>, Traversal<List<A>::A,List<B>::B>, Wander<List<A>::A,List<B>::B>

public final class ListTraversal<A,B>
extends Object
implements Traversal<List<A>::A,List<B>::B>

Nested Class Summary

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

Traversal.Instance<A2,B2>

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

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

Constructor Summary

Constructors

Constructor and Description
ListTraversal()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	toString()
<F extends K1> (List<A>) -> F<List<B>>	wander(Applicative F applicative, (A) -> F<B> input) Takes the given Applicative-effectful function over the field types and produces an effectful function over the object types.

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

eval

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

compose, composeUnchecked, upCast

Constructor Detail

ListTraversal

public ListTraversal()

Method Detail

wander

public <F extends K1> (List<A>) -> F<List<B>> wander(Applicative F applicative,
                                                     (A) -> F<B> input)

Description copied from interface: Wander

Takes the given Applicative-effectful function over the field types and produces an effectful function over the object types. The returned function traverses the structure S, applies the transformation to each field in S, and combines the resulting effects into a single effect containing the transformed object T.

Specified by:

wander in interface Wander<List<A>::A,List<B>::B>

Type Parameters:

F - The functor produced by the given function.

Parameters:

applicative - The Applicative type class instance defining the behavior of F.

input - A function from the input field type to the output field type.

Returns:

A function from the input object type to the output object type.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object