class Dhall::TypeChecker::If

Public Class Methods

new(expr) click to toggle source
# File lib/dhall/typecheck.rb, line 169
def initialize(expr)
        @expr = expr
        @predicate = TypeChecker.for(expr.predicate)
        @then = TypeChecker.for(expr.then)
        @else = TypeChecker.for(expr.else)
end

Public Instance Methods

annotate(context) click to toggle source
# File lib/dhall/typecheck.rb, line 196
def annotate(context)
        AnnotatedIf.new(
                @expr,
                @predicate.annotate(context),
                @then.annotate(context),
                @else.annotate(context),
                context: context
        ).annotation
end