import           Test.Framework                       (defaultMain, testGroup)
import           Test.Framework.Providers.QuickCheck2 (testProperty)

import           Test.DocTest
import           Test.QuickCheck

main :: IO ()
main = doctest ["src/My/Num.hs"]

tests = [
        testGroup "Sorting Group 1" [
                testProperty "prop1" prop1,
                testProperty "prop2" prop2
           ]
      ]

prop1 b = not b
  where types = b :: Bool

prop2 i = i == 42
  where types = i :: Int
