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

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

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 782

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