Language.Lambda.SimplyTyped.Syntax

Documentation

data Type a

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

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)