| Copyright | (c) 2008-2014 Twan van Laarhoven |
|---|---|
| License | BSD-style |
| Maintainer | twanvl@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Debug.SimpleReflect.Vars
Description
Single letter variable names.
All names have type Expr, except for f, g and h, which are generic functions.
This means that show (f x :: Expr) == "f x", but that show (a x :: Expr) gives a type error.
On the other hand, the type of g in show (f g) is ambiguous.
- a :: Expr
- b :: Expr
- c :: Expr
- d :: Expr
- e :: Expr
- i :: Expr
- j :: Expr
- k :: Expr
- l :: Expr
- m :: Expr
- n :: Expr
- o :: Expr
- p :: Expr
- q :: Expr
- r :: Expr
- s :: Expr
- t :: Expr
- u :: Expr
- v :: Expr
- w :: Expr
- x :: Expr
- y :: Expr
- z :: Expr
- f :: FromExpr a => a
- f' :: FromExpr a => a
- f'' :: FromExpr a => a
- g :: FromExpr a => a
- h :: FromExpr a => a
- (⊗) :: Expr -> Expr -> Expr
- (⊕) :: Expr -> Expr -> Expr
- (@@) :: Expr -> Expr -> Expr