Debug.SimpleReflect.Expr

Simple reflection of haskell expressions containing variables.

Construction

data Expr

A reflected expression

Instances

Bounded Expr

Methods

minBound :: Expr

maxBound :: Expr

Enum Expr

Methods

succ :: Expr -> Expr

pred :: Expr -> Expr

toEnum :: Int -> Expr

fromEnum :: Expr -> Int

enumFrom :: Expr -> [Expr]

enumFromThen :: Expr -> Expr -> [Expr]

enumFromTo :: Expr -> Expr -> [Expr]

enumFromThenTo :: Expr -> Expr -> Expr -> [Expr]

Eq Expr

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Floating Expr

Methods

pi :: Expr

exp :: Expr -> Expr

log :: Expr -> Expr

sqrt :: Expr -> Expr

(**) :: Expr -> Expr -> Expr

logBase :: Expr -> Expr -> Expr

sin :: Expr -> Expr

cos :: Expr -> Expr

tan :: Expr -> Expr

asin :: Expr -> Expr

acos :: Expr -> Expr

atan :: Expr -> Expr

sinh :: Expr -> Expr

cosh :: Expr -> Expr

tanh :: Expr -> Expr

asinh :: Expr -> Expr

acosh :: Expr -> Expr

atanh :: Expr -> Expr

log1p :: Expr -> Expr

expm1 :: Expr -> Expr

log1pexp :: Expr -> Expr

log1mexp :: Expr -> Expr

Fractional Expr

Methods

(/) :: Expr -> Expr -> Expr

recip :: Expr -> Expr

fromRational :: Rational -> Expr

Integral Expr

Methods

quot :: Expr -> Expr -> Expr

rem :: Expr -> Expr -> Expr

div :: Expr -> Expr -> Expr

mod :: Expr -> Expr -> Expr

quotRem :: Expr -> Expr -> (Expr, Expr)

divMod :: Expr -> Expr -> (Expr, Expr)

toInteger :: Expr -> Integer

Num Expr

Methods

(+) :: Expr -> Expr -> Expr

(-) :: Expr -> Expr -> Expr

(*) :: Expr -> Expr -> Expr

negate :: Expr -> Expr

abs :: Expr -> Expr

signum :: Expr -> Expr

fromInteger :: Integer -> Expr

Ord Expr

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

Real Expr

Methods

toRational :: Expr -> Rational

Show Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Semigroup Expr

Methods

(<>) :: Expr -> Expr -> Expr

sconcat :: NonEmpty Expr -> Expr

stimes :: Integral b => b -> Expr -> Expr

Monoid Expr

Methods

mempty :: Expr

mappend :: Expr -> Expr -> Expr

mconcat :: [Expr] -> Expr

FromExpr Expr

Methods

fromExpr :: Expr -> Expr

class FromExpr a where

Conversion from Expr to other types

Minimal complete definition

fromExpr

Methods

fromExpr :: Expr -> a

Instances

FromExpr Expr

Methods

fromExpr :: Expr -> Expr

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

Methods

fromExpr :: Expr -> a -> b

var :: String -> Expr

A variable with the given name

fun :: FromExpr a => String -> a

A generic, overloaded, function variable

data Associativity

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

Constructors

InfixL

Infix

InfixR

Instances

Eq Associativity

Methods

(==) :: Associativity -> Associativity -> Bool

(/=) :: Associativity -> Associativity -> Bool

op :: Associativity -> Int -> String -> Expr -> Expr -> Expr

An infix operator with the given associativity, precedence and name

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.