Copyright	(c) 2008-2014 Twan van Laarhoven
License	BSD-style
Maintainer	twanvl@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Debug.SimpleReflect.Expr

Contents

Construction
Evaluating

Description

Simple reflection of haskell expressions containing variables.

Synopsis

data Expr
class FromExpr a where
var :: String -> Expr
fun :: FromExpr a => String -> a
data Associativity
- = InfixL
- | Infix
- | InfixR
op :: Associativity -> Int -> String -> Expr -> Expr -> Expr
expr :: Expr -> Expr
reduce :: Expr -> Expr
reduction :: Expr -> [Expr]

Construction

data Expr #

A reflected expression

Instances

Bounded Expr #
Instance details Defined in Debug.SimpleReflect.Expr Methods minBound :: Expr # maxBound :: Expr #
Enum Expr #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.Expr Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Floating Expr #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.Expr Methods (/) :: Expr -> Expr -> Expr # recip :: Expr -> Expr # fromRational :: Rational -> Expr #
Integral Expr #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.Expr Methods toRational :: Expr -> Rational #
Show Expr #
Instance details Defined in Debug.SimpleReflect.Expr Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Semigroup Expr #
Instance details Defined in Debug.SimpleReflect.Expr Methods (<>) :: Expr -> Expr -> Expr # sconcat :: NonEmpty Expr -> Expr # stimes :: Integral b => b -> Expr -> Expr #
Monoid Expr #
Instance details Defined in Debug.SimpleReflect.Expr Methods mempty :: Expr # mappend :: Expr -> Expr -> Expr # mconcat :: [Expr] -> Expr #
FromExpr Expr #
Instance details Defined in Debug.SimpleReflect.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 #
Instance details Defined in Debug.SimpleReflect.Expr Methods fromExpr :: Expr -> Expr #
(Show a, FromExpr b) => FromExpr (a -> b) #
Instance details Defined in Debug.SimpleReflect.Expr 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 #
Instance details Defined in Debug.SimpleReflect.Expr 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.