Modulesimple-reflect-0.3.3Haskell98

Debug.SimpleReflect.Expr

Simple reflection of haskell expressions containing variables.

Construction

6 declarations

datadata Expr

A reflected expression

Instances13Bounded, Enum, Eq, Floating, Fractional, Integral, …

classclass FromExpr a where

Conversion from Expr to other types

Instances2FromExpr

FromExpr ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
(Show a, FromExpr b) => FromExpr (a -> b)Defined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr

valuevar :: String -> Expr

A variable with the given name

valuefun :: FromExpr a => String -> a

A generic, overloaded, function variable

datadata Associativity

This data type specifies the associativity of operators: left, right or none.

Instances1Eq

valueop :: Associativity -> Int -> String -> Expr -> Expr -> Expr

An infix operator with the given associativity, precedence and name

3 declarations

valueexpr :: Expr -> Expr

Force something to be an expression.

valuereduce :: Expr -> Expr

Reduce (evaluate) an expression once.

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

valuereduction :: Expr -> [Expr]

Show all reduction steps when evaluating an expression.