Class: Dhall::Natural

Inherits:

Expression

• Object
• Expression
• Dhall::Natural

Defined in:

lib/dhall/ast.rb

Class Method Summary

• .as_dhall ⇒ Object

Instance Method Summary

• #*(other) ⇒ Object
• #+(other) ⇒ Object
• #===(other) ⇒ Object
• #as_json ⇒ Object
• #coerce(other) ⇒ Object
• #even? ⇒ Boolean
• #odd? ⇒ Boolean
• #pred ⇒ Object
• #to_i ⇒ Object
• #to_s ⇒ Object
• #zero? ⇒ Boolean

Methods inherited from Expression

#&, #as_dhall, #cache_key, #call, #concat, decode, #deep_merge, #deep_merge_type, #dhall_eq, #digest, #fetch, #fusion, #merge, #normalize, #resolve, #shift, #slice, #substitute, #to_binary, #to_cbor, #to_proc, #|

Class Method Details

.as_dhall ⇒ Object

# File 'lib/dhall/ast.rb', line 1073

def self.as_dhall
	Builtins[:Natural]
end

Instance Method Details

#*(other) ⇒ Object

# File 'lib/dhall/ast.rb', line 1090

def *(other)
	other = other.as_dhall
	return self if zero?
	if other.is_a?(Natural)
		with(value: value * other.value)
	else
		super
	end
end

#+(other) ⇒ Object

# File 'lib/dhall/ast.rb', line 1081

def +(other)
	other = other.as_dhall
	if other.is_a?(Natural)
		with(value: value + other.value)
	else
		super
	end
end

#===(other) ⇒ Object

# File 'lib/dhall/ast.rb', line 1124

def ===(other)
	self == other || value === other
end

#as_json ⇒ Object

# File 'lib/dhall/ast.rb', line 1128

def as_json
	[15, value]
end

#coerce(other) ⇒ Object

# File 'lib/dhall/ast.rb', line 1077

def coerce(other)
	[other.as_dhall, self]
end

#even? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/dhall/ast.rb', line 1108

def even?
	value.even?
end

#odd? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/dhall/ast.rb', line 1112

def odd?
	value.odd?
end

#pred ⇒ Object

# File 'lib/dhall/ast.rb', line 1120

def pred
	with(value: [0, value - 1].max)
end

#to_i ⇒ Object

# File 'lib/dhall/ast.rb', line 1100

def to_i
	value
end

#to_s ⇒ Object

# File 'lib/dhall/ast.rb', line 1104

def to_s
	value.to_s
end

#zero? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/dhall/ast.rb', line 1116

def zero?
	value.zero?
end