test-framework-th-prime 0.0.1 → 0.0.2

raw patch · 2 files changed

+81/−81 lines, 2 files

Files

• Test/Framework/TH/Prime.hs +72/−76
• test-framework-th-prime.cabal +9/−5

@@ -1,80 +1,76 @@ {-# LANGUAGE QuasiQuotes, TemplateHaskell #-} -{-|-  Template Haskell to generate defaultMain with a list of "Test" from-  \"doc_test\", \"case_\<somthing\>\", and \"prop_\<somthing\>\".--  An example of source code (Data/MySet.hs):--  > { -| Creating a set from a list. O(N log N)-  >-  > >>> empty == fromList []-  > True-  > >>> singleton 'a' == fromList ['a']-  > True-  > >>> fromList [5,3,5] == fromList [5,3]-  > True-  > - }-  >-  > fromList :: Ord a => [a] -> RBTree a-  > fromList = foldl' (flip insert) empty--  The spaces of comment symbols are due to limitation of haddock.--  An example of test code in the src directory (test/Test.hs):--  > { -# LANGUAGE TemplateHaskell #- }-  > module Main where-  >-  > import Test.Framework.TH.Prime-  > import Test.Framework.Providers.DocTest-  > import Test.Framework.Providers.HUnit-  > import Test.Framework.Providers.QuickCheck2-  > import Test.QuickCheck2-  > import Test.HUnit-  >-  > import Data.MySet-  >-  > main :: IO ()-  > main = $(defaultMainGenerator)-  >-  > doc_test :: DocTests-  > doc_test = docTest ["../Data/MySet.hs"] ["-i.."]-  >-  > prop_toList :: [Int] -> Bool-  > prop_toList xs = ordered ys-  >   where-  >     ys = toList . fromList $ xs-  >     ordered (x:y:xys) = x <= y && ordered (y:xys)-  >     ordered _         = True-  >-  > case_ticket4242 :: Assertion-  > case_ticket4242 = (valid $ deleteMin $ deleteMin $ fromList [0,2,5,1,6,4,8,9,7,11,10,3]) @?= True--  And run:--  > test% runghc -i.. Test.hs--  "defaultMainGenerator" generates the following:--  > main = do-  >     TestGroup _ doctests <- docTest ["../Data/MySet.hs"] ["-i.."]-  >     defaultMain [-  >         testGroup "Doc tests" doctests-  >       , testGroup "Unit tests" [-  >              testCase "case_ticket4242" case_ticket4242-  >            ]-  >       , testGroup "Property tests" [-  >              testProperty "prop_toList" prop_toList-  >            ]-  >       ]--  Note: examples in haddock document is only used as unit tests at this-  moment. I hope that properties of QuickCheck2 can also be specified in-  haddock document in the future. I guess it's Haskell way of Behavior-  Driven Development.---}+-- |+-- Template Haskell to generate defaultMain with a list of "Test" from+-- \"doc_test\", \"case_\<somthing\>\", and \"prop_\<somthing\>\".+--+-- An example of source code (Data/MySet.hs):+--+-- > {-| Creating a set from a list. O(N log N)+-- >+-- > >>> empty == fromList []+-- > True+-- > >>> singleton 'a' == fromList ['a']+-- > True+-- > >>> fromList [5,3,5] == fromList [5,3]+-- > True+-- > -}+-- >+-- > fromList :: Ord a => [a] -> RBTree a+-- > fromList = foldl' (flip insert) empty+--+-- An example of test code in the src directory (test/Test.hs):+--+-- > {-# LANGUAGE TemplateHaskell #-}+-- > module Main where+-- >+-- > import Test.Framework.TH.Prime+-- > import Test.Framework.Providers.DocTest+-- > import Test.Framework.Providers.HUnit+-- > import Test.Framework.Providers.QuickCheck2+-- > import Test.QuickCheck2+-- > import Test.HUnit+-- >+-- > import Data.MySet+-- >+-- > main :: IO ()+-- > main = $(defaultMainGenerator)+-- >+-- > doc_test :: DocTests+-- > doc_test = docTest ["../Data/MySet.hs"] ["-i.."]+-- >+-- > prop_toList :: [Int] -> Bool+-- > prop_toList xs = ordered ys+-- >   where+-- >     ys = toList . fromList $ xs+-- >     ordered (x:y:xys) = x <= y && ordered (y:xys)+-- >     ordered _         = True+-- >+-- > case_ticket4242 :: Assertion+-- > case_ticket4242 = (valid $ deleteMin $ deleteMin $ fromList [0,2,5,1,6,4,8,9,7,11,10,3]) @?= True+--+--  And run:+--+-- > test% runghc -i.. Test.hs+--+-- "defaultMainGenerator" generates the following:+--+-- > main = do+-- >     TestGroup _ doctests <- docTest ["../Data/MySet.hs"] ["-i.."]+-- >     defaultMain [+-- >         testGroup "Doc tests" doctests+-- >       , testGroup "Unit tests" [+-- >              testCase "case_ticket4242" case_ticket4242+-- >            ]+-- >       , testGroup "Property tests" [+-- >              testProperty "prop_toList" prop_toList+-- >            ]+-- >       ]+--+-- Note: examples in haddock document is only used as unit tests at this+-- moment. I hope that properties of QuickCheck2 can also be specified in+-- haddock document in the future. I guess it's Haskell way of Behavior+-- Driven Development.  module Test.Framework.TH.Prime (     defaultMainGenerator@@ -97,7 +93,7 @@  {-|   Generating defaultMain with a list of "Test" from \"doc_test\",-  \"case_*\", and \"prop_\".+  \"case_\<somthing\>\", and \"prop_\<somthing\>\". -} defaultMainGenerator :: ExpQ defaultMainGenerator = do

@@ -1,5 +1,5 @@ Name:                   test-framework-th-prime-Version:                0.0.1+Version:                0.0.2 Author:                 Kazu Yamamoto <kazu@iij.ad.jp> Maintainer:             Kazu Yamamoto <kazu@iij.ad.jp> License:                BSD3@@ -10,16 +10,20 @@ Category:               Testing Cabal-Version:          >= 1.6 Build-Type:             Simple-library++Library   if impl(ghc >= 6.12)     GHC-Options:        -Wall -fno-warn-unused-do-bind   else     GHC-Options:        -Wall   Exposed-Modules:      Test.Framework.TH.Prime   Other-Modules:        Test.Framework.TH.Prime.Parser-  Build-Depends:        base >= 4 && < 5, test-framework,-                        cpphs >= 0.2.1, haskell-src-exts, template-haskell+  Build-Depends:        base >= 4 && < 5+                      , cpphs >= 0.2.1+                      , haskell-src-exts+                      , template-haskell+                      , test-framework  Source-Repository head   Type:                 git-  Location:             https://github.com/kazu-yamamoto/test-framework-th-prime+  Location:             git clone git://github.com/kazu-yamamoto/test-framework-th-prime.git