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.

Variables

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

Functions

f :: FromExpr a => a

f' :: FromExpr a => a

f'' :: FromExpr a => a

g :: FromExpr a => a

h :: FromExpr a => a

Operators

(⊗) :: Expr -> Expr -> Expr infix 7

A non-associative infix 7 operator

(⊕) :: Expr -> Expr -> Expr infix 6

A non-associative infix 6 operator

(@@) :: Expr -> Expr -> Expr infix 9

A non-associative infix 9 operator