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

Safe HaskellNone
LanguageHaskell2010

Test.Monad.Cont.Checkers

Documentation

checkCont :: forall m a b. (MonadCont m, TestEq (m a), CoArbitrary Gen b, CoArbitrary Gen (m b), Constructible a, Constructible (m a), Constructible (m b)) => [(String, Property)] Source #