Package com.github.tonivade.purefun.instances

Interface ConstTraverse<T>

All Superinterfaces:

ConstFoldable<T>, Foldable<Const<T,?>>, Functor<Const<T,?>>, Invariant<Const<T,?>>, Traverse<Const<T,?>>

interface ConstTraverse<T>
extends Traverse<Const<T,?>>, ConstFoldable<T>

Field Summary

Fields

Modifier and Type	Field	Description
static final ConstTraverse	INSTANCE

Method Summary

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

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

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 ConstTraverse INSTANCE

Method Details

traverse

default <G extends Kind<G,
?>,
A,
B>
Kind<G,Kind<Const<T,?>,B>> traverse(Applicative<G> applicative,
 Kind<Const<T,?>,A> value,
 Function1<? super A,? extends Kind<G,? extends B>> mapper)

Specified by:

traverse in interface Traverse<T>