| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter3
Synopsis
- exOr :: Bool -> Bool -> Bool
- myNot :: Bool -> Bool
- prop_myNot :: Bool -> Bool
- exOr1 :: Bool -> Bool -> Bool
- prop_exOrs :: Bool -> Bool -> Bool
- prop_exOr2 :: Bool -> Bool -> Bool
- threeEqual :: Integer -> Integer -> Integer -> Bool
- max :: Integer -> Integer -> Integer
- maxThree :: Integer -> Integer -> Integer -> Integer
- max' :: Integer -> Integer -> Integer
- prop_compareMax :: Integer -> Integer -> Bool
- prop_max1 :: Integer -> Integer -> Bool
- prop_max2 :: Integer -> Integer -> Bool
- prop_max3 :: Integer -> Integer -> Bool
- toUpper :: Char -> Char
- offset :: Int
- isDigit :: Char -> Bool
- str1 :: String
- str2 :: String
- str3 :: String
- str4 :: String
- str5 :: String
- pstr1 :: IO ()
- pstr2 :: IO ()
- pstr3 :: IO ()
- pstr4 :: IO ()
- pstr5 :: IO ()
- answer :: Integer
- facSix :: Integer
- addTwo :: Integer -> Integer -> Integer
- (&&&) :: Integer -> Integer -> Integer
Documentation
prop_myNot :: Bool -> Bool Source #