| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter11
Synopsis
- (>.>) :: (a -> b) -> (b -> c) -> a -> c
- addOnes :: [Integer]
- mapFuns :: [a -> b] -> a -> [b]
- mapFuns1 :: [t -> b] -> t -> [b]
- mapFuns2 :: [p -> b] -> p -> [b]
- addNum :: Integer -> Integer -> Integer
- comp2 :: (a -> b) -> (b -> b -> c) -> a -> a -> c
- plumbingExample :: Integer
- multiply :: Int -> Int -> Int
- doubleAll :: [Int] -> [Int]
- addNum' :: Num a => a -> a -> a
- egFun :: [Int] -> [Int]
- dropSpace :: [Char] -> [Char]
- dropWord :: [Char] -> [Char]
- getWord :: [Char] -> [Char]
- member :: (Foldable t, Eq a) => t a -> a -> Bool
- g :: (Int -> Int) -> Int
- multiplyUC :: (Int, Int) -> Int
- curry :: ((a, b) -> c) -> a -> b -> c
- uncurry :: (a -> b -> c) -> (a, b) -> c
- prop_zip :: [(Integer, Integer)] -> Bool
- twice :: (a -> a) -> a -> a
- succ :: Int -> Int
- iter :: Int -> (a -> a) -> a -> a
- iter' :: Int -> (b -> b) -> b -> b
- addNum2 :: Integer -> Integer -> Integer
- addNum3 :: Num p => p -> p -> p
- flip' :: (a -> b -> c) -> b -> a -> c
- flip :: (a -> b -> c) -> b -> a -> c
- puzzle :: (a1 -> b -> c) -> a1 -> (a2 -> b) -> a2 -> c
- doubleAll' :: [Int] -> [Int]
- getEvens :: [Int] -> [Int]
- getWord' :: [Char] -> [Char]
- prop_mf :: Eq b => (b -> Bool) -> (a -> b) -> [a] -> Bool