Safe Haskell	None
Language	Haskell2010

Test.Monad.State

Contents

Synopsis

`MonadState` laws

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

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

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

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

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

MonadState laws