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

Safe HaskellNone
LanguageHaskell2010

Test.Monad.Except.Checkers

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 #