Module lambda_calculus::data::option

Lambda-encoded option

Functions

and_then	Applied to a lambda-encoded option and a function that returns a lambda-encoded option, it applies the function to the contents of the option.
is_none	Applied to a lambda-encoded option it produces a lambda-encoded boolean indicating whether it is empty.
is_some	Applied to a lambda-encoded option it produces a lambda-encoded boolean indicating whether it is not empty.
map	Applied to a function and a lambda-encoded option it applies the function to the contents of the option, returning the empty option if the option does not contain a value.
map_or	Applied to two arguments and a lambda-encoded option it returns the second argument applied to the contents of the option if it contains a value or the first argument if it doesn't.
none	Produces a lambda-encoded empty option; equivalent to boolean::tru.
some	Applied to an argument it consumes it and produces a lambda-encoded option that contains it.
unwrap_or	Applied to one argument and a lambda-encoded option it returns the value inside the option or the first argument if the option doesn't contain a value.