Traversable (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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

All Known Subinterfaces:: CartesianLike<T,C,Mu>, CocartesianLike<T,C,Mu>

All Known Implementing Classes:: Either.Instance, ListBox.Instance, OptionalBox.Instance, Pair.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Traversable.Mu
Method Summary

Modifier and Type

Method

Description

default <F extends K1, A> App<F,App<T,A>>

flip(Applicative<F,?> applicative, App<T,App<F,A>> input)

<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, Mu extends Traversable.Mu> Traversable<F,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, Mu extends Traversable.Mu> Traversable<F,Mu> unbox(App<Mu,F> proofBox)
- traverse
  
  <F extends K1, A, B> App<F,App<T,B>> traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, App<T,A> input)
- flip
  
  default <F extends K1, A> App<F,App<T,A>> flip(Applicative<F,?> applicative, App<T,App<F,A>> input)