simple-reflect-0.1: Simple reflection of expressions containing variables

Portabilityportable
Stabilityexperimental
Maintainertwanvl@gmail.com

Debug.SimpleReflect.Vars

Contents

Description

Single letter variable names.

All names have type Expr, except for f, g and h, which are generic functions. This means that show (f x :: Expr) == "f x", but that show (a x :: Expr) gives a type error. On the other hand, the type of g in show (f g) is ambiguous.

Synopsis

Variables

Functions

f :: FromExpr a => aSource

f' :: FromExpr a => aSource

g :: FromExpr a => aSource

h :: FromExpr a => aSource