Class: Dhall::Builtins::Natural_fold

Inherits:
Dhall::Builtin show all
Defined in:
lib/dhall/builtins.rb

Instance Method Summary collapse

Methods inherited from Dhall::Builtin

#as_json, #unfill

Methods inherited from Expression

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

Instance Method Details

#call(arg) ⇒ Object 



135
136
137
138
139
140
141
142
143
 
# File 'lib/dhall/builtins.rb', line 135

def call(arg)
	fill_or_call(arg) do
		if @nat.zero?
			arg.normalize
		else
			@f.call(with(nat: nat.pred).call(arg))
		end
	end || super
end