arrow-mtl / arrow.mtl.extensions / OptionTMonad
OptionTMonad
@extension interface OptionTMonad<F> : Monad<OptionTPartialOf<F>>, OptionTApplicative<F>
Functions
| ap | open fun <A, B> OptionTOf<F, A>.ap(ff: OptionTOf<F, (A) -> B>): OptionT<F, B> |
| flatMap | open fun <A, B> OptionTOf<F, A>.flatMap(f: (A) -> OptionTOf<F, B>): OptionT<F, B> |
| lazyAp | open fun <A, B> Kind<OptionTPartialOf<F>, A>.lazyAp(ff: () -> Kind<OptionTPartialOf<F>, (A) -> B>): Kind<OptionTPartialOf<F>, B> |
| map | open fun <A, B> OptionTOf<F, A>.map(f: (A) -> B): OptionT<F, B> |
| MF | abstract fun MF(): Monad<F> |
| tailRecM | open fun <A, B> tailRecM(a: A, f: (A) -> OptionTOf<F, Either<A, B>>): OptionT<F, B> |
Inheritors
| OptionTMonadError | interface OptionTMonadError<F, E> : MonadError<OptionTPartialOf<F>, E>, OptionTMonad<F>, OptionTApplicativeError<F, E> |