arrow-mtl / arrow.mtl.extensions / AccumTApplicative

AccumTApplicative

@extension interface AccumTApplicative<S, F> : Applicative<AccumTPartialOf<S, F>>

Functions

ap open fun <A, B> Kind<AccumTPartialOf<S, F>, A>.ap(ff: Kind<AccumTPartialOf<S, F>, (A) -> B>): Kind<AccumTPartialOf<S, F>, B>
just open fun <A> just(a: A): Kind<AccumTPartialOf<S, F>, A>
MF abstract fun MF(): Monad<F>
MS abstract fun MS(): Monoid<S>

Inheritors

AccumTAlternative interface AccumTAlternative<S, F> : Alternative<AccumTPartialOf<S, F>>, AccumTApplicative<S, F>
AccumTApplicativeError interface AccumTApplicativeError<S, F, E> : ApplicativeError<AccumTPartialOf<S, F>, E>, AccumTApplicative<S, F>
AccumTMonad interface AccumTMonad<S, F> : Monad<AccumTPartialOf<S, F>>, AccumTApplicative<S, F>

Do you like Arrow?

Arrow Org
<