All Superinterfaces:: Applicative<OptionT<F,?>>, Functor<OptionT<F,?>>, Invariant<OptionT<F,?>>, Monad<OptionT<F,?>>, Selective<OptionT<F,?>>

All Known Subinterfaces:: OptionTMonadDefer<F>, OptionTMonadErrorFromMonad<F>, OptionTMonadErrorFromMonadError<F,E>, OptionTMonadThrow<F>

interface OptionTMonad<F extends Kind<F,?>> extends Monad<OptionT<F,?>>

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, R> OptionT<F,R>

flatMap(Kind<OptionT<F,?>,? extends T> value, Function1<? super T,? extends Kind<OptionT<F,?>,? extends R>> map)

static <F extends Kind<F, ?>> OptionTMonad<F>

instance(Monad<F> monadF)

Monad<F>

monadF()

default <T> OptionT<F,T>

pure(T value)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Applicative
first, last, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor
imap, lift

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Monad
andThen, ap, flatten, map, select, tailRecM, use

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Selective
allS, allS, andS, anyS, anyS, branch, ifS, orS, whenS

Interface OptionTMonad<F extends Kind<F,?>>

Nested Class Summary