Class: Dhall::RecordProjection

Inherits:

Expression

• Object
• Expression
• Dhall::RecordProjection

Defined in:

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

Class Method Summary

• .decode(record, *selectors) ⇒ Object

Instance Method Summary

• #as_json ⇒ Object
• #normalize ⇒ Object

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

Class Method Details

.decode(record, *selectors) ⇒ Object

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

def self.decode(record, *selectors)
	if selectors.empty?
		EmptyRecordProjection.new(record: Dhall.decode(record))
	else
		new(record: Dhall.decode(record), selectors: selectors)
	end
end

Instance Method Details

#as_json ⇒ Object

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

def as_json
	[10, record.as_json, *selectors]
end

#normalize ⇒ Object

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

def normalize
	record.normalize.slice(*selectors)
end