lambda-ast-0.0.4: Untyped Lambda Calculus Abstract Syntax Tree

Safe HaskellSafe-Infered

Language.Lambda.AST

Description

An Untyped Lambda Calculus AST

Synopsis

Documentation

data GExpr a Source

A polymorphic version of the AST to allow different symbol types

Constructors

Var a 
App (GExpr a) (GExpr a) 
Lam a (GExpr a) 

Instances

Typeable1 GExpr 
Eq a => Eq (GExpr a) 
Data a => Data (GExpr a) 
Show a => Show (GExpr a) 

type Sym = StringSource

A common symbol type choice

type Expr = GExpr SymSource

A common AST