Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
checkExcept :: forall m a b e. (MonadError e m, CoArbitrary Gen b, CoArbitrary Gen e, TestEq (m a), Constructible a, Constructible e, Constructible (m a), Constructible (m b)) => [(String, Property)] Source #
checkExcept_ :: [(String, Property)] Source #
checkExcept' :: [(String, Property)] Source #