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, #|

Instance Method Details

#as_jsonObject



562
563
564
# File 'lib/dhall/ast.rb', line 562

def as_json
  [7, {}]
end

#deep_merge_type(other) ⇒ Object



558
559
560
# File 'lib/dhall/ast.rb', line 558

def deep_merge_type(other)
  other
end

#merge_type(other) ⇒ Object



554
555
556
# File 'lib/dhall/ast.rb', line 554

def merge_type(other)
  other
end

#recordObject



550
551
552
# File 'lib/dhall/ast.rb', line 550

def record
  {}
end

#sliceObject



546
547
548
# File 'lib/dhall/ast.rb', line 546

def slice(*)
  self
end