Test.Monad.Reader.Mutants

Documentation

data LocalId

Instances

Monad m => MonadReader r (Mutant LocalId (ReaderT r :: (Type -> Type) -> Type -> Type) m)

Defined in Test.Monad.Reader.Mutants

Methods

ask :: Mutant LocalId (ReaderT r) m r

local :: (r -> r) -> Mutant LocalId (ReaderT r) m a -> Mutant LocalId (ReaderT r) m a

reader :: (r -> a) -> Mutant LocalId (ReaderT r) m a

data LocalRunsTwice

Instances

Monad m => MonadReader r (Mutant LocalRunsTwice (ReaderT r :: (Type -> Type) -> Type -> Type) m)

Defined in Test.Monad.Reader.Mutants

Methods

ask :: Mutant LocalRunsTwice (ReaderT r) m r

local :: (r -> r) -> Mutant LocalRunsTwice (ReaderT r) m a -> Mutant LocalRunsTwice (ReaderT r) m a

reader :: (r -> a) -> Mutant LocalRunsTwice (ReaderT r) m a

type MutantReaderT v r = Mutant v (ReaderT r)

type MutantReader v r = MutantReaderT v r Identity