class Dhall::EmptyRecordType

Public Instance Methods

as_json() click to toggle source
# File lib/dhall/ast.rb, line 736
def as_json
        [7, {}]
end
deep_merge_type(other) click to toggle source
# File lib/dhall/ast.rb, line 732
def deep_merge_type(other)
        other
end
merge_type(other) click to toggle source
# File lib/dhall/ast.rb, line 728
def merge_type(other)
        other
end
record() click to toggle source
# File lib/dhall/ast.rb, line 724
def record
        {}
end
slice(*) click to toggle source
# File lib/dhall/ast.rb, line 720
def slice(*)
        self
end