Modulesimple-reflect-0.3.3Haskell98

Debug.SimpleReflect.Vars

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.

31 values

Packagesimple-reflect-0.3.3
Exports31
LanguageHaskell98
LicenceBSD-3-Clause
SourceVars.hs

Variables

23 declarations

valuea :: Expr

valueb :: Expr

valuec :: Expr

valued :: Expr

valuee :: Expr

valuei :: Expr

valuej :: Expr

valuek :: Expr

valuel :: Expr

valuem :: Expr

valuen :: Expr

valueo :: Expr

valuep :: Expr

valueq :: Expr

valuer :: Expr

values :: Expr

valuet :: Expr

valueu :: Expr

valuev :: Expr

valuew :: Expr

valuex :: Expr

valuey :: Expr

valuez :: Expr

Functions

5 declarations

valuef :: FromExpr a => a

valuef' :: FromExpr a => a

valuef'' :: FromExpr a => a

valueg :: FromExpr a => a

valueh :: FromExpr a => a

Operators

3 declarations

value(⊗) :: Expr -> Expr -> Expr

A non-associative infix 7 operator

value(⊕) :: Expr -> Expr -> Expr

A non-associative infix 6 operator

value(@@) :: Expr -> Expr -> Expr

A non-associative infix 9 operator