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