Package com.github.tonivade.purefun.typeclasses

Interface Traverse<F extends Kind<F,?>>

All Superinterfaces:

Foldable<F>, Functor<F>, Invariant<F>

All Known Subinterfaces:

ComposedTraverse<F,G>, ConstTraverse<T>, EitherTraverse<L>, IdTraverse, OptionTraverse, SequenceTraverse, TryTraverse

public interface Traverse<F extends Kind<F,?>>
extends Functor<F>, Foldable<F>

Method Summary

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

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

fold, foldLeft, foldM, foldMap, foldRight, reduce

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

imap, lift

Method Details

traverse

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

sequence

default <G extends Kind<G,
?>,
T> Kind<G,Kind<F,T>> sequence(Applicative<G> applicative,
 Kind<F,? extends Kind<G,? extends T>> value)

map

default <T,
R> Kind<F,R> map(Kind<F,? extends T> value,
 Function1<? super T,? extends R> map)

Specified by:

map in interface Functor<F extends Kind<F,?>>

compose

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
Traverse<Nested<F,G>> compose(Traverse<F> f,
 Traverse<G> g)