SimpleReflect

Simple reflection of Haskell expressions containing variables.

Documentation

data Expr

Instances

Bounded Expr

Enum Expr

Eq Expr

Floating Expr

Fractional Expr

Integral Expr

Data Expr

Num Expr

Ord Expr

Real Expr

Show Expr

Typeable Expr

FromExpr Expr

var :: String -> Expr

A variable

fun :: FromExpr a => String -> a

expr :: Expr -> Expr

Force something to be an expression

reduce :: Expr -> Expr

Reduce (evaluate) an expression once for example 1 + 2 + 3 + 4 ==> 3 + 3 + 4

a, z, y, x, w, v, u, t, s, r, q, p, o, n, m, l, k, j, i, e, d, c, b :: Expr

f, h, g :: FromExpr a => a