Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

Modulesimple-reflect-0.3.3Haskell98

Debug.SimpleReflect.Expr

Simple reflection of haskell expressions containing variables.

Contents

Construction
Evaluating

Synopsis

data Expr
class FromExpr
value var
value fun
data Associativity
value op
value expr
value reduce
value reduction

Packagesimple-reflect-0.3.3
Exports9
LanguageHaskell98
LicenceBSD-3-Clause
SourceExpr.hs

Construction

datadata Expr

A reflected expression

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

Bounded ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Enum ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Eq ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Floating ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Fractional ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Integral ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Num ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Ord ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Real ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Show ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Semigroup ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
Monoid ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr
FromExpr ExprDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr

classclass FromExpr a where

Conversion from Expr to other types

Methods

fromExpr :: Expr -> a

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.

InfixL Infix InfixR

Instances1Eq

Eq AssociativityDefined in simple-reflect-0.3.3 · Debug.SimpleReflect.Expr

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

An infix operator with the given associativity, precedence and name

Evaluating

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.