Class: Dhall::EmptyRecordType

Inherits:
RecordType show all
Defined in:
lib/dhall/ast.rb

Instance Method Summary collapse

Methods inherited from RecordType

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

Methods inherited from Expression

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

Instance Method Details

#as_json ⇒ Object 



626
627
628
 
# File 'lib/dhall/ast.rb', line 626

def as_json
	[7, {}]
end

#deep_merge_type(other) ⇒ Object 



622
623
624
 
# File 'lib/dhall/ast.rb', line 622

def deep_merge_type(other)
	other
end

#merge_type(other) ⇒ Object 



618
619
620
 
# File 'lib/dhall/ast.rb', line 618

def merge_type(other)
	other
end

#record ⇒ Object 



614
615
616
 
# File 'lib/dhall/ast.rb', line 614

def record
	{}
end

#slice ⇒ Object 



610
611
612
 
# File 'lib/dhall/ast.rb', line 610

def slice(*)
	self
end