arrow-mtl / arrow.mtl.extensions / StateTApplicative

StateTApplicative

@extension interface StateTApplicative<F, S> : Applicative<StateTPartialOf<F, S>>, StateTFunctor<F, S>

Functions

ap open fun <A, B> StateTOf<F, S, A>.ap(ff: StateTOf<F, S, (A) -> B>): StateT<F, S, B>
FF open fun FF(): Functor<F>
just open fun <A> just(a: A): StateT<F, S, A>
lazyAp open fun <A, B> Kind<StateTPartialOf<F, S>, A>.lazyAp(ff: () -> Kind<StateTPartialOf<F, S>, (A) -> B>): Kind<StateTPartialOf<F, S>, B>
map open fun <A, B> StateTOf<F, S, A>.map(f: (A) -> B): StateT<F, S, B>
MF abstract fun MF(): Monad<F>

Inheritors

StateTAlternative interface StateTAlternative<F, S> : Alternative<StateTPartialOf<F, S>>, StateTMonoidK<F, S>, StateTApplicative<F, S>
StateTApplicativeError interface StateTApplicativeError<F, S, E> : ApplicativeError<StateTPartialOf<F, S>, E>, StateTApplicative<F, S>
StateTMonad interface StateTMonad<F, S> : Monad<StateTPartialOf<F, S>>, StateTApplicative<F, S>

Do you like Arrow?

Arrow Org
<