Module lambda_calculus::data::option
[−]
[src]
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 |
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. |