Package com.github.tonivade.purefun.instances

Interface EitherTraverse<L>

All Superinterfaces:

EitherFoldable<L>, Foldable<Either<L,?>>, Functor<Either<L,?>>, Invariant<Either<L,?>>, Traverse<Either<L,?>>

interface EitherTraverse<L>
extends Traverse<Either<L,?>>, EitherFoldable<L>

Field Summary

Fields

Modifier and Type	Field	Description
static final EitherTraverse	INSTANCE

Method Summary

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

Methods inherited from interface com.github.tonivade.purefun.instances.EitherFoldable

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

Field Details

INSTANCE

static final EitherTraverse INSTANCE

Method Details

traverse

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

Specified by:

traverse in interface Traverse<L>