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

testWrite :: IO ()

Test write function

testPush :: IO ()

Test push function

testPushL :: IO ()

Test pushL function Also exercises: asListL

testPushR :: IO ()

Test pushR function Also exercises: asListR

testDelete :: IO ()

Test delete 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

testAssertPop :: IO ()

Test assertPop 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.

testFoldr :: IO ()

Test foldr

testFoldr' :: IO ()

Test foldr'

testFoldl :: IO ()

Test foldl

testFoldl' :: IO ()

Test foldl'

testFoldr1 :: IO ()

Test foldr1

testFoldr1' :: IO ()

Test foldr1'

testFoldl1 :: IO ()

Test foldl1

testFoldl1' :: IO ()

Test foldl1'

testMapAccumL :: IO ()

Test mapAccumL

testMapAccumR :: IO ()

Test mapAccumR

testMapAccumL' :: IO ()

Test mapAccumL'

testMapAccumR' :: IO ()

Test mapAccumR'

testMapAccumL'' :: IO ()

Test mapAccumL''

testMapAccumR'' :: IO ()

Test mapAccumR''

testSplitAtL :: IO ()

Test splitAtL function

testFilterViaList :: IO ()

Test the filterViaList function

testFilter :: IO ()

Test the filter function

testMapMaybeViaList :: IO ()

Test the mapMaybeViaList function

testMapMaybe :: IO ()

Test the mapMaybe 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

testForkL :: IO ()

Test forkL function

testForkR :: IO ()

Test forkR function

testFork :: IO ()

Test fork function

testTakeLE :: IO ()

Test takeLE function

testTakeGT :: IO ()

Test takeGT function

testTakeGE :: IO ()

Test takeGE function

testTakeLT :: IO ()

Test takeLT function

testUnion :: IO ()

Test the union function

testDisjointUnion :: IO ()

Test the disjointUnion function

testUnionMaybe :: IO ()

Test the unionMaybe function

testIntersection :: IO ()

Test the intersection function

testIntersectionMaybe :: IO ()

Test the intersectionMaybe function

testIntersectionAsList :: IO ()

Test the intersectionAsList function

testIntersectionMaybeAsList :: IO ()

Test the intersectionMaybeAsList function

testDifference :: IO ()

Test the difference function

testDifferenceMaybe :: IO ()

Test the differenceMaybe function

testSymDifference :: IO ()

Test the symDifference function

testIsSubsetOf :: IO ()

Test the isSubsetOf function

testIsSubsetOfBy :: IO ()

Test the isSubsetOfBy function

testVenn :: IO ()

Test the venn function. Also exercises disjointUnion

testVennMaybe :: IO ()

Test the vennMaybe function.

testCompareHeight :: IO ()

Test compareHeight function

testShowReadEq :: IO ()

Test Show,Read,Eq instances

testOpenClose :: 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

testTryOpenLE :: IO ()

Test Zipper tryOpenLE

testTryOpenGE :: IO ()

Test Zipper tryOpenGE

testOpenEither :: IO ()

Test Zipper openEither (also tests fill and fillClose)

testBAVLtoZipper :: IO ()

Test anyBAVLtoEither