| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter6
Synopsis
- id :: a -> a
- fst :: (a, b) -> a
- mystery :: (Bool, a) -> Char
- type Picture = [[Char]]
- flipH :: Picture -> Picture
- above :: Picture -> Picture -> Picture
- flipV :: Picture -> Picture
- beside :: Picture -> Picture -> Picture
- invertChar :: Char -> Char
- invertLine :: [Char] -> [Char]
- invertColour :: Picture -> Picture
- invertColour' :: Picture -> Picture
- prop_AboveFlipV :: Picture -> Picture -> Bool
- prop_AboveFlipH :: Picture -> Picture -> Bool
- propAboveBeside :: Picture -> Picture -> Picture -> Picture -> Bool
- propAboveBeside3Correct :: Picture -> Picture -> Property
- rectangular :: Picture -> Bool
- height :: Picture -> Int
- type Position = (Int, Int)
- type Image = (Picture, Position)
- sumSquares :: Integer -> Integer -> Integer
- addPairwise :: [Integer] -> [Integer] -> [Integer]
- addPairwise' :: [Integer] -> [Integer] -> [Integer]
- addPairwise'' :: [Integer] -> [Integer] -> [Integer]
- type Name = String
- type Price = Int
- type BarCode = Int
- type Database = [(BarCode, Name, Price)]
- codeIndex :: Database
- type TillType = [BarCode]
- type BillType = [(Name, Price)]
- lineLength :: Int
Documentation
invertChar :: Char -> Char Source #
invertLine :: [Char] -> [Char] Source #
invertColour :: Picture -> Picture Source #
invertColour' :: Picture -> Picture Source #
^^^^^^^^^^^^^^^^^^^^^^
rectangular :: Picture -> Bool Source #
lineLength :: Int Source #