doctest-exitcode-stdio (empty) → 0.0

raw patch · 4 files changed

+150/−0 lines, 4 filesdep +QuickCheckdep +basedep +doctest-libsetup-changed

Dependencies added: QuickCheck, base, doctest-lib, semigroups, transformers

Files

• LICENSE +31/−0
• Setup.lhs +3/−0
• doctest-exitcode-stdio.cabal +40/−0
• src/Test/DocTest/Driver.hs +76/−0

@@ -0,0 +1,31 @@+Copyright (c) 2020, Henning Thielemann++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.++    * The names of contributors may not 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,3 @@+#! /usr/bin/env runhaskell+> import Distribution.Simple+> main = defaultMain

@@ -0,0 +1,40 @@+Cabal-Version:  2.2+Name:           doctest-exitcode-stdio+Version:        0.0+License:        BSD-3-Clause+License-File:   LICENSE+Author:         Henning Thielemann <haskell@henning-thielemann.de>+Maintainer:     Henning Thielemann <haskell@henning-thielemann.de>+Homepage:       https://hub.darcs.net/thielema/doctest-exitcode-stdio/+Category:       Testing+Synopsis:       Run doctest's in a Cabal.Test.exitcode-stdio environment+Description:+  Run doctest's in a Cabal.Test.exitcode-stdio environment.+  For use with the @doctest-extract@ utility.+  Normally, you should not need to import a module from this package,+  only generated code will do this.+Tested-With:    GHC==7.4.2, GHC==8.6.5+Build-Type:     Simple++Source-Repository this+  Tag:         0.0+  Type:        darcs+  Location:    https://hub.darcs.net/thielema/doctest-exitcode-stdio/++Source-Repository head+  Type:        darcs+  Location:    https://hub.darcs.net/thielema/doctest-exitcode-stdio/++Library+  Build-Depends:+    doctest-lib >=0.1 && <0.2,+    QuickCheck >=2.12.5 && <3,+    transformers >=0.0 && <0.6,+    semigroups >=0.18 && <0.20,+    base >=4.3 && <5++  GHC-Options:      -Wall+  Hs-Source-Dirs:   src+  Default-Language: Haskell98+  Exposed-Modules:+    Test.DocTest.Driver

@@ -0,0 +1,76 @@+module Test.DocTest.Driver (+   T,+   printLine,+   printPrefix,+   Count(..),+   run,+   runWith,+   example,+   property,+   ) where++import qualified Test.DocTest.Base as DocTest+import qualified Test.QuickCheck as QC++import System.Exit (exitFailure)++import Text.Printf (printf)++import qualified Control.Monad.Trans.Writer.Strict as MW+import qualified Control.Monad.Trans.Reader as MR+import qualified Control.Monad.Trans.Class as MT+import Control.Monad.IO.Class (liftIO)+import Control.Monad (when, void)++import Data.Monoid (Monoid(mempty,mappend))+import Data.Semigroup (Semigroup((<>)))+++type T = MR.ReaderT QC.Args (MW.WriterT Count IO)++data Count = Count {numTotal, numFailures :: !Int}++instance Semigroup Count where+   Count t0 f0 <> Count t1 f1 = Count (t0+t1) (f0+f1)++instance Monoid Count where+   mempty = Count 0 0+   mappend = (<>)+++printLine :: String -> T ()+printLine = liftIO . putStrLn++printPrefix :: String -> T ()+printPrefix = liftIO . putStr+++run :: T () -> IO ()+run = runWith QC.stdArgs++runWith :: QC.Args -> T () -> IO ()+runWith args act = do+   count <- MW.execWriterT $ MR.runReaderT act args+   putStrLn ""+   void $ printf "Total: %d\n" $ numTotal count+   void $ printf "Failures: %d\n" $ numFailures count+   when (numFailures count > 0) exitFailure+++tell :: Count -> T ()+tell = MT.lift . MW.tell++example :: (Show a) => a -> DocTest.ExpectedResult -> T ()+example actual expected = do+   tell $ Count 1 0+   case DocTest.checkResult expected (lines $ show actual) of+      DocTest.Equal -> printLine "passed"+      DocTest.NotEqual ls ->+         printPrefix (unlines $ "*** Failed!":ls) >> tell (Count 0 1)++property :: (QC.Testable prop) => prop -> T ()+property prop = do+   tell $ Count 1 0+   args <- MR.ask+   result <- liftIO $ QC.quickCheckWithResult args prop+   when (not $ QC.isSuccess result) $ tell (Count 0 1)