Package com.mojang.datafixers.kinds

Interface Functor<F extends K1,Mu extends Functor.Mu>

All Superinterfaces:

App<Mu,F>, Kind1<F,Mu>

All Known Subinterfaces:

Applicative<F,Mu>, CartesianLike<T,C,Mu>, CocartesianLike<T,C,Mu>, Representable<T,C,Mu>, Traversable<T,Mu>

All Known Implementing Classes:

Const.Instance, DataResult.Instance, Either.Instance, FunctionType.ReaderInstance, IdF.Instance, ListBox.Instance, OptionalBox.Instance, Pair.Instance, RecordCodecBuilder.Instance

public interface Functor<F extends K1,Mu extends Functor.Mu>
extends Kind1<F,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Functor.Mu

Method Summary

Modifier and Type	Method	Description
<T, R> App<F,R>	map(Function<? super T,? extends R> func, App<F,T> ts)
static <F extends K1, Mu extends Functor.Mu> Functor<F,Mu>	unbox(App<Mu,F> proofBox)

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 Functor.Mu>
Functor<F,Mu> unbox(App<Mu,F> proofBox)

map

<T,
R> App<F,R> map(Function<? super T,? extends R> func,
 App<F,T> ts)