Class: Dhall::TypeChecker::Builtin

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

Class Method Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(builtin) ⇒ Builtin

Returns a new instance of Builtin.



1357
1358
1359
1360
 
# File 'lib/dhall/typecheck.rb', line 1357

def initialize(builtin)
  @expr = builtin
  @name = builtin.as_json
end

Class Method Details

.for(builtin) ⇒ Object 



1347
1348
1349
1350
1351
1352
1353
1354
1355
 
# File 'lib/dhall/typecheck.rb', line 1347

def self.for(builtin)
  if builtin.is_a?(Dhall::BuiltinFunction)
    if (unfilled = builtin.unfill) != builtin
      return TypeChecker.for(unfilled)
    end
  end

  new(builtin)
end

Instance Method Details

#annotate ⇒ Object 



1362
1363
1364
1365
1366
1367
1368
1369
 
# File 'lib/dhall/typecheck.rb', line 1362

def annotate(*)
  Dhall::TypeAnnotation.new(
    value: @expr,
    type:  BUILTIN_TYPES.fetch(@name) do
      raise TypeError, "Unknown Builtin #{@name}"
    end
  )
end