module Types where dibble :: Float -> Float dibble x | (x==0) = 42 | (x/=0) = 2.5 * x foolycooly :: Int -> Int foolycooly x = x^x test1 :: Int -> Bool test1 x | (x==0) = True | otherwise && (foolyOutput == 0) = False | otherwise = True where foolyOutput = foolycooly x neverUsed = 1 + 1 + 1 + 1 test1b :: Int -> Bool test1b x = (foolyOutput /= 0) where foolyOutput = foolycooly x neverUsed = 1 + 1 + 1 + 1 neck :: [Int] -> Int neck list = head (tail list) -- testing thorax :: [a] -> a thorax cards = head (tail (tail cards)) foot :: [Int] -> Int foot list | ((tail list) == []) = head list | otherwise = foot (tail list) test2 = (foot [1 .. 10] == 10)