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_cbor, #to_proc, #to_s, #|

Instance Method Details

#as_json ⇒ Object

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

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

#desugar ⇒ Object

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

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 1630

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 1610

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 1606

def lets
	[let]
end

#normalize ⇒ Object

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

def normalize
	desugar.normalize
end

#shift(amount, name, min_index) ⇒ Object

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

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 406

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