CocartesianLike (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

All Superinterfaces:: App<Mu,T>, Functor<T,Mu>, Kind1<T,Mu>, Traversable<T,Mu>

All Known Implementing Classes:: Either.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

CocartesianLike.Mu
Method Summary

Modifier and Type

Method

Description

<A> App<T,A>

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

<A> App<Either.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 CocartesianLike.Mu> CocartesianLike<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 CocartesianLike.Mu> CocartesianLike<F,C,Mu> unbox(App<Mu,F> proofBox)
- to
  
  <A> App<Either.Mu<C>,A> to(App<T,A> input)
- from
  
  <A> App<T,A> from(App<Either.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>