StateTInstances

abstract
object StateT

Implicits

Implicits

implicit
implicit
def stateMonad[S]: MonadState[[_] =>> State[S, _$53], S]

Inherited implicits

implicit
def StateMonadTrans[S]: Hoist[[a[_], b] =>> StateT[S, a, b]]
Inherited from
StateTInstances0
implicit
def indexedStateProfunctor[S2, F[_]](implicit F0: Applicative[F]): Profunctor[[_, _] =>> IndexedStateT[_$23, S2, F, _$24]]
implicit
def indexedStateTBifunctor[S1, F[_]](implicit F0: Applicative[F]): Bifunctor[[_, _] =>> IndexedStateT[S1, _$32, F, _$33]]
implicit
implicit
def indexedStateTFunctorLeft[S1, A0, F[_]](implicit F0: Applicative[F]): Functor[[_] =>> IndexedStateT[S1, _$30, F, A0]]
implicit
def indexedStateTFunctorRight[S1, S2, F[_]](implicit F0: Applicative[F]): Functor[[_] =>> IndexedStateT[S1, S2, F, _$35]]
implicit
def indexedStateTPlus[F[_] : Plus, S1, S2]: Plus[[_] =>> IndexedStateT[S1, S2, F, _$37]]
implicit
def stateComonad[S](implicit S: Monoid[S]): Comonad[[_] =>> State[S, _$51]]
Inherited from
StateTInstances0
implicit
def stateTBindRec[S, F[_]](implicit F0: Applicative[F]): BindRec[[_] =>> StateT[S, F, _$41]]
Inherited from
StateTInstances3
implicit
def stateTDecidable[S, F[_]](implicit F0: Decidable[F], F1: Bind[F]): Decidable[[_] =>> StateT[S, F, _$45]]
Inherited from
StateTInstances3
implicit
def stateTDivisible[S, F[_]](implicit F0: Divisible[F], F1: Bind[F]): Divisible[[_] =>> StateT[S, F, _$39]]
Inherited from
StateTInstances4
implicit
def stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> StateT[S, F, _$43], E]
Inherited from
StateTInstances3
implicit
def stateTMonadPlus[S, F[_]](implicit F0: MonadPlus[F]): MonadPlus[[_] =>> StateT[S, F, _$49]]
Inherited from
StateTInstances1
implicit
def stateTMonadState[S, F[_]](implicit F0: Applicative[F]): MonadState[[_] =>> StateT[S, F, _$47], S]
Inherited from
StateTInstances2