arrow-mtl / arrow.mtl.extensions / KleisliMonadPlus

KleisliMonadPlus

@extension interface KleisliMonadPlus<D, F> : MonadPlus<KleisliPartialOf<D, F>>, KleisliMonad<D, F>, KleisliAlternative<D, F>

Functions

AF open fun AF(): Applicative<F>
AL abstract fun AL(): Alternative<F>
MF abstract fun MF(): Monad<F>

Inheritors

KleisliMonadLogic interface KleisliMonadLogic<D, F> : MonadLogic<KleisliPartialOf<D, F>>, KleisliMonadPlus<D, F>

Do you like Arrow?

Arrow Org
<