main :: IO ()
main = do
  hspec $
    describe "Addition" $ do
      it "15 devided by 3 is 5" $ do
        devideBy 15 3 `shouldBe` (5, 0)
      it "22 devided by 5 is 4 remainder 2" $ do
        devideBy 22 5 `shouldBe` (4, 2)
      it "x + 1 is always greater than x" $ do
        -- run quickcheck through hspec
        property $ \x -> x + 1 > (x :: Integer)
  -- run property check without hspec
  quickCheck prop_additionGreater
main :: IO ()
main = do
  hspec $
    describe "Addition" $ do
      it "15 devided by 3 is 5" $ do
        devideBy 15 3 `shouldBe` (5, 0)
      it "22 devided by 5 is 4 remainder 2" $ do
        devideBy 22 5 `shouldBe` (4, 2)
      it "x + 1 is always greater than x" $ do
        -- run quickcheck through hspec
        property $ \x -> x + 1 > (x :: Integer)
  -- run property check without hspec
  quickCheck prop_additionGreater
main = do
  hspec $
    describe "Addition" $ do
      it "15 devided by 3 is 5" $ do
        devideBy 15 3 `shouldBe` (5, 0)
      it "22 devided by 5 is 4 remainder 2" $ do
        devideBy 22 5 `shouldBe` (4, 2)
      it "x + 1 is always greater than x" $ do
        -- run quickcheck through hspec
        property $ \x -> x + 1 > (x :: Integer)
  -- run property check without hspec
  quickCheck prop_additionGreater