Class: Dhall::LetBlock

Inherits:

Expression

• Object
• Expression
• Dhall::LetBlock

Defined in:

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

Class Method Summary

• .decode(*parts) ⇒ Object
• .for(lets:, body:) ⇒ Object

Instance Method Summary

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

Methods inherited from Expression

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

Class Method Details

.decode(*parts) ⇒ Object

# File 'lib/dhall/binary.rb', line 272

def self.decode(*parts)
	body = Dhall.decode(parts.pop)
	lets = parts.each_slice(3).map do |(var, type, assign)|
		Let.new(
			var:    var,
			assign: Dhall.decode(assign),
			type:   type.nil? ? nil : Dhall.decode(type)
		)
	end

	self.for(lets: lets, body: body)
end

.for(lets:, body:) ⇒ Object

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

def self.for(lets:, body:)
	if lets.length == 1
		LetIn.new(let: lets.first, body: body)
	else
		new(lets: lets, body: body)
	end
end

Instance Method Details

#as_json ⇒ Object

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

def as_json
	[25, *lets.flat_map(&:as_json), body.as_json]
end

#desugar ⇒ Object

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

def desugar
	unflatten(&:desugar)
end

#flatten ⇒ Object

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

def flatten
	unflatten.flatten
end

#normalize ⇒ Object

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

def normalize
	desugar.normalize
end

#shift(amount, name, min_index) ⇒ Object

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

def shift(amount, name, min_index)
	unflatten.shift(amount, name, min_index)
end

#substitute(svar, with_expr) ⇒ Object

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

def substitute(svar, with_expr)
	unflatten.substitute(svar, with_expr)
end

#unflatten ⇒ Object

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

def unflatten
	lets.reverse.reduce(body) do |inside, let|
		letin = LetIn.new(let: let, body: inside)
		block_given? ? (yield letin) : letin
	end
end