Debug.SimpleReflect.Expr

Simple reflection of haskell expressions containing variables.

Construction

data Expr

A reflected expression

Instances

Bounded Expr

Enum Expr

Eq Expr

Floating Expr

Fractional Expr

Integral Expr

Num Expr

Ord Expr

Real Expr

Show Expr

FromExpr Expr

class FromExpr a where

Conversion from Expr to other types

Methods

fromExpr :: Expr -> a

Instances

FromExpr Expr

(Show a, FromExpr b) => FromExpr (a -> b)

var :: String -> Expr

A variable with the given name

fun :: FromExpr a => String -> a

A generic function variable

Evaluating

expr :: Expr -> Expr

Force something to be an expression.

reduce :: Expr -> Expr

Reduce (evaluate) an expression once.

For example reduce (1 + 2 + 3 + 4) == 3 + 3 + 4

reduction :: Expr -> [Expr]

Show all reduction steps when evaluating an expression.