Class: Dhall::EmptyRecordType

Inherits:

RecordType

• Object
• Expression
• RecordType
• Dhall::EmptyRecordType

Defined in:

lib/dhall/ast.rb

Instance Method Summary

• #as_json ⇒ Object
• #deep_merge_type(other) ⇒ Object
• #merge_type(other) ⇒ Object
• #record ⇒ Object
• #slice ⇒ Object

Methods inherited from RecordType

#==, decode, #eql?, for, #keys

Methods inherited from Expression

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

Instance Method Details

#as_json ⇒ Object

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

def as_json
	[7, {}]
end

#deep_merge_type(other) ⇒ Object

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

def deep_merge_type(other)
	other
end

#merge_type(other) ⇒ Object

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

def merge_type(other)
	other
end

#record ⇒ Object

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

def record
	{}
end

#slice ⇒ Object

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

def slice(*)
	self
end