Class: Dhall::ToMap

Inherits:

Expression

• Object
• Expression
• Dhall::ToMap

Defined in:

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

Class Method Summary

• .decode(record, type = nil) ⇒ Object

Instance Method Summary

• #as_json ⇒ Object
• #normalize ⇒ Object

Methods inherited from Expression

#&, #*, #+, #annotate, #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(record, type = nil) ⇒ Object

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

def self.decode(record, type=nil)
	new(
		record: Dhall.decode(record),
		type:   type.nil? ? nil : Dhall.decode(type)
	)
end

Instance Method Details

#as_json ⇒ Object

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

def as_json
	[27, record.as_json] +
		(type.nil? ? [] : [type.as_json])
end

#normalize ⇒ Object

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

def normalize
	normalized = super
	unless [Record, EmptyRecord].include?(normalized.record.class)
		return normalized
	end

	List.of(*normalized.record.to_h.to_a.map do |(k, v)|
		k = Text.new(value: k)
		Record.new(record: { "mapKey" => k, "mapValue" => v })
	end, type: normalized.type&.argument)
end