[][src]Crate lalrpop_lambda

Modules

parse

Parse lambda expression ASTs

Macros

abs

An abstraction (Abs) expression

app

An application (App) expression

map

A HashMap macro like vec!

set

A HashSet macro like set!

var

A variable (Var) expression

variable

A raw Variable

γ

Theory is nothing without application.

λ

The all-powerful λ

Structs

Abstraction

An abstraction over a bound variable

Application

An application of two expressions

Variable

A potentially free variable

Enums

Expression

A mutually recursive definition for all lambda expressions