cats-mtl/cats.mtl/Stateful

Stateful

object Stateful extends StatefulInstances
Companion
class
trait StatefulInstances
trait LowPriorityStatefulInstances
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], S](stateful: Stateful[F, S]): Stateful[F, S]
def get[F[_], S](ev: Stateful[F, S]): F[S]
def inspect[F[_], S, A](f: S => A)(state: Stateful[F, S]): F[A]
def modify[F[_], S](f: S => S)(state: Stateful[F, S]): F[Unit]
def set[F[_], S](newState: S)(ev: Stateful[F, S]): F[Unit]
def setF[F[_]]: setFPartiallyApplied[F]

Implicits

Inherited implicits

implicit def statefulForPartialOrder[F[_], G[_], S](liftF: MonadPartialOrder[F, G], ms: Stateful[F, S]): Stateful[G, S]
Inherited from
LowPriorityStatefulInstances
implicit def statefulForRWST[F[_], E, L, S](`evidence$2`: Monad[F], `evidence$3`: Monoid[L]): Stateful[[_] =>> ReaderWriterStateT[F, E, L, S, _$9], S]
Inherited from
StatefulInstances
implicit def statefulForStateT[F[_], S](`evidence$1`: Monad[F]): Stateful[[_] =>> StateT[F, S, _$5], S]
Inherited from
StatefulInstances