Class: Dhall::LetIn

Inherits:

Expression

• Object
• Expression
• Dhall::LetIn

Defined in:

lib/dhall/ast.rb,
lib/dhall/normalize.rb

Instance Method Summary

• #as_json ⇒ Object
• #desugar ⇒ Object
• #eliminate ⇒ Object
• #flatten ⇒ Object
• #lets ⇒ Object
• #normalize ⇒ Object
• #shift(amount, name, min_index) ⇒ Object
• #substitute(svar, with_expr) ⇒ Object

Methods inherited from Expression

#&, #*, #+, #as_dhall, #cache_key, #call, #concat, decode, #deep_merge, #deep_merge_type, #dhall_eq, #digest, #fetch, #fusion, #merge, #resolve, #slice, #to_binary, #to_cbor, #to_proc, #to_s, #|

Instance Method Details

#as_json ⇒ Object

# File 'lib/dhall/ast.rb', line 1766

def as_json
  [25, *let.as_json, body.as_json]
end

#desugar ⇒ Object

# File 'lib/dhall/ast.rb', line 1748

def desugar
  Application.new(
    function: Function.new(
      var:  let.var,
      type: let.type,
      body: body
    ),
    argument: let.assign
  )
end

#eliminate ⇒ Object

# File 'lib/dhall/ast.rb', line 1759

def eliminate
  body.substitute(
    Dhall::Variable[let.var],
    let.assign.shift(1, let.var, 0)
  ).shift(-1, let.var, 0)
end

#flatten ⇒ Object

# File 'lib/dhall/ast.rb', line 1739

def flatten
  flattened = body.is_a?(LetIn) ? body.flatten : body
  if flattened.is_a?(LetIn) || flattened.is_a?(LetBlock)
    LetBlock.for(lets: [let] + flattened.lets, body: flattened.body)
  else
    self
  end
end

#lets ⇒ Object

# File 'lib/dhall/ast.rb', line 1735

def lets
  [let]
end

#normalize ⇒ Object

# File 'lib/dhall/normalize.rb', line 419

def normalize
  desugar.normalize
end

#shift(amount, name, min_index) ⇒ Object

# File 'lib/dhall/normalize.rb', line 423

def shift(amount, name, min_index)
  return super unless let.var == name

  with(
    let:  let.shift(amount, name, min_index),
    body: body.shift(amount, name, min_index + 1)
  )
end

#substitute(svar, with_expr) ⇒ Object

# File 'lib/dhall/normalize.rb', line 432

def substitute(svar, with_expr)
  var = let.var
  with(
    let:  let.substitute(svar, with_expr),
    body: body.substitute(
      var == svar.name ? svar.with(index: svar.index + 1) : svar,
      with_expr.shift(1, var, 0)
    )
  )
end