File: ByteString.hs

package info (click to toggle)
haskell-quickcheck-instances 0.3.30-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 204 kB
  • sloc: haskell: 1,071; makefile: 2
file content (16 lines) | stat: -rw-r--r-- 596 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
module Main where

import qualified Data.ByteString                      as BS
import           System.IO                            (hPutStrLn, stderr)
import qualified Test.QuickCheck                      as QC
import           Test.QuickCheck.Instances.ByteString ()
import qualified Test.QuickCheck.Monadic              as QCM

-- BS.pack 6.53s
-- current: 0.07s
main :: IO ()
main = QC.quickCheckWith args $ QC.property $ \bsList -> QCM.monadicIO $ do
    QCM.run $ hPutStrLn stderr (show $ sum $ map BS.length bsList)
    QCM.assert True
  where
    args = QC.stdArgs { QC.maxSize = 1000 }