Class: Dhall::TypeChecker::RecordSelection::TypeSelector

Inherits:

Selector

• Object
• Selector
• Dhall::TypeChecker::RecordSelection::TypeSelector

Defined in:

lib/dhall/typecheck.rb

Instance Method Summary

• #initialize(union) ⇒ TypeSelector constructor

  A new instance of TypeSelector.

Methods inherited from Selector

for, #select

Constructor Details

#initialize(union) ⇒ TypeSelector

Returns a new instance of TypeSelector.

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

def initialize(union)
	normalized = union.normalize
	TypeChecker.assert normalized, Dhall::UnionType,
	                   "RecordSelection on #{normalized}"
	@fetch_from = normalized.constructor_types
end