| Portability | portable |
|---|---|
| Stability | unstable |
| Maintainer | http://homepages.nildram.co.uk/~ahey/em.png |
Data.Tree.AVL.Test.AllTests
Description
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.
- allTests :: IO ()
- testReadPath :: IO ()
- testIsBalanced :: IO ()
- testIsSorted :: IO ()
- testSize :: IO ()
- testClipSize :: IO ()
- testGenWrite :: IO ()
- testGenPush :: IO ()
- testPushL :: IO ()
- testPushR :: IO ()
- testGenDel :: IO ()
- testAssertDelL :: IO ()
- testAssertDelR :: IO ()
- testAssertPopL :: IO ()
- testPopHL :: IO ()
- testAssertPopR :: IO ()
- testGenAssertPop :: IO ()
- testFlatten :: IO ()
- testJoin :: IO ()
- testJoinHAVL :: IO ()
- testConcatAVL :: IO ()
- testFlatConcat :: IO ()
- testFoldrAVL :: IO ()
- testFoldrAVL' :: IO ()
- testFoldlAVL :: IO ()
- testFoldlAVL' :: IO ()
- testFoldr1AVL :: IO ()
- testFoldr1AVL' :: IO ()
- testFoldl1AVL :: IO ()
- testFoldl1AVL' :: IO ()
- testMapAccumLAVL :: IO ()
- testMapAccumRAVL :: IO ()
- testMapAccumLAVL' :: IO ()
- testMapAccumRAVL' :: IO ()
- testMapAccumLAVL'' :: IO ()
- testMapAccumRAVL'' :: IO ()
- testSplitAtL :: IO ()
- testFilterViaList :: IO ()
- testFilterAVL :: IO ()
- testMapMaybeViaList :: IO ()
- testMapMaybeAVL :: IO ()
- testTakeL :: IO ()
- testDropL :: IO ()
- testSplitAtR :: IO ()
- testTakeR :: IO ()
- testDropR :: IO ()
- testSpanL :: IO ()
- testTakeWhileL :: IO ()
- testDropWhileL :: IO ()
- testSpanR :: IO ()
- testTakeWhileR :: IO ()
- testDropWhileR :: IO ()
- testRotateL :: IO ()
- testRotateR :: IO ()
- testRotateByL :: IO ()
- testRotateByR :: IO ()
- testGenForkL :: IO ()
- testGenForkR :: IO ()
- testGenFork :: IO ()
- testGenTakeLE :: IO ()
- testGenTakeGT :: IO ()
- testGenTakeGE :: IO ()
- testGenTakeLT :: IO ()
- testGenUnion :: IO ()
- testGenDisjointUnion :: IO ()
- testGenUnionMaybe :: IO ()
- testGenIntersection :: IO ()
- testGenIntersectionMaybe :: IO ()
- testGenIntersectionAsListL :: IO ()
- testGenIntersectionMaybeAsListL :: IO ()
- testGenDifference :: IO ()
- testGenDifferenceMaybe :: IO ()
- testGenSymDifference :: IO ()
- testGenIsSubsetOf :: IO ()
- testGenIsSubsetOfBy :: IO ()
- testGenVenn :: IO ()
- testGenVennMaybe :: IO ()
- testCompareHeight :: IO ()
- testShowReadEq :: IO ()
- testGenOpenClose :: IO ()
- testDelClose :: IO ()
- testOpenLClose :: IO ()
- testOpenRClose :: IO ()
- testMoveL :: IO ()
- testMoveR :: IO ()
- testInsertL :: IO ()
- testInsertMoveL :: IO ()
- testInsertR :: IO ()
- testInsertMoveR :: IO ()
- testInsertTreeL :: IO ()
- testInsertTreeR :: IO ()
- testDelMoveL :: IO ()
- testDelMoveR :: IO ()
- testDelAllL :: IO ()
- testDelAllR :: IO ()
- testDelAllCloseL :: IO ()
- testDelAllIncCloseL :: IO ()
- testDelAllCloseR :: IO ()
- testDelAllIncCloseR :: IO ()
- testZipSize :: IO ()
- testGenTryOpenLE :: IO ()
- testGenTryOpenGE :: IO ()
- testGenOpenEither :: IO ()
- testBAVLtoZipper :: IO ()
Documentation
Test readPath
Test isBalanced is capable of failing for a few non-AVL trees.
Test isSorted is capable of failing for a few non-sorted trees.
Test clipSize function
Test genWrite function
Test genPush function
testGenDel :: IO ()Source
Test genDel function
Test assertDelL function Also exercises: asListL
Test delR function Also exercises: asListR
Test assertPopL function Also exercises: asListL
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
Test assertPopR function Also exercises: asListR
testGenAssertPop :: IO ()Source
Test genAssertPop function
Test flatten function Also exercises: asListL,replicateAVL
Test the joinHAVL function
Test the concatAVL function.
Test the flatConcat function.
Test foldrAVL
Test foldrAVL'
Test foldlAVL
Test foldlAVL'
Test foldr1AVL
Test foldr1AVL'
Test foldl1AVL
Test foldl1AVL'
testMapAccumLAVL :: IO ()Source
Test mapAccumLAVL
testMapAccumRAVL :: IO ()Source
Test mapAccumRAVL
testMapAccumLAVL' :: IO ()Source
Test mapAccumLAVL'
testMapAccumRAVL' :: IO ()Source
Test mapAccumRAVL'
testMapAccumLAVL'' :: IO ()Source
Test mapAccumLAVL''
testMapAccumRAVL'' :: IO ()Source
Test mapAccumRAVL''
Test splitAtL function
testFilterViaList :: IO ()Source
Test the filterViaList function
Test the filterAVL function
testMapMaybeViaList :: IO ()Source
Test the mapMaybeViaList function
testMapMaybeAVL :: IO ()Source
Test the mapMaybeAVL function
Test splitAtR function
Test takeWhileL function
Test dropWhileL function
Test takeWhileR function
Test dropWhileR function
Test rotateL function
Test rotateR function
Test rotateByL function
Test rotateByR function
Test genForkL function
Test genForkR function
Test genFork function
Test genTakeLE function
Test genTakeGT function
Test genTakeGE function
Test genTakeLT function
Test the genUnion function
testGenDisjointUnion :: IO ()Source
Test the genDisjointUnion function
testGenUnionMaybe :: IO ()Source
Test the genUnionMaybe function
testGenIntersection :: IO ()Source
Test the genIntersection function
testGenIntersectionMaybe :: IO ()Source
Test the genIntersectionMaybe function
testGenIntersectionAsListL :: IO ()Source
Test the genIntersectionAsListL function
testGenIntersectionMaybeAsListL :: IO ()Source
Test the genIntersectionMaybeAsListL function
testGenDifference :: IO ()Source
Test the genDifference function
testGenDifferenceMaybe :: IO ()Source
Test the genDifferenceMaybe function
testGenSymDifference :: IO ()Source
Test the genSymDifference function
testGenIsSubsetOf :: IO ()Source
Test the genIsSubsetOf function
testGenIsSubsetOfBy :: IO ()Source
Test the genIsSubsetOfBy function
Test the genVenn function
testGenVennMaybe :: IO ()Source
Test the genVennMaybe function
testCompareHeight :: IO ()Source
Test compareHeight function
Test Show,Read,Eq instances
testGenOpenClose :: IO ()Source
Test Zipper open/close
Test Zipper delClose
Test Zipper assertOpenL/close
Test Zipper assertOpenR/close
Test Zipper insertL
testInsertMoveL :: IO ()Source
Test Zipper insertMoveL
Test Zipper insertR
testInsertMoveR :: IO ()Source
Test Zipper insertMoveR
testInsertTreeL :: IO ()Source
Test Zipper insertTreeL
testInsertTreeR :: IO ()Source
Test Zipper insertTreeR
Test Zipper assertDelMoveL
Test Zipper assertDelMoveR
Test Zipper delAllL
Test Zipper delAllR
testDelAllCloseL :: IO ()Source
Test Zipper delAllCloseL
testDelAllIncCloseL :: IO ()Source
Test Zipper delAllIncCloseL
testDelAllCloseR :: IO ()Source
Test Zipper delAllCloseR
testDelAllIncCloseR :: IO ()Source
Test Zipper delAllIncCloseR
Test Zipper sizeL/sizeR/sizeZAVL
testGenTryOpenLE :: IO ()Source
Test Zipper genTryOpenLE
testGenTryOpenGE :: IO ()Source
Test Zipper genTryOpenGE
testGenOpenEither :: IO ()Source
Test Zipper genOpenEither (also tests fill and fillClose)
testBAVLtoZipper :: IO ()Source
Test anyBAVLtoEither