Package com.github.tonivade.purefun.instances

Interface SequenceTraverse

All Superinterfaces:

Foldable<Sequence<?>>, Functor<Sequence<?>>, Invariant<Sequence<?>>, SequenceFoldable, Traverse<Sequence<?>>

interface SequenceTraverse
extends Traverse<Sequence<?>>, SequenceFoldable

Field Summary

Fields

Modifier and Type	Field	Description
static final SequenceTraverse	INSTANCE

Method Summary

Modifier and Type	Method	Description
default <G extends Kind<G, ?>, T, R> Kind<G,Kind<Sequence<?>,R>>	traverse(Applicative<G> applicative, Kind<Sequence<?>,T> value, Function1<? super T,? extends Kind<G,? extends R>> mapper)

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.instances.SequenceFoldable

foldLeft, foldRight

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

map, sequence

Field Details

INSTANCE

static final SequenceTraverse INSTANCE

Method Details

traverse

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

Specified by:

traverse in interface Traverse<Sequence<?>>