| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter14_1
Synopsis
- data Temp
- data Season
- weather :: Season -> Temp
- data Expr
- expr1 :: Expr
- expr2 :: Expr
- expr3 :: Expr
- eval :: Expr -> Integer
- data NTree
- treeEx1 :: NTree
- treeEx2 :: NTree
- sumTree :: NTree -> Integer
- depth :: NTree -> Integer
- occurs :: NTree -> Integer -> Integer
- assoc :: Expr -> Expr
- data Expr'
- data Person
- data Biog
- type Name = String
- type Address = [String]
- showPerson :: Person -> [Char]
- showBiog :: Biog -> [Char]
- data BExp
- arbNTree :: Int -> Gen NTree
- arbExpr :: Int -> Gen Expr
- prop_assoc :: Expr -> Bool
- prop_depth :: NTree -> Bool
- size :: NTree -> Integer
Documentation
^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^ Two enumerated types
showPerson :: Person -> [Char] Source #
prop_assoc :: Expr -> Bool Source #
prop_depth :: NTree -> Bool Source #