Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 ())
- data PutDoesNothing
- type MutantStateT s = Mutant PutDoesNothing (StateT s)
- type MutantState s = MutantStateT s Identity
Documentation
bad_get_put_get :: forall m s. MonadState s m => s -> Equation (m s) Source #
bad_put_put :: forall m s. MonadState s m => s -> s -> Equation (m ()) Source #
StateT
mutant
data PutDoesNothing Source #
Instances
Monad m => MonadState s (MutantStateT s m) Source # | |
Defined in Test.Monad.State.Mutants 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) Source #
Fails:
'put_get'
Passes (wrongly):
'bad_get_put_get' 'bad_put_put'
type MutantState s = MutantStateT s Identity Source #