class Dhall::TypeChecker::RecordSelection
Public Class Methods
new(selection)
click to toggle source
# File lib/dhall/typecheck.rb, line 582 def initialize(selection) @selection = selection @record = selection.record @selector = selection.selector end
Public Instance Methods
annotate(context)
click to toggle source
# File lib/dhall/typecheck.rb, line 620 def annotate(context) arecord = TypeChecker.for(@record).annotate(context) selector = Selector.for(arecord) Dhall::TypeAnnotation.new( value: @selection.with(record: arecord), type: selector.select(@selector) ) end