arrow-mtl / arrow.mtl.extensions / StateTApplicative

StateTApplicative

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

Functions

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

Inheritors

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

Do you like Arrow?

Arrow Org
<