Class: Dhall::TypeChecker::Forall

Inherits:

Object

• Object
• Dhall::TypeChecker::Forall

Defined in:

lib/dhall/typecheck.rb

Defined Under Namespace

Modules: FunctionKind

Instance Method Summary

• #annotate(context) ⇒ Object
• #initialize(expr) ⇒ Forall constructor

  A new instance of Forall.

Constructor Details

#initialize(expr) ⇒ Forall

Returns a new instance of Forall.

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

def initialize(expr)
	@expr = expr
	@var = expr.var
	@var_type = expr.type
	@input = TypeChecker.for(expr.type)
	@output = TypeChecker.for(expr.body)
end

Instance Method Details

#annotate(context) ⇒ Object

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

def annotate(context)
	inkind = KINDS.index(@input.annotate(context).type)
	outkind = KINDS.index(@output.annotate(context.add(@expr)).type)

	Dhall::TypeAnnotation.new(
		value: @expr,
		type:  FunctionKind.for(inkind, outkind).kind
	)
end