X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FMisc.hs;h=56d33eb43c3969ce0c9c40b5efb81582d0b888b1;hb=9ecdab2b3a4bc6bdf50776a5d2092632988fa8fa;hp=090642a223d6e2f2493441445dcd1dfba8e5e969;hpb=518b4b43bfd6c7c1d09841ca3ff5eeae089351ea;p=spline3.git

diff --git a/src/Misc.hs b/src/Misc.hs
index 090642a..56d33eb 100644
--- a/src/Misc.hs
+++ b/src/Misc.hs
@@ -1,8 +1,23 @@
+{-# LANGUAGE BangPatterns #-}
+
 -- | The Misc module contains helper functions that seem out of place
 --   anywhere else.
-module Misc
+--
+module Misc (
+  all_equal,
+  disjoint,
+  factorial,
+  flatten,
+  misc_properties,
+  misc_tests,
+  transpose_xz )
 where
 
+import qualified Data.Vector as V ( Vector, elem, empty, filter )
+import Test.Tasty ( TestTree, testGroup )
+import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
+import Test.Tasty.QuickCheck ( Property, (==>), testProperty )
+
 
 -- | The standard factorial function. See
 --   <http://www.willamette.edu/~fruehr/haskell/evolution.html> for
@@ -17,11 +32,13 @@ where
 --   24
 --
 factorial :: Int -> Int
-factorial n
-    | n <= 1 = 1
-    | n > 20 = error "integer overflow in factorial function"
-    | otherwise = product [1..n]
-
+factorial !n =
+  go 1 n
+  where
+    go :: Int -> Int -> Int
+    go !acc !i
+      | i <= 1    = acc
+      | otherwise = go (acc * i) (i - 1)
 
 -- | Takes a three-dimensional list, and flattens it into a
 --   one-dimensional one.
@@ -47,13 +64,64 @@ transpose_xz m =
     where
       zsize = (length m) - 1
       ysize = length (head m) - 1
-      xsize = (length $ head $ head m) - 1
+      xsize = length (head $ head m) - 1
 
 -- | Takes a list, and returns True if its elements are pairwise
 --   equal. Returns False otherwise.
+--
+--   Only used in tests.
+--
 all_equal :: (Eq a) => [a] -> Bool
-all_equal xs =
-    all (== first_element) other_elements
+all_equal [] = True -- Vacuously
+all_equal (x:xs) = all (== x) xs
+
+
+
+-- | Returns 'True' if the vectors xs and ys are disjoint, 'False'
+--   otherwise.
+--
+--   Examples:
+--
+--   >>> let xs = Data.Vector.fromList [1,2,3]
+--   >>> let ys = Data.Vector.fromList [4,5,6]
+--   >>> disjoint xs ys
+--   True
+--
+--   >>> let ys = Data.Vector.fromList [3,4,5]
+--   >>> disjoint xs ys
+--   False
+--
+--   Only used in tests.
+--
+disjoint :: (Eq a) => V.Vector a -> V.Vector a -> Bool
+disjoint xs ys =
+  intersect xs ys == V.empty
+  where
+    intersect :: (Eq a) => V.Vector a -> V.Vector a -> V.Vector a
+    intersect ws zs =
+      V.filter (`V.elem` zs) ws
+
+prop_factorial_greater :: Int -> Property
+prop_factorial_greater n =
+    n <= 20 ==> factorial n >= n
+
+
+test_flatten1 :: Assertion
+test_flatten1 =
+    assertEqual "flatten actually works" expected_list actual_list
     where
-      first_element  = head xs
-      other_elements = tail xs
+      target = [[[1::Int]], [[2, 3]]]
+      expected_list = [1, 2, 3] :: [Int]
+      actual_list = flatten target
+
+
+misc_tests :: TestTree
+misc_tests =
+    testGroup "Misc tests" [
+      testCase "flatten (1)" test_flatten1 ]
+
+
+misc_properties :: TestTree
+misc_properties =
+    testGroup "Misc properties" [
+      testProperty "factorial greater" prop_factorial_greater ]