scalaz/scalaz/StateT

StateT

object StateT extends StateTInstances with StateTFunctions
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], S, A](f: S => F[(S, A)])(implicit F: Monad[F]): StateT[F, S, A]
def get[F[_] : Monad, S]: StateT[F, S, S]
def gets[F[_] : Monad, S, A](f: S => A): StateT[F, S, A]
def hoist[F[_] : Monad, G[_] : Monad, S, A](nat: NaturalTransformation[F, G]): NaturalTransformation[[_] =>> StateT[F, S, _$18], [_] =>> StateT[G, S, _$19]]
def liftM[F[_] : Monad, S, A](fa: F[A]): StateT[F, S, A]
def modify[F[_] : Monad, S](f: S => S): StateT[F, S, Unit]
def put[F[_] : Monad, S](s: S): StateT[F, S, Unit]

Inherited methods

def constantIndexedStateT[F[_], S1, S2, A](a: A)(s: => S2)(implicit F: Applicative[F]): IndexedStateT[F, S1, S2, A]
def constantStateT[F[_], S, A](a: A)(s: => S)(implicit F: Monad[F]): StateT[F, S, A]
Inherited from
StateTFunctions
def stateT[F[_], S, A](a: A)(implicit F: Monad[F]): StateT[F, S, A]
Inherited from
StateTFunctions

Implicits

Inherited implicits

implicit
def StateMonadTrans[S]: Hoist[[g[_], a] =>> StateT[g, S, a]]
Inherited from
StateTInstances0
implicit
def indexedStateTBifunctor[S1, F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> IndexedStateT[F, S1, _$21, _$22]]
implicit
def indexedStateTContravariant[S2, A0, F[_]]: Contravariant[[_] =>> IndexedStateT[F, _$17, S2, A0]]
implicit
def indexedStateTFunctorLeft[S1, A0, F[_]](implicit F0: Functor[F]): Functor[[_] =>> IndexedStateT[F, S1, _$19, A0]]
implicit
def indexedStateTFunctorRight[S1, S2, F[_]](implicit F0: Functor[F]): Functor[[_] =>> IndexedStateT[F, S1, S2, _$24]]
implicit
def indexedStateTPlus[F[_] : Plus, S1, S2]: Plus[[_] =>> IndexedStateT[F, S1, S2, _$26]]
implicit
def stateComonad[S](implicit S: Monoid[S]): Comonad[[_] =>> State[S, _$36]]
Inherited from
StateTInstances0
implicit
def stateMonad[S]: MonadState[[_] =>> State[S, _$38], S]
Inherited from
StateTInstances
implicit
def stateTBindRec[S, F[_]](implicit F0: Monad[F], F1: BindRec[F]): BindRec[[_] =>> StateT[F, S, _$28]]
Inherited from
StateTInstances3
implicit
def stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> StateT[F, S, _$30], E]
Inherited from
StateTInstances3
implicit
def stateTMonadPlus[S, F[_]](implicit F0: MonadPlus[F]): MonadPlus[[_] =>> StateT[F, S, _$34]]
Inherited from
StateTInstances1
implicit
def stateTMonadState[S, F[_]](implicit F0: Monad[F]): MonadState[[_] =>> StateT[F, S, _$32], S]
Inherited from
StateTInstances2