Module: LambdaDriver

Defined in:

lib/lambda_driver.rb,
lib/lambda_driver/version.rb

Defined Under Namespace

Modules: Callable, Composable, Context, Curring, Currying, Disjunction, Flipable, Liftable, Mzero, Op, ProcConvertable, Revapply, WithArgs

Constant Summary

I =

SKI combinators

lambda{|x| x }

K =

lambda{|x| lambda{|y| y }}

S =

lambda{|x| lambda{|y| lambda{|z| x.to_proc.call(z).call(y.to_proc.call(z)) } } }

AND =

Boolean combinators

lambda{|l| lambda{|r| l && r }}

OR =

lambda{|l| lambda{|r| l || r }}

VERSION =

"1.3.0"

Class Method Summary

• .i ⇒ Object
• .k ⇒ Object
• .s ⇒ Object

Class Method Details

.i ⇒ Object

# File 'lib/lambda_driver.rb', line 21

def i ; I end

.k ⇒ Object

# File 'lib/lambda_driver.rb', line 22

def k ; K end

.s ⇒ Object

# File 'lib/lambda_driver.rb', line 23

def s ; S end