Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
checkCont_ :: [(String, Property)] Source #