class Dhall::Integer

Public Class Methods

as_dhall() click to toggle source
# File lib/dhall/ast.rb, line 1187
def self.as_dhall
        Builtins[:Integer]
end

Public Instance Methods

===(other) click to toggle source
# File lib/dhall/ast.rb, line 1199
def ===(other)
        self == other || value === other
end
as_json() click to toggle source
# File lib/dhall/ast.rb, line 1203
def as_json
        [16, value]
end
to_i() click to toggle source
# File lib/dhall/ast.rb, line 1195
def to_i
        value
end
to_s() click to toggle source
# File lib/dhall/ast.rb, line 1191
def to_s
        "#{value >= 0 ? "+" : ""}#{value}"
end