Test.Monad.Writer.Mutants

Documentation

bad_listen_tell :: forall m w. MonadWriter w m => w -> Equation (m w)

type MutantWriter v w = Mutant v (WriterT w) Identity

data TellDoesNothing

Instances

(Monad m, Monoid w) => MonadWriter w (Mutant TellDoesNothing (WriterT w) m)

Defined in Test.Monad.Writer.Mutants

Methods

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

Instances

(Monad m, Monoid w) => MonadWriter w (Mutant ListenDoesNothing (WriterT w) m)

Defined in Test.Monad.Writer.Mutants

Methods

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

Instances

(Monad m, Monoid w) => MonadWriter w (Mutant ListenResets (WriterT w) m)

Defined in Test.Monad.Writer.Mutants

Methods

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

Instances

(Monad m, Monoid w) => MonadWriter w (Mutant PassDoesNothing (WriterT w) m)

Defined in Test.Monad.Writer.Mutants

Methods

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