Class: Dhall::Operator::NotEqual

Inherits:

Dhall::Operator

• Object
• Expression
• Dhall::Operator
• Dhall::Operator::NotEqual

Defined in:

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

Constant Summary

Constants inherited from Dhall::Operator

OPERATORS

Instance Method Summary

• #normalize ⇒ Object

Methods inherited from Dhall::Operator

#as_json, decode

Methods inherited from Expression

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

Instance Method Details

#normalize ⇒ Object

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

def normalize
	normalized = super
	if normalized.lhs == Bool.new(value: false)
		normalized.rhs
	elsif normalized.rhs == Bool.new(value: false)
		normalized.lhs
	elsif normalized.lhs == normalized.rhs
		Bool.new(value: false)
	else
		normalized
	end
end