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

Copyright(c) 2008-2014 Twan van Laarhoven
LicenseBSD-style
Maintainertwanvl@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

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 => a Source

f' :: FromExpr a => a Source

f'' :: FromExpr a => a Source

g :: FromExpr a => a Source

h :: FromExpr a => a Source

Operators

(⊗) :: Expr -> Expr -> Expr infix 7 Source

A non-associative infix 7 operator

(⊕) :: Expr -> Expr -> Expr infix 6 Source

A non-associative infix 6 operator

(@@) :: Expr -> Expr -> Expr infix 9 Source

A non-associative infix 9 operator