tensort-1.1.0.0: test/Main.hs

{-# OPTIONS_GHC -Wno-deferred-out-of-scope-variables #-}

module Main (main) where

import Test.QCheck
import Test.SortSpec (result_is_sorted_custom_bitsize_ints)
import Test.SortingAlgorithms
import Test.TestCheck (check)

-- | This suite of QuickCheck tests contains  a guard that will cause the test
--   suite to fail if any of the individual tests fail
main :: IO ()
main = do
  mapM_ qcheckBitsInt sortingAlgorithms
  mapM_ qcheckRecsInt sortingAlgorithms
  mapM_ qcheckRecsShortInt sortingAlgorithmsShort
  mapM_ qcheckRecsTinyInt sortingAlgorithmsTiny
  mapM_ qcheckBitsOnlyInt sortingAlgorithmsBitsOnly
  mapM_ qcheckBitsInteger sortingAlgorithms
  mapM_ qcheckBitsFloat sortingAlgorithms
  mapM_ qcheckBitsDouble sortingAlgorithms
  mapM_ qcheckBitsRational sortingAlgorithms
  mapM_ qcheckBitsChar sortingAlgorithms
  mapM_ qcheckBitsString sortingAlgorithms
  mapM_ qcheckBitsBool sortingAlgorithms
  mapM_ qcheckBitsWord sortingAlgorithms
  mapM_ qcheckBitsOrdering sortingAlgorithms
  mapM_ qcheckBitsMaybe sortingAlgorithms
  mapM_ qcheckBitsEither sortingAlgorithms
  mapM_ qcheckBitsTuple sortingAlgorithms
  mapM_ qcheckBitsList sortingAlgorithms
  putStrLn "Running test suite!"
  putStrLn "Standard Custom Bitsize Tensort returns a sorted array..."
  check result_is_sorted_custom_bitsize_ints
  putStrLn "True!"
  putStrLn "All tests pass!"