com.mojang.datafixers.kinds

public interface Traversable<T extends K1, Mu extends Traversable$Mu>

extends Functor<T, Mu>

com.mojang.datafixers.kinds.Traversable

Method summary

Modifier and TypeMethod
static <F extends K1, Mu extends Traversable$Mu> Traversable<F, Mu>
unbox(App<Mu, F> arg0)
<F extends K1, A, B> App<F, App<T, B>>
traverse(Applicative<F, ?> arg0, Function<A, App<F, B>> arg1, App<T, A> arg2)
default <F extends K1, A> App<F, App<T, A>>
sequenceA(Applicative<F, ?> arg0, App<T, App<F, A>> arg1)