meow/meow.control.mtl/MonadState

MonadState

object MonadState
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def get[M[_]](implicit evidence$4: Functor[M], evidence$5: Applicative[M], evidence$6: Monad[M]): [S] => (ms: MonadState[S, M]) => M[S]
def gets[M[_]](implicit evidence$11: Functor[M], evidence$12: Monad[M]): [S, A] => (f: S => A) => MonadState[S, M] => M[A]
def modify[M[_]](implicit evidence$10: Monad[M]): [S] => (f: S => S) => MonadState[S, M] => M[Unit]
def put[M[_]](implicit evidence$7: Functor[M], evidence$8: Applicative[M], evidence$9: Monad[M]): [S] => (ms: MonadState[S, M]) => S => M[Unit]