class Dhall::RecordSelection

Public Class Methods

decode(record, selector) click to toggle source
# File lib/dhall/binary.rb, line 156
def self.decode(record, selector)
        new(record: Dhall.decode(record), selector: selector)
end

Public Instance Methods

as_json() click to toggle source
# File lib/dhall/ast.rb, line 895
def as_json
        [9, record.as_json, selector]
end
call(value) click to toggle source
# File lib/dhall/ast.rb, line 887
def call(value)
        if record.is_a?(UnionType)
                record.get_constructor(selector).call(value)
        else
                Application.new(function: self, argument: value)
        end
end
normalize() click to toggle source
# File lib/dhall/normalize.rb, line 342
def normalize
        record.normalize.fetch(selector)
end