Package com.github.tonivade.purefun.instances

Interface OptionTraverse

All Superinterfaces:

Foldable<Option<?>>, Functor<Option<?>>, Invariant<Option<?>>, OptionFoldable, Traverse<Option<?>>

interface OptionTraverse
extends Traverse<Option<?>>, OptionFoldable

Field Summary

Fields

Modifier and Type	Field	Description
static final OptionTraverse	INSTANCE

Method Summary

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

foldLeft, foldRight

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

map, sequence

Field Details

INSTANCE

static final OptionTraverse INSTANCE

Method Details

traverse

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

Specified by:

traverse in interface Traverse<Option<?>>