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

Safe HaskellNone
LanguageHaskell2010

Test.Monad.Trans.Mutants

Synopsis

Documentation

data LiftTwice Source #

An general way to get MonadTrans wrong is to run the base computation twice.

Instances
MonadTrans t => MonadTrans (Mutant LiftTwice t) Source # 
Instance details

Defined in Test.Monad.Trans.Mutants

Methods

lift :: Monad m => m a -> Mutant LiftTwice t m a #

data LiftMaybeNothing Source #

Forget the computation.

Instances
MonadTrans (Mutant LiftMaybeNothing MaybeT) Source # 
Instance details

Defined in Test.Monad.Trans.Mutants

Methods

lift :: Monad m => m a -> Mutant LiftMaybeNothing MaybeT m a #

data LiftMaybeDiscard Source #

Run the computation but forget the result.

Instances
MonadTrans (Mutant LiftMaybeDiscard MaybeT) Source # 
Instance details

Defined in Test.Monad.Trans.Mutants

Methods

lift :: Monad m => m a -> Mutant LiftMaybeDiscard MaybeT m a #