class Dhall::TypeChecker::OptionalNone
Public Class Methods
new(expr)
click to toggle source
# File lib/dhall/typecheck.rb, line 451 def initialize(expr) @expr = expr end
Public Instance Methods
annotate(context)
click to toggle source
# File lib/dhall/typecheck.rb, line 455 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