Package com.github.tonivade.purefun.instances

Interface OptionPure

All Superinterfaces:

Applicative<Option<?>>, Functor<Option<?>>, Invariant<Option<?>>

All Known Subinterfaces:

OptionAlternative, OptionApplicative, OptionMonad, OptionMonadError

interface OptionPure
extends Applicative<Option<?>>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>

Method Summary

Modifier and Type	Method	Description
default <T> Kind<Option<?>,T>	pure(T value)

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

ap, first, last, map, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

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

imap, lift

Method Details

pure

default <T> Kind<Option<?>,T> pure(T value)

Specified by:

pure in interface Applicative<Option<?>>