arrow-mtl / arrow.mtl.extensions / StateTAlternative

StateTAlternative

@extension interface StateTAlternative<F, S> : Alternative<StateTPartialOf<F, S>>, StateTMonoidK<F, S>, StateTApplicative<F, S>

Functions

AF abstract fun AF(): Alternative<F>
combineK open fun <A> StateTOf<F, S, A>.combineK(y: StateTOf<F, S, A>): StateT<F, S, A>
empty open fun <A> empty(): Kind<StateTPartialOf<F, S>, A>
MF abstract fun MF(): Monad<F>
MO open fun MO(): MonoidK<F>
orElse open fun <A> Kind<StateTPartialOf<F, S>, A>.orElse(b: Kind<StateTPartialOf<F, S>, A>): Kind<StateTPartialOf<F, S>, A>