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>
map open fun <A, B> StateTOf<F, S, A>.map(f: (A) -> B): StateT<F, S, B>
MF abstract fun MF(): Monad<F>
product open fun <A, B> StateTOf<F, S, A>.product(fb: StateTOf<F, S, B>): StateT<F, S, Tuple2<A, B>>

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>