Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
bad_listen_tell :: forall m w. MonadWriter w m => w -> Equation (m w) Source #
data TellDoesNothing Source #
Instances
(Monad m, Monoid w) => MonadWriter w (Mutant TellDoesNothing (WriterT w) m) Source # | |
Defined in Test.Monad.Writer.Mutants writer :: (a, w) -> Mutant TellDoesNothing (WriterT w) m a # tell :: w -> Mutant TellDoesNothing (WriterT w) m () # listen :: Mutant TellDoesNothing (WriterT w) m a -> Mutant TellDoesNothing (WriterT w) m (a, w) # pass :: Mutant TellDoesNothing (WriterT w) m (a, w -> w) -> Mutant TellDoesNothing (WriterT w) m a # |
data ListenDoesNothing Source #
Instances
(Monad m, Monoid w) => MonadWriter w (Mutant ListenDoesNothing (WriterT w) m) Source # | |
Defined in Test.Monad.Writer.Mutants writer :: (a, w) -> Mutant ListenDoesNothing (WriterT w) m a # tell :: w -> Mutant ListenDoesNothing (WriterT w) m () # listen :: Mutant ListenDoesNothing (WriterT w) m a -> Mutant ListenDoesNothing (WriterT w) m (a, w) # pass :: Mutant ListenDoesNothing (WriterT w) m (a, w -> w) -> Mutant ListenDoesNothing (WriterT w) m a # |
data ListenResets Source #
Instances
(Monad m, Monoid w) => MonadWriter w (Mutant ListenResets (WriterT w) m) Source # | |
Defined in Test.Monad.Writer.Mutants writer :: (a, w) -> Mutant ListenResets (WriterT w) m a # tell :: w -> Mutant ListenResets (WriterT w) m () # listen :: Mutant ListenResets (WriterT w) m a -> Mutant ListenResets (WriterT w) m (a, w) # pass :: Mutant ListenResets (WriterT w) m (a, w -> w) -> Mutant ListenResets (WriterT w) m a # |
data PassDoesNothing Source #
Instances
(Monad m, Monoid w) => MonadWriter w (Mutant PassDoesNothing (WriterT w) m) Source # | |
Defined in Test.Monad.Writer.Mutants writer :: (a, w) -> Mutant PassDoesNothing (WriterT w) m a # tell :: w -> Mutant PassDoesNothing (WriterT w) m () # listen :: Mutant PassDoesNothing (WriterT w) m a -> Mutant PassDoesNothing (WriterT w) m (a, w) # pass :: Mutant PassDoesNothing (WriterT w) m (a, w -> w) -> Mutant PassDoesNothing (WriterT w) m a # |