Test.Monad.Control.Mutants

Documentation

mutantLiftWith :: (Monad m, MonadTransControl t) => (RunDefault (Mutant v t) t -> m a) -> Mutant v t m a

mutantRestoreT :: (Monad m, MonadTransControl t) => m (StT t a) -> Mutant v t m a

data LiftWithTwice

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

Instances

MonadTransControl t => MonadTransControl (Mutant LiftWithTwice t)

There should be no blanket OVERLAPPABLE instance because of the type family.

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

Defined in Test.Monad.Control.Mutants

type StT (Mutant LiftWithTwice t) a = StT t a

data RunTwice

Instances

MonadTransControl t => MonadTransControl (Mutant RunTwice t)

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

Defined in Test.Monad.Control.Mutants

type StT (Mutant RunTwice t) a = StT t a

data RestoreTwice

... or run it twice when restoring.

Instances

MonadTransControl t => MonadTransControl (Mutant RestoreTwice t)

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

Defined in Test.Monad.Control.Mutants

type StT (Mutant RestoreTwice t) a = StT t a

State

data LiftWithDropState

Instances

MonadTransControl (Mutant LiftWithDropState (StateT s))

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

Defined in Test.Monad.Control.Mutants

type StT (Mutant LiftWithDropState (StateT s)) a = StT (StateT s) a

data RestoreDropState

Instances

MonadTransControl (Mutant RestoreDropState (StateT s))

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

Defined in Test.Monad.Control.Mutants

type StT (Mutant RestoreDropState (StateT s)) a = StT (StateT s) a