CartesianLike (NeoForge 26.1)

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 Functor
map

Methods inherited from interface Kind1
group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, group

Methods inherited from interface 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>