Package com.mojang.datafixers.kinds

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

All Superinterfaces:

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

All Known Implementing Classes:

Pair.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	CartesianLike.Mu

Method Summary

Modifier and Type	Method	Description
<A> App<T,A>	from(App<Pair.Mu<C>,A> input)
<A> App<Pair.Mu<C>,A>	to(App<T,A> input)
default <F extends K1, A, B> App<F,App<T,B>>	traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, App<T,A> input)
static <F extends K1, C, Mu extends CartesianLike.Mu> CartesianLike<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

Methods inherited from interface com.mojang.datafixers.kinds.Traversable

flip

Method Details

unbox

static <F extends K1,
C,
Mu extends CartesianLike.Mu>
CartesianLike<F,C,Mu> unbox(App<Mu,F> proofBox)

to

<A> App<Pair.Mu<C>,A> to(App<T,A> input)

from

<A> App<T,A> from(App<Pair.Mu<C>,A> input)

traverse

default <F extends K1,
A,
B> App<F,App<T,B>> traverse(Applicative<F,?> applicative,
 Function<A,App<F,B>> function,
 App<T,A> input)

Specified by:

traverse in interface Traversable<T extends K1,C>