dequeue-0.1.10: test/Tests.hs

module Tests (tests) where

import Data.Dequeue
import Distribution.TestSuite.QuickCheck

tests :: IO [Test]
tests = return [
    testProperty "pushpop_front_bq" prop_pushpop_front_bq,
    testProperty "pushpop_back_bq" prop_pushpop_back_bq,
    testProperty "push_front_bq" prop_push_front_bq,
    testProperty "push_back_bq" prop_push_back_bq,
    testProperty "takeFront_bq" prop_takeFront_bq,
    testProperty "takeBack_bq" prop_takeBack_bq,
    testProperty "length_toList_bq" prop_length_toList_bq,
    testProperty "fromList_toList_bq" prop_fromList_toList_bq,
    testProperty "push_back_bq_balance" prop_push_back_bq_balance,
    testProperty "push_front_bq_balance" prop_push_front_bq_balance,
    testProperty "pop_front_bq_balance" prop_pop_front_bq_balance,
    testProperty "pop_back_bq_balance" prop_pop_back_bq_balance,
    testProperty "read_show_bq" prop_read_show_bq]