Test.Monad.State

MonadState laws

get_get :: forall m s. MonadState s m => Equation (m s)

get_put :: forall m s. MonadState s m => Equation (m ())

put_get :: forall m s. MonadState s m => s -> Equation (m s)

put_put :: forall m s. MonadState s m => s -> s -> Equation (m ())

state' :: forall m a s. MonadState s m => State s a -> m a

This is equivalent to state, which should be a monad homomorphism.