com.mojang.datafixers.kinds

public enum OptionalBox$Instance

implements Applicative<OptionalBox$Mu, OptionalBox$Instance$Mu>, Traversable<OptionalBox$Mu, OptionalBox$Instance$Mu>

com.mojang.datafixers.kinds.OptionalBox$Instance

Enum constant summary

Enum Constant
INSTANCE

Constructor summary

ModifierConstructor
private ()

Method summary

Modifier and TypeMethod
public <T, R> App<OptionalBox$Mu, R>
map(Function<? super T, ? extends R> arg0, App<OptionalBox$Mu, T> arg1)
public <A> App<OptionalBox$Mu, A>
point(A arg0)
public <A, R> Function<App<OptionalBox$Mu, A>, App<OptionalBox$Mu, R>>
lift1(App<OptionalBox$Mu, Function<A, R>> arg0)
public <A, B, R> BiFunction<App<OptionalBox$Mu, A>, App<OptionalBox$Mu, B>, App<OptionalBox$Mu, R>>
lift2(App<OptionalBox$Mu, BiFunction<A, B, R>> arg0)
public <F extends K1, A, B> App<F, App<OptionalBox$Mu, B>>
traverse(Applicative<F, ?> arg0, Function<A, App<F, B>> arg1, App<OptionalBox$Mu, A> arg2)