--- /dev/null
+module Main where
+
+import List
+import Exception
+import Prelude hiding (catch)
+
+-- This module briefly tests all the functions in PrelList and a few
+-- from List.
+
+-- ToDo: test strictness properties.
+
+main = do
+
+ -- head
+ print (head [1,2,3,4], head "a")
+ catchOne (print (head [] :: String)) (\_ -> putStr "head []\n")
+
+ -- tail
+ print (tail [1,2,3,4], tail "a")
+ catchOne (print (tail [] :: String)) (\_ -> putStr "tail []\n")
+
+ -- init
+ print (init [1,2,3,4], init "a")
+ catchOne (print (init [] :: String)) (\_ -> putStr "init []\n")
+
+ -- last
+ print (last [1,2,3,4], last "a")
+ catchOne (print (last [] :: String)) (\_ -> putStr "last []\n")
+
+ -- null
+ print [null [], null "abc"]
+
+ -- length
+ print (length [1..10])
+
+ -- foldl
+ print (foldl (+) 1 [1..10])
+
+ -- foldl1
+ print (foldl1 (+) [1..10])
+ catchOne (print (foldl1 (+) [] :: Int)) (\_ -> putStr "foldl1 []\n")
+
+ -- scanl
+ print (scanl (+) 1 [1..10])
+
+ -- scanl1
+ print (scanl1 (+) [1..10])
+ catchOne (print (scanl1 (+) [] :: [Int])) (\_ -> putStr "scanl1 []\n")
+
+ -- foldr1
+ print (foldr1 (+) [1..10])
+ catchOne (print (foldr1 (+) [] :: Int)) (\_ -> putStr "foldr1 []\n")
+
+ -- scanr
+ print (scanr (+) 1 [1..10])
+
+ -- scanr1
+ print (scanr1 (+) [1..10])
+ catchOne (print (scanr1 (+) [] :: [Int])) (\_ -> putStr "scanr1 []\n")
+
+ -- iterate
+ print (take 10 (cycle (take 4 (iterate (+1) 1))))
+
+ -- take
+ print (take 4 (repeat "x"), take 0 (repeat "x"), take 5 [1..4])
+ catchOne (print (take (-1) [1..10])) (\_ -> putStr "take (-1)\n")
+
+ -- replicate
+ print [replicate 2 "abc", replicate 0 "abc", replicate 3 []]
+
+ -- drop
+ print [drop 5 [1..10], drop 0 [1..10], drop 5 [1..4]]
+ catchOne (print (drop (-1) [1..10])) (\_ -> putStr "drop (-1)\n")
+
+ -- splitAt
+ print [splitAt 5 [1..10], splitAt 5 [1..4]]
+ catchOne (print (splitAt (-1) [1..10])) (\_ -> putStr "splitAt (-1)\n")
+
+ -- scan
+ print (span (<5) [1..10])
+
+ -- break
+ print (break (<5) [1..10])
+
+ -- reverse
+ print [reverse [1..10], reverse []]
+
+ -- and
+ print [and [], and [True], and [False]]
+
+ -- or
+ print [or [], or [True], or [False]]
+
+ -- elem
+ print [elem 5 [1..10], elem 0 [1..10], elem 1 []]
+
+ -- notElem
+ print [notElem 5 [1..10], notElem 0 [1..10], notElem 1 []]
+
+ -- lookkup
+ print (lookup 4 (zip [1..10] (reverse [1..10])))
+
+ -- sum
+ print [sum [1..10], sum []]
+
+ -- product
+ print [product [1..10], product []]
+
+ -- maximum
+ print (maximum [1..10])
+ catchOne (print (maximum [] :: Int)) (\_ -> putStr "maximum []\n")
+
+ -- minimum
+ print (minimum [1..10])
+ catchOne (print (minimum [] :: Int)) (\_ -> putStr "minimum []\n")
+
+ -- concatMap
+ print (concatMap (:[]) [(1::Int)..10])
+
+ -- zip
+ print [zip [1] [2], zip [1] [], zip [] [2], zip [1..5] [2..6]]
+
+ -- zip3
+ print (zip3 [1,2] [3,4] [5,6])
+
+ -- zipWith
+ print [zipWith (+) [1,2] [3,4], zipWith (+) [1] [], zipWith (+) [] []]
+
+ -- unzip
+ print [unzip [(1,2),(3,4)], unzip []]
+
+ -- unzip3
+ print [unzip3 [(1,2,3),(3,4,5)], unzip3 []]
+
+ -- unlines
+ print (unlines (lines "a\nb\nc\n"), lines "", unlines [])
+
+ -- words
+ print (unwords (words "a b c d"), words "", unwords [])
+
+ -- deleteBy
+ print [deleteBy (==) 1 [0,1,1,2,3,4],
+ deleteBy (==) (error "deleteBy") []]
+
+ -- delete
+ print [delete 1 [0,1,1,2,3,4],
+ delete (error "delete") []]
+
+ -- \\
+ print [ [0,1,1,2,3,4] \\ [3,2,1],
+ [1,2,3,4] \\ [],
+ [] \\ [error "\\\\"] ]
--- /dev/null
+(1,'a')
+head []
+([2,3,4],"")
+tail []
+([1,2,3],"")
+init []
+(4,'a')
+last []
+[True,False]
+10
+56
+55
+foldl1 []
+[1,2,4,7,11,16,22,29,37,46,56]
+[1,3,6,10,15,21,28,36,45,55]
+scanl1 []
+55
+foldr1 []
+[56,55,53,50,46,41,35,28,20,11,1]
+[55,54,52,49,45,40,34,27,19,10]
+scanr1 []
+[1,2,3,4,1,2,3,4,1,2]
+(["x","x","x","x"],[],[1,2,3,4])
+take (-1)
+[["abc","abc"],[],["","",""]]
+[[6,7,8,9,10],[1,2,3,4,5,6,7,8,9,10],[]]
+drop (-1)
+[([1,2,3,4,5],[6,7,8,9,10]),([1,2,3,4],[])]
+splitAt (-1)
+([1,2,3,4],[5,6,7,8,9,10])
+([],[1,2,3,4,5,6,7,8,9,10])
+[[10,9,8,7,6,5,4,3,2,1],[]]
+[True,True,False]
+[False,True,False]
+[True,False,False]
+[False,True,True]
+Just 7
+[55,0]
+[3628800,1]
+10
+maximum []
+1
+minimum []
+[1,2,3,4,5,6,7,8,9,10]
+[[(1,2)],[],[],[(1,2),(2,3),(3,4),(4,5),(5,6)]]
+[(1,3,5),(2,4,6)]
+[[4,6],[],[]]
+[([1,3],[2,4]),([],[])]
+[([1,3],[2,4],[3,5]),([],[],[])]
+("a\nb\nc\n",[],"")
+("a b c d",[],"")
+[[0,1,2,3,4],[]]
+[[0,1,2,3,4],[]]
+[[0,1,4],[1,2,3,4],[]]