Test/Time/HTTP.hs

   1 {-# LANGUAGE
   2     UnicodeSyntax
   3   #-}
   4 module Main (main) where
   5 import System.Exit
   6 import Test.QuickCheck
   7
   8 main ∷ IO ()
   9 main = mapM_ runTest tests
  10
  11 runTest ∷ Property → IO ()
  12 runTest prop
  13     = do r ← quickCheckResult prop
  14          case r of
  15            Success {}           → return ()
  16            GaveUp  {}           → exitFailure
  17            Failure {}           → exitFailure
  18            NoExpectedFailure {} → exitFailure
  19
  20 tests ∷ [Property]
  21 tests = [
  22         ]