hw-hspec-hedgehog (empty) → 0.1.0.0

raw patch · 7 files changed

+123/−0 lines, 7 filesdep +HUnitdep +basedep +call-stacksetup-changed

Dependencies added: HUnit, base, call-stack, hedgehog, hspec, hw-hspec-hedgehog

Files

• LICENSE +30/−0
• README.md +2/−0
• Setup.hs +2/−0
• hw-hspec-hedgehog.cabal +40/−0
• src/HaskellWorks/Hspec/Hedgehog.hs +29/−0
• test/HaskellWorks/Hspec/HedgehogSpec.hs +19/−0
• test/Spec.hs +1/−0

@@ -0,0 +1,30 @@+Copyright Author name here (c) 2017++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Author name here nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,2 @@+# hw-hunit-hedgehog+

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,40 @@+name:                 hw-hspec-hedgehog+version:              0.1.0.0+synopsis:             Interoperability between hspec and hedgehog+description:          Some functions to use hedgehog from hspec+homepage:             https://github.com/githubuser/hw-hspec-hedgehog#readme+license:              BSD3+license-file:         LICENSE+author:               John Ky+maintainer:           newhoggy@gmail.com+copyright:            2017 John Ky+category:             Web+build-type:           Simple+extra-source-files:   README.md+cabal-version:        >=1.10++library+  hs-source-dirs:       src+  exposed-modules:      HaskellWorks.Hspec.Hedgehog+  build-depends:        base >= 4.7 && < 5+                      , call-stack+                      , hedgehog+                      , hspec+                      , HUnit+  default-language:     Haskell2010++test-suite hw-hspec-hedgehog-test+  type:                 exitcode-stdio-1.0+  hs-source-dirs:       test+  main-is:              Spec.hs+  other-modules:        HaskellWorks.Hspec.HedgehogSpec+  build-depends:        base+                      , hedgehog+                      , hspec+                      , hw-hspec-hedgehog+  ghc-options:          -threaded -rtsopts -with-rtsopts=-N+  default-language:     Haskell2010++source-repository head+  type:     git+  location: https://github.com/githubuser/hw-hspec-hedgehog

@@ -0,0 +1,29 @@+{-# LANGUAGE FlexibleContexts  #-}+{-# LANGUAGE OverloadedStrings #-}++module HaskellWorks.Hspec.Hedgehog+  ( require+  , requireProperty+  ) where++import           Hedgehog++import qualified Control.Exception      as E+import           Control.Monad          (unless)+import           Control.Monad.IO.Class+import           Data.CallStack+import           Test.HUnit.Lang++location :: HasCallStack => Maybe SrcLoc+location = case reverse callStack of+  (_, loc) : _ -> Just loc+  []           -> Nothing++require :: HasCallStack => Property -> Assertion+require p = do+  result <- liftIO $ check p+  unless result $+    E.throwIO (HUnitFailure location $ Reason "Hedgehog property test failed")++requireProperty :: PropertyT IO () -> Assertion+requireProperty = require . property

@@ -0,0 +1,19 @@+{-# LANGUAGE OverloadedStrings #-}++module HaskellWorks.Hspec.HedgehogSpec (spec) where++import           HaskellWorks.Hspec.Hedgehog+import           Hedgehog+import           Test.Hspec++import qualified Hedgehog.Gen                as Gen+import qualified Hedgehog.Range              as Range++{-# ANN module ("HLint: ignore Redundant do"  :: String) #-}++spec :: Spec+spec = describe "HaskellWorks.Hspec.HedgehogSpec" $ do+  it "should have require function that checks hedgehog properties" $ do+    require $ property $ do+      x <- forAll (Gen.int Range.constantBounded)+      x === x

@@ -0,0 +1,1 @@+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}