| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Monad.Reader.Checkers
Documentation
checkReader :: forall m a b r. (MonadReader r m, CoArbitrary Gen b, CoArbitrary Gen r, Constructible a, Constructible r, Constructible (m a), Constructible (m b), TestEq (m a), TestEq (m r)) => [(String, Property)] Source #
checkReader_ :: [(String, Property)] Source #
type Mutant2 = MutantReaderT LocalRunsTwice Int [] Source #
checkReader' :: [(String, Property)] Source #