Package com.github.tonivade.purefun.typeclasses

Interface ComposedTraverse<F extends Kind<F,?>,G extends Kind<G,?>>

All Superinterfaces:

ComposedFoldable<F,G>, Foldable<Nested<F,G>>, Functor<Nested<F,G>>, Invariant<Nested<F,G>>, Traverse<Nested<F,G>>

interface ComposedTraverse<F extends Kind<F,?>,G extends Kind<G,?>>
extends Traverse<Nested<F,G>>, ComposedFoldable<F,G>

Method Summary

Modifier and Type	Method	Description
Traverse<F>	f()
Traverse<G>	g()
default <H extends Kind<H, ?>, T, R> Kind<H,Kind<Nested<F,G>,R>>	traverse(Applicative<H> applicative, Kind<Nested<F,G>,T> value, Function1<? super T,? extends Kind<H,? extends R>> mapper)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.ComposedFoldable

foldLeft, foldRight

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Foldable

fold, foldM, foldMap, reduce

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor

imap, lift

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Traverse

map, sequence

Method Details

f

Traverse<F> f()

Specified by:

f in interface ComposedFoldable<F extends Kind<F,?>,G extends Kind<G,?>>

g

Traverse<G> g()

Specified by:

g in interface ComposedFoldable<F extends Kind<F,?>,G extends Kind<G,?>>

traverse

default <H extends Kind<H,
?>,
T,
R>
Kind<H,Kind<Nested<F,G>,R>> traverse(Applicative<H> applicative,
 Kind<Nested<F,G>,T> value,
 Function1<? super T,? extends Kind<H,? extends R>> mapper)

Specified by:

traverse in interface Traverse<F extends Kind<F,?>>