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