Module lambda_calculus::data::pair [−] [src]

Functions

curry	Applied to a function and two arguments `a` and `b`, it applies the function to the lambda-encoded pair `(a, b)`.
fst	Applied to a lambda-encoded pair `(a, b)` it yields `a`.
pair	Applied to two `Term`s it contains them in a lambda-encoded pair.
snd	Applied to a lambda-encoded pair `(a, b)` it yields `b`.
swap	Applied to a lambda-encoded pair `(a, b)` it swaps its elements so that it becomes `(b, a)`.
uncurry	Applied to a function and a lambda-encoded pair `(a, b)` it uncurries it and applies the function to `a` and then `b`.