SpecifySpec.hs

module Test.Syd.SpecifySpec (spec) where

import Test.QuickCheck
import Test.Syd

spec :: Spec
spec = sequential $ do
  describe "boolean" $ do
    it "boolean" True
    before (pure (2 :: Int)) $
      it "boolean function (inner)" $ \i -> even i
    beforeAll (pure (2 :: Int)) $ do
      itWithOuter "boolean function (one outer)" $ \i -> even i
      itWithBoth "boolean function (both inner and outer)" $ \i () -> even i

  describe "IO action" $ do
    it "IO action" True
    before (pure (2 :: Int)) $
      it "IO action function (inner)" $ \i -> i `shouldBe` 2
    beforeAll (pure (1 :: Int)) $ do
      itWithOuter "IO action function (one outer)" $ \i -> i `shouldBe` 1
      itWithBoth "IO action function (both inner and outer)" $ \i () -> i `shouldBe` 1

  describe "property test" $ do
    it "property test" $ property $ \j -> j `shouldBe` (j :: Int)
    before (pure (2 :: Int)) $
      it "property test function (inner)" $ \i ->
        property $ \j ->
          i * j `shouldBe` 2 * (j :: Int)
    beforeAll (pure (1 :: Int)) $ do
      itWithOuter "property test function (one outer)" $ \i -> property $ \j ->
        i * j `shouldBe` 1 * j
      itWithBoth "property test function (both inner and outer)" $ \i () -> property $ \j ->
        i * j `shouldBe` 1 * j

  describe "pending tests" $ do
    pending "this is a pending test"
    pendingWith "this is another pending test" "with this reason"