Class: Dhall::TypeChecker::RecordSelection

Inherits:

Object

• Object
• Dhall::TypeChecker::RecordSelection

Defined in:

lib/dhall/typecheck.rb

Defined Under Namespace

Classes: Selector, TypeSelector

Instance Method Summary

• #annotate(context) ⇒ Object
• #initialize(selection) ⇒ RecordSelection constructor

  A new instance of RecordSelection.

Constructor Details

#initialize(selection) ⇒ RecordSelection

Returns a new instance of RecordSelection.

# File 'lib/dhall/typecheck.rb', line 542

def initialize(selection)
	@selection = selection
	@record = selection.record
	@selector = selection.selector
end

Instance Method Details

#annotate(context) ⇒ Object

# File 'lib/dhall/typecheck.rb', line 580

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