com.mojang.datafixers.kinds

public interface CocartesianLike<T extends K1, C, Mu extends CocartesianLike$Mu>

extends Functor<T, Mu>, Traversable<T, Mu>

com.mojang.datafixers.kinds.CocartesianLike

Method summary

Modifier and TypeMethod
static <F extends K1, C, Mu extends CocartesianLike$Mu> CocartesianLike<F, C, Mu>
unbox(App<Mu, F> arg0)
<A> App<Either$Mu<C>, A>
to(App<T, A> arg0)
<A> App<T, A>
from(App<Either$Mu<C>, A> arg0)
default <F extends K1, A, B> App<F, App<T, B>>
traverse(Applicative<F, ?> arg0, Function<A, App<F, B>> arg1, App<T, A> arg2)