Effectful.Class.State

Documentation

class Monad m => MonadState s m where

Compatiblity layer for a transition period from MTL-style effect handling to Eff.

Minimal complete definition

state | get, put

Methods

get :: m s

put :: s -> m ()

state :: (s -> (a, s)) -> m a

Instances

State s :> es => MonadState s (Eff es)

Defined in Effectful.Class.State

Methods

get :: Eff es s

put :: s -> Eff es ()

state :: (s -> (a, s)) -> Eff es a

(MonadState s m, MonadTrans t, Monad (t m)) => MonadState s (t m)

Generic, overlappable instance.

Defined in Effectful.Class.State

Methods

get :: t m s

put :: s -> t m ()

state :: (s -> (a, s)) -> t m a

modify :: MonadState s m => (s -> s) -> m ()