| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter5
Synopsis
- type ShopItem = (String, Int)
- type Basket = [ShopItem]
- basket1 :: Basket
- basket2 :: Basket
- basket3 :: Basket
- minAndMax :: Integer -> Integer -> (Integer, Integer)
- addPair :: (Integer, Integer) -> Integer
- shift :: ((Integer, Integer), Integer) -> (Integer, (Integer, Integer))
- name :: ShopItem -> String
- price :: ShopItem -> Int
- addPair' :: (Integer, Integer) -> Integer
- fibStep :: (Integer, Integer) -> (Integer, Integer)
- fibPair :: Integer -> (Integer, Integer)
- fastFib :: Integer -> Integer
- fibTwoStep :: Integer -> Integer -> (Integer, Integer)
- data People = Person Name Age
- type Name = String
- type Age = Int
- jemima :: People
- ronnie :: People
- showPerson :: People -> String
- data NewAge = Years Int
- data Shape
- shape1 :: Shape
- shape2 :: Shape
- isRound :: Shape -> Bool
- area :: Shape -> Float
- list1 :: [Integer]
- list2 :: [Bool]
- list3 :: String
- list4 :: String
- list5 :: [Integer -> Integer]
- list6 :: [[Integer]]
- list7 :: [Integer]
- list8 :: [Float]
- list9 :: String
- list10 :: [Integer]
- list11 :: [Float]
- list12 :: String
- ex :: [Integer]
- comp1 :: [Integer]
- comp2 :: [Bool]
- isEven :: Integer -> Bool
- comp3 :: [Integer]
- addPairs :: [(Integer, Integer)] -> [Integer]
- addOrdPairs :: [(Integer, Integer)] -> [Integer]
- digits :: String -> String
- allEven :: [Integer] -> Bool
- allOdd :: [Integer] -> Bool
- totalRadii :: [Shape] -> Float
- sings :: [[Integer]] -> [Integer]
- type Person = String
- type Book = String
- type Database = [(Person, Book)]
- exampleBase :: Database
- books :: Database -> Person -> [Book]
- makeLoan :: Database -> Person -> Book -> Database
- returnLoan :: Database -> Person -> Book -> Database
- test2 :: Database
- prop_db1 :: Database -> Person -> Book -> Bool
- prop_db2 :: Database -> Person -> Book -> Bool
Documentation
type ShopItem = (String, Int) Source #
^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
fibTwoStep :: Integer -> Integer -> (Integer, Integer) Source #
^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^
showPerson :: People -> String Source #
totalRadii :: [Shape] -> Float Source #