Package com.mojang.datafixers.kinds

Interface Traversable<T extends K1,Mu extends Traversable.Mu>

All Superinterfaces:

App<Mu,T>, Functor<T,Mu>, Kind1<T,Mu>

All Known Subinterfaces:

CartesianLike<T,C,Mu>, CocartesianLike<T,C,Mu>

All Known Implementing Classes:

Either.Instance, ListBox.Instance, OptionalBox.Instance, Pair.Instance

public interface Traversable<T extends K1,Mu extends Traversable.Mu>
extends Functor<T,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Traversable.Mu

Method Summary

Modifier and Type	Method	Description
default <F extends K1, A> App<F,App<T,A>>	flip(Applicative<F,?> applicative, App<T,App<F,A>> input)
<F extends K1, A, B> App<F,App<T,B>>	traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, App<T,A> input)
static <F extends K1, Mu extends Traversable.Mu> Traversable<F,Mu>	unbox(App<Mu,F> proofBox)

Methods inherited from interface com.mojang.datafixers.kinds.Functor

map

Methods inherited from interface com.mojang.datafixers.kinds.Kind1

group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, group

Method Details

unbox

static <F extends K1,
Mu extends Traversable.Mu>
Traversable<F,Mu> unbox(App<Mu,F> proofBox)

traverse

<F extends K1,
A,
B> App<F,App<T,B>> traverse(Applicative<F,?> applicative,
 Function<A,App<F,B>> function,
 App<T,A> input)

flip

default <F extends K1,
A> App<F,App<T,A>> flip(Applicative<F,?> applicative,
 App<T,App<F,A>> input)