Module: LyambdaGem

Extended by:

LyambdaGem

Included in:

LyambdaGem

Defined in:

lib/lyambda_gem/parser.rb,
lib/lyambda_gem.rb,
lib/lyambda_gem/term.rb,
lib/lyambda_gem/reducer.rb,
lib/lyambda_gem/version.rb,
lib/lyambda_gem/variable.rb,
lib/lyambda_gem/abstraction.rb,
lib/lyambda_gem/application.rb

Overview

lib/lyambda_gem/parser.rb

Defined Under Namespace

Modules: Reducer Classes: Abstraction, Application, Error, ParseError, Parser, Term, Variable

Constant Summary

VERSION =

"0.1.3"

Class Method Summary

• .abs(param, body) ⇒ Object
• .app(left, right) ⇒ Object
• .var(name) ⇒ Object

Class Method Details

.abs(param, body) ⇒ Object

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

def abs(param, body)
  Abstraction.new(param, body)
end

.app(left, right) ⇒ Object

# File 'lib/lyambda_gem.rb', line 25

def app(left, right)
  Application.new(left, right)
end

.var(name) ⇒ Object

# File 'lib/lyambda_gem.rb', line 17

def var(name)
  Variable.new(name)
end