Class: Dhall::TypeChecker::Enum

Inherits:

Object

• Object
• Dhall::TypeChecker::Enum

Defined in:

lib/dhall/typecheck.rb

Instance Method Summary

• #annotate(context) ⇒ Object
• #initialize(enum) ⇒ Enum constructor

  A new instance of Enum.

Constructor Details

#initialize(enum) ⇒ Enum

Returns a new instance of Enum.

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

def initialize(enum)
	@enum = enum
end

Instance Method Details

#annotate(context) ⇒ Object

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

def annotate(context)
	type = Dhall::UnionType.new(
		alternatives: { @enum.tag => nil }
	).merge(@enum.alternatives)

	# Annotate to sanity check
	TypeChecker.for(type).annotate(context)

	Dhall::TypeAnnotation.new(value: @enum, type: type)
end