com.mojang.datafixers.optics

Interface Wander<S,T,A,B>

Type Parameters:

S - The input object type.

T - The output object type.

A - The input field type.

B - The output field type.

All Known Subinterfaces:

Traversal<S,T,A,B>

All Known Implementing Classes:

ListTraversal

public interface Wander<S,T,A,B>

A generalization of Traversable for any object types, not just functors. This interface is used in Traversal to implement optics that visit each field of a traversable structure.

Type Shape:

%.Type.[%0::%2,%1::%3]

See Also:

Traversable

Method Summary

Modifier and Type	Method and Description
<F extends K1> (S) -> F<T>	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.

Method Detail

wander

<F extends K1> (S) -> F<T> 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. 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.

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.