StateTInstances3

sealed abstract

Implicits

Implicits

implicit
def stateTBindRec[S, F[_]](implicit F0: Applicative[F]): BindRec[[_] =>> StateT[S, F, _$41]]
implicit
def stateTDecidable[S, F[_]](implicit F0: Decidable[F], F1: Bind[F]): Decidable[[_] =>> StateT[S, F, _$45]]
implicit
def stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> StateT[S, F, _$43], E]

Inherited implicits

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 stateTDivisible[S, F[_]](implicit F0: Divisible[F], F1: Bind[F]): Divisible[[_] =>> StateT[S, F, _$39]]
Inherited from
StateTInstances4