simple-reflect-0.3.2: Simple reflection of expressions containing variables

Copyright(c) 2008-2014 Twan van Laarhoven
LicenseBSD-style
Maintainertwanvl@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Debug.SimpleReflect.Vars

Contents

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.

Synopsis

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