module Main where

import HelloQuickCheck
import Test.QuickCheck
import Text.Printf

main :: IO ()
main  = mapM_ (\(s,a) -> printf "%-25s: " s >> a) tests
 
-- reversing twice a finite list, is the same as identity

prop_take5 :: String -> Bool
prop_take5 s = length (take5 s) <= 5

tests :: [(String, IO ())]
tests = [("take5", quickCheck prop_take5)]

 reversing twice a finite list, is the same as identity
module Main where

import HelloQuickCheck
import Test.QuickCheck
import Text.Printf

main :: IO ()
main  = mapM_ (\(s,a) -> printf "%-25s: " s >> a) tests
 

prop_take5 :: String -> Bool
prop_take5 s = length (take5 s) <= 5

tests :: [(String, IO ())]
tests = [("take5", quickCheck prop_take5)]
