Test.Monad.State.Mutants

Documentation

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

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

StateT mutant

data PutDoesNothing

Instances

Monad m => MonadState s (MutantStateT s m)

Defined in Test.Monad.State.Mutants

Methods

get :: MutantStateT s m s

put :: s -> MutantStateT s m ()

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

type MutantStateT s = Mutant PutDoesNothing (StateT s)

Fails:

'put_get'

Passes (wrongly):

'bad_get_put_get'
'bad_put_put'

type MutantState s = MutantStateT s Identity