Function lambda_calculus::data::option::some

source · 
pub fn some() -> Term
Expand description

Applied to an argument it consumes it and produces a lambda-encoded option that contains it.

SOME ≡ λans.s a ≡ λ λ λ 1 3

Example

use lambda_calculus::data::option::some;
use lambda_calculus::*;

assert_eq!(beta(app(some(), 1.into_church()), NOR, 0), Some(1).into_church());