Class: Dhall::If

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

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Expression

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

Class Method Details

.decode(pred, thn, els) ⇒ Object 



194
195
196
197
198
199
200
 
# File 'lib/dhall/binary.rb', line 194

def self.decode(pred, thn, els)
	new(
		predicate: Dhall.decode(pred),
		then:      Dhall.decode(thn),
		else:      Dhall.decode(els)
	)
end

Instance Method Details

#as_json ⇒ Object 



1063
1064
1065
 
# File 'lib/dhall/ast.rb', line 1063

def as_json
	[14, predicate.as_json, self.then.as_json, self.else.as_json]
end

#normalize ⇒ Object 



380
381
382
383
384
385
386
387
388
389
390
391
 
# File 'lib/dhall/normalize.rb', line 380

def normalize
	normalized = super
	if normalized.predicate.is_a?(Bool)
		normalized.predicate.reduce(normalized.then, normalized.else)
	elsif normalized.trivial?
		normalized.predicate
	elsif normalized.then == normalized.else
		normalized.then
	else
		normalized
	end
end

#trivial? ⇒ Boolean

Returns:

  • (Boolean) 


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

def trivial?
	self.then == Bool.new(value: true) &&
		self.else == Bool.new(value: false)
end