Safe Haskell	None
Language	Haskell2010

Test.Monad.Control.Mutants

Contents

Synopsis

Documentation

An general way to get MonadTransControl wrong is to run the base computation twice when lifting...

Instances

MonadTransControl t => MonadTransControl (Mutant LiftWithTwice t) Source #	There should be no blanket `OVERLAPPABLE` instance because of the type family.
Instance details Defined in Test.Monad.Control.Mutants Associated Types type StT (Mutant LiftWithTwice t) a :: Type # Methods liftWith :: Monad m => (Run (Mutant LiftWithTwice t) -> m a) -> Mutant LiftWithTwice t m a # restoreT :: Monad m => m (StT (Mutant LiftWithTwice t) a) -> Mutant LiftWithTwice t m a #
type StT (Mutant LiftWithTwice t) a Source #
Instance details Defined in Test.Monad.Control.Mutants type StT (Mutant LiftWithTwice t) a = StT t a

Instances

MonadTransControl t => MonadTransControl (Mutant RunTwice t) Source #
Instance details Defined in Test.Monad.Control.Mutants Associated Types type StT (Mutant RunTwice t) a :: Type # Methods liftWith :: Monad m => (Run (Mutant RunTwice t) -> m a) -> Mutant RunTwice t m a # restoreT :: Monad m => m (StT (Mutant RunTwice t) a) -> Mutant RunTwice t m a #
type StT (Mutant RunTwice t) a Source #
Instance details Defined in Test.Monad.Control.Mutants type StT (Mutant RunTwice t) a = StT t a

... or run it twice when restoring.

Instances

MonadTransControl t => MonadTransControl (Mutant RestoreTwice t) Source #
Instance details Defined in Test.Monad.Control.Mutants Associated Types type StT (Mutant RestoreTwice t) a :: Type # Methods liftWith :: Monad m => (Run (Mutant RestoreTwice t) -> m a) -> Mutant RestoreTwice t m a # restoreT :: Monad m => m (StT (Mutant RestoreTwice t) a) -> Mutant RestoreTwice t m a #
type StT (Mutant RestoreTwice t) a Source #
Instance details Defined in Test.Monad.Control.Mutants type StT (Mutant RestoreTwice t) a = StT t a

State

Instances

MonadTransControl (Mutant LiftWithDropState (StateT s)) Source #
Instance details Defined in Test.Monad.Control.Mutants Associated Types type StT (Mutant LiftWithDropState (StateT s)) a :: Type # Methods liftWith :: Monad m => (Run (Mutant LiftWithDropState (StateT s)) -> m a) -> Mutant LiftWithDropState (StateT s) m a # restoreT :: Monad m => m (StT (Mutant LiftWithDropState (StateT s)) a) -> Mutant LiftWithDropState (StateT s) m a #
type StT (Mutant LiftWithDropState (StateT s)) a Source #
Instance details Defined in Test.Monad.Control.Mutants type StT (Mutant LiftWithDropState (StateT s)) a = StT (StateT s) a

Instances

MonadTransControl (Mutant RestoreDropState (StateT s)) Source #
Instance details Defined in Test.Monad.Control.Mutants Associated Types type StT (Mutant RestoreDropState (StateT s)) a :: Type # Methods liftWith :: Monad m => (Run (Mutant RestoreDropState (StateT s)) -> m a) -> Mutant RestoreDropState (StateT s) m a # restoreT :: Monad m => m (StT (Mutant RestoreDropState (StateT s)) a) -> Mutant RestoreDropState (StateT s) m a #
type StT (Mutant RestoreDropState (StateT s)) a Source #
Instance details Defined in Test.Monad.Control.Mutants type StT (Mutant RestoreDropState (StateT s)) a = StT (StateT s) a