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