Package com.mojang.datafixers.kinds

Class ListBox<T>

java.lang.Object

com.mojang.datafixers.kinds.ListBox<T>

All Implemented Interfaces:

App<ListBox.Mu,T>

public final class ListBox<T>
extends Object
implements App<ListBox.Mu,T>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ListBox.Instance
static final class	ListBox.Mu

Method Summary

Modifier and Type	Method	Description
static <T> ListBox<T>	create(List<T> value)
static <F extends K1, A> App<F,List<A>>	flip(Applicative<F,?> applicative, List<App<F,A>> input)
static <F extends K1, A, B> App<F,List<B>>	traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, List<A> input)
static <T> List<T>	unbox(App<ListBox.Mu,T> box)

Methods inherited from class java.lang.Object

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

Method Details

unbox

public static <T> List<T> unbox(App<ListBox.Mu,T> box)

create

public static <T> ListBox<T> create(List<T> value)

traverse

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

flip

public static <F extends K1,
A> App<F,List<A>> flip(Applicative<F,?> applicative,
 List<App<F,A>> input)