test-monad-laws-0.0.0.0: Laws for mtl classes as QuickCheck properties.

Safe HaskellNone
LanguageHaskell2010

Test.Monad.State.Mutants

Contents

Synopsis

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 # 
Instance details

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) Source #

Fails:

'put_get'

Passes (wrongly):

'bad_get_put_get'
'bad_put_put'