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

#&, #*, #+, #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 695

def as_json
  [7, {}]
end

#deep_merge_type(other) ⇒ Object

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

def deep_merge_type(other)
  other
end

#merge_type(other) ⇒ Object

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

def merge_type(other)
  other
end

#record ⇒ Object

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

def record
  {}
end

#slice ⇒ Object

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

def slice(*)
  self
end