dequeue-0.1: src/Tests.hs

module Main where

import Data.Dequeue
import Text.Printf
import Test.QuickCheck

tests :: [(String, IO ())]
tests = [
    ("pushpop_front_bq", quickCheck prop_pushpop_front_bq),
    ("pushpop_back_bq", quickCheck prop_pushpop_back_bq),
    ("push_front_bq", quickCheck prop_push_front_bq),
    ("push_back_bq", quickCheck prop_push_back_bq),
    ("length_toList_bq", quickCheck prop_length_toList_bq),
    ("push_back_bq_balance", quickCheck prop_push_back_bq_balance),
    ("push_front_bq_balance", quickCheck prop_push_front_bq_balance),
    ("pop_front_bq_balance", quickCheck prop_pop_front_bq_balance),
    ("pop_back_bq_balance", quickCheck prop_pop_back_bq_balance)]

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