Module lambda_calculus::term [−] [src]

Reexports

pub use self::Term::*;

pub use self::Notation::*;

Enums

Error	An error that can be returned when an inapplicable function is applied to a term.
Notation	The notation used for parsing and displaying purposes.
Term	A lambda term that is either a variable with a De Bruijn index, an abstraction over a term or an applicaction of one term to another.

Constants

LAMBDA

The character used to display lambda abstractions. The default is the Greek letter 'λ', but it can also be set to a '\' (backslash) using features = ["backslash_lambda"].

Functions

abs	Wraps a `Term` in an `Abs`traction. Consumes its argument.
app	Produces an `App`lication of two given `Term`s without any reduction, consuming them in the process.