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

Inherits:
Selector
  • Object
show all
Defined in:
lib/dhall/typecheck.rb

Instance Method Summary collapse

Methods inherited from Selector

for, #select

Constructor Details

#initialize(union) ⇒ TypeSelector

Returns a new instance of TypeSelector.



561
562
563
564
565
566
 
# File 'lib/dhall/typecheck.rb', line 561

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