Data.Tree.AVL.Test.AllTests

This module contains a large set of fairly comprehensive but extremely time consuming tests of AVL tree functions (not based on QuickCheck).

They can all be run using allTests, or they can be run individually.

Documentation

allTests :: IO ()

Run every test in this module (takes a very long time).

testReadPath :: IO ()

Test readPath

testIsBalanced :: IO ()

Test isBalanced is capable of failing for a few non-AVL trees.

testIsSorted :: IO ()

Test isSorted is capable of failing for a few non-sorted trees.

testSize :: IO ()

Test size function

testClipSize :: IO ()

Test clipSize function

testGenWrite :: IO ()

Test genWrite function

testGenPush :: IO ()

Test genPush function

testPushL :: IO ()

Test pushL function Also exercises: asListL

testPushR :: IO ()

Test pushR function Also exercises: asListR

testGenDel :: IO ()

Test genDel function

testAssertDelL :: IO ()

Test assertDelL function Also exercises: asListL

testAssertDelR :: IO ()

Test delR function Also exercises: asListR

testAssertPopL :: IO ()

Test assertPopL function Also exercises: asListL

testPopHL :: IO ()

Test popHL function This test can only be run if popHL and HAVL are not hidden. However, popHL is exercised by indirectly by testConcatAVL anyway

testAssertPopR :: IO ()

Test assertPopR function Also exercises: asListR

testGenAssertPop :: IO ()

Test genAssertPop function

testFlatten :: IO ()

Test flatten function Also exercises: asListL,replicateAVL

testJoin :: IO ()

Test the join function

testJoinHAVL :: IO ()

Test the joinHAVL function

testConcatAVL :: IO ()

Test the concatAVL function.

testFlatConcat :: IO ()

Test the flatConcat function.

testFoldrAVL :: IO ()

Test foldrAVL

testFoldrAVL' :: IO ()

Test foldrAVL'

testFoldlAVL :: IO ()

Test foldlAVL

testFoldlAVL' :: IO ()

Test foldlAVL'

testFoldr1AVL :: IO ()

Test foldr1AVL

testFoldr1AVL' :: IO ()

Test foldr1AVL'

testFoldl1AVL :: IO ()

Test foldl1AVL

testFoldl1AVL' :: IO ()

Test foldl1AVL'

testMapAccumLAVL :: IO ()

Test mapAccumLAVL

testMapAccumRAVL :: IO ()

Test mapAccumRAVL

testMapAccumLAVL' :: IO ()

Test mapAccumLAVL'

testMapAccumRAVL' :: IO ()

Test mapAccumRAVL'

testMapAccumLAVL'' :: IO ()

Test mapAccumLAVL''

testMapAccumRAVL'' :: IO ()

Test mapAccumRAVL''

testSplitAtL :: IO ()

Test splitAtL function

testFilterViaList :: IO ()

Test the filterViaList function

testFilterAVL :: IO ()

Test the filterAVL function

testMapMaybeViaList :: IO ()

Test the mapMaybeViaList function

testMapMaybeAVL :: IO ()

Test the mapMaybeAVL function

testTakeL :: IO ()

Test takeL function

testDropL :: IO ()

Test dropL function

testSplitAtR :: IO ()

Test splitAtR function

testTakeR :: IO ()

Test takeR function

testDropR :: IO ()

Test dropR function

testSpanL :: IO ()

Test spanL function

testTakeWhileL :: IO ()

Test takeWhileL function

testDropWhileL :: IO ()

Test dropWhileL function

testSpanR :: IO ()

Test spanR function

testTakeWhileR :: IO ()

Test takeWhileR function

testDropWhileR :: IO ()

Test dropWhileR function

testRotateL :: IO ()

Test rotateL function

testRotateR :: IO ()

Test rotateR function

testRotateByL :: IO ()

Test rotateByL function

testRotateByR :: IO ()

Test rotateByR function

testGenForkL :: IO ()

Test genForkL function

testGenForkR :: IO ()

Test genForkR function

testGenFork :: IO ()

Test genFork function

testGenTakeLE :: IO ()

Test genTakeLE function

testGenTakeGT :: IO ()

Test genTakeGT function

testGenTakeGE :: IO ()

Test genTakeGE function

testGenTakeLT :: IO ()

Test genTakeLT function

testGenUnion :: IO ()

Test the genUnion function

testGenUnionMaybe :: IO ()

Test the genUnionMaybe function

testGenIntersection :: IO ()

Test the genIntersection function

testGenIntersectionMaybe :: IO ()

Test the genIntersectionMaybe function

testGenIntersectionAsListL :: IO ()

Test the genIntersectionAsListL function

testGenIntersectionMaybeAsListL :: IO ()

Test the genIntersectionMaybeAsListL function

testGenDifference :: IO ()

Test the genDifference function

testGenDifferenceMaybe :: IO ()

Test the genDifferenceMaybe function

testGenSymDifference :: IO ()

Test the genSymDifference function

testGenIsSubsetOf :: IO ()

Test the genIsSubsetOf function

testGenIsSubsetOfBy :: IO ()

Test the genIsSubsetOfBy function

testCompareHeight :: IO ()

Test compareHeight function

testShowReadEq :: IO ()

Test Show,Read,Eq instances

testGenOpenClose :: IO ()

Test Zipper open/close

testDelClose :: IO ()

Test Zipper delClose

testOpenLClose :: IO ()

Test Zipper assertOpenL/close

testOpenRClose :: IO ()

Test Zipper assertOpenR/close

testMoveL :: IO ()

Test Zipper assertMoveL/isRightmost

testMoveR :: IO ()

Test Zipper assertMoveR/isLeftmost

testInsertL :: IO ()

Test Zipper insertL

testInsertMoveL :: IO ()

Test Zipper insertMoveL

testInsertR :: IO ()

Test Zipper insertR

testInsertMoveR :: IO ()

Test Zipper insertMoveR

testInsertTreeL :: IO ()

Test Zipper insertTreeL

testInsertTreeR :: IO ()

Test Zipper insertTreeR

testDelMoveL :: IO ()

Test Zipper assertDelMoveL

testDelMoveR :: IO ()

Test Zipper assertDelMoveR

testDelAllL :: IO ()

Test Zipper delAllL

testDelAllR :: IO ()

Test Zipper delAllR

testDelAllCloseL :: IO ()

Test Zipper delAllCloseL

testDelAllIncCloseL :: IO ()

Test Zipper delAllIncCloseL

testDelAllCloseR :: IO ()

Test Zipper delAllCloseR

testDelAllIncCloseR :: IO ()

Test Zipper delAllIncCloseR

testZipSize :: IO ()

Test Zipper sizeL/sizeR/sizeZAVL

testGenTryOpenLE :: IO ()

Test Zipper genTryOpenLE

testGenTryOpenGE :: IO ()

Test Zipper genTryOpenGE

testGenOpenEither :: IO ()

Test Zipper genOpenEither (also tests fill and fillClose)

testBAVLtoZipper :: IO ()

Test anyBAVLtoEither