lambda-ast-0.0.12: Lambda Calculi Abstract Syntax Trees

Safe HaskellSafe-Infered

Language.Lambda.SimplyTyped.Syntax

Documentation

data Type a Source

Constructors

Base a 
Arrow (Type a) (Type a) 

Instances

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

data Expr s a c Source

Constructors

Var s 
App (Expr s a c) (Expr s a c) 
Lam s (Type a) (Expr s a c) 
Constant c 

Instances

Typeable3 Expr 
(Eq s, Eq a, Eq c) => Eq (Expr s a c) 
(Data s, Data a, Data c) => Data (Expr s a c) 
(Show s, Show a, Show c) => Show (Expr s a c)