Class: Dhall::TypeChecker::OptionalNone

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

Instance Method Summary collapse

Constructor Details

#initialize(expr) ⇒ OptionalNone

Returns a new instance of OptionalNone.



418
419
420
 
# File 'lib/dhall/typecheck.rb', line 418

def initialize(expr)
  @expr = expr
end

Instance Method Details

#annotate(context) ⇒ Object 



422
423
424
425
426
427
428
429
430
 
# File 'lib/dhall/typecheck.rb', line 422

def annotate(context)
  TypeChecker.assert(
    TypeChecker.for(@expr.value_type).annotate(context).type,
    Builtins[:Type],
    "OptionalNone element type not of type Type"
  )

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