Package com.github.tonivade.purefun.instances

Interface IdTraverse

All Superinterfaces:

Foldable<Id<?>>, Functor<Id<?>>, IdFoldable, Invariant<Id<?>>, Traverse<Id<?>>

interface IdTraverse
extends Traverse<Id<?>>, IdFoldable

Field Summary

Fields

Modifier and Type	Field	Description
static final IdTraverse	INSTANCE

Method Summary

Modifier and Type	Method	Description
default <G extends Kind<G, ?>, T, R> Kind<G,Kind<Id<?>,R>>	traverse(Applicative<G> applicative, Kind<Id<?>,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.IdFoldable

foldLeft, foldRight

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

map, sequence

Field Details

INSTANCE

static final IdTraverse INSTANCE

Method Details

traverse

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

Specified by:

traverse in interface Traverse<Id<?>>