a package:simple-reflect

a :: Expr
simple-reflect Debug.SimpleReflect.Vars
data Associativity
simple-reflect Debug.SimpleReflect.Expr
This data type specifies the associativity of operators: left, right or none.
var :: String -> Expr
simple-reflect Debug.SimpleReflect.Expr
A variable with the given name
module Debug.SimpleReflect.Vars
simple-reflect
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.