cats-mtl/cats.mtl/Stateful

Stateful

object Stateful
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Implicits

Inherited implicits

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