| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter9
Synopsis
- mysteryMax :: Integer -> Integer -> Integer -> Integer
- prop_mystery :: Integer -> Integer -> Integer -> Bool
- fact :: Integer -> Integer
- posInts :: [Integer]
- sum :: [Integer] -> Integer
- doubleAll :: [Integer] -> [Integer]
- prop_SumDoubleAll :: [Integer] -> Bool
- length :: [a] -> Int
- (++) :: [a] -> [a] -> [a]
- prop_lengthPlusPlus :: [a] -> [a] -> Bool
- reverse :: [a] -> [a]
- prop_reversePlusPlus' :: Eq a => [a] -> [a] -> Bool
- prop_reversePlusPlusOops :: [Integer] -> [Integer] -> Bool
- prop_reversePlusPlus :: [Integer] -> [Integer] -> Bool
- prop_assocPlusPlus :: [Integer] -> [Integer] -> [Integer] -> Bool
- unzip :: [(a, b)] -> ([a], [b])
- shunt :: [a] -> [a] -> [a]
- prop_shunt :: [Integer] -> [Integer] -> Bool
- rev :: [a] -> [a]
- prop_reverses :: [Integer] -> Bool
- fac2 :: Integer -> Integer
- facAux :: Integer -> Integer -> Integer
- prop_facs' :: Integer -> Bool
- prop_facs :: Integer -> Bool
Documentation
mysteryMax :: Integer -> Integer -> Integer -> Integer Source #
^^^^^^^^^^^^^^^^^^^^^^^ A function supposed to give the maximum of three (integer) values.
prop_SumDoubleAll :: [Integer] -> Bool Source #
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
prop_lengthPlusPlus :: [a] -> [a] -> Bool Source #
prop_reversePlusPlus' :: Eq a => [a] -> [a] -> Bool Source #
prop_reverses :: [Integer] -> Bool Source #
prop_facs' :: Integer -> Bool Source #