Class: Dhall::Variable

Inherits:
Expression show all
Defined in:
lib/dhall/ast.rb,
lib/dhall/normalize.rb

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Expression

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

Class Method Details

.[](name, index = 0) ⇒ Object 



293
294
295
 
# File 'lib/dhall/ast.rb', line 293

def self.[](name, index=0)
	new(name: name, index: index)
end

Instance Method Details

#as_json ⇒ Object 



301
302
303
304
305
306
307
 
# File 'lib/dhall/ast.rb', line 301

def as_json
	if name == "_"
		index
	else
		[name, index]
	end
end

#shift(amount, name, min_index) ⇒ Object 



138
139
140
141
142
 
# File 'lib/dhall/normalize.rb', line 138

def shift(amount, name, min_index)
	return self if self.name != name || min_index > index

	with(index: index + amount)
end

#substitute(var, with_expr) ⇒ Object 



144
145
146
 
# File 'lib/dhall/normalize.rb', line 144

def substitute(var, with_expr)
	self == var ? with_expr : self
end

#to_s ⇒ Object 



297
298
299
 
# File 'lib/dhall/ast.rb', line 297

def to_s
	"#{name}@#{index}"
end