Package com.mojang.datafixers.kinds

Interface Representable<T extends K1,C,Mu extends Representable.Mu>

All Superinterfaces:

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

All Known Implementing Classes:

FunctionType.ReaderInstance

public interface Representable<T extends K1,C,Mu extends Representable.Mu>
extends Functor<T,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Representable.Mu

Method Summary

Modifier and Type	Method	Description
<A> App<T,A>	from(App<FunctionType.ReaderMu<C>,A> input)
<A> App<FunctionType.ReaderMu<C>,A>	to(App<T,A> input)
static <F extends K1, C, Mu extends Representable.Mu> Representable<F,C,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,
C,
Mu extends Representable.Mu>
Representable<F,C,Mu> unbox(App<Mu,F> proofBox)

to

<A> App<FunctionType.ReaderMu<C>,A> to(App<T,A> input)

from

<A> App<T,A> from(App<FunctionType.ReaderMu<C>,A> input)