class Dhall::Builtins::Natural_build
Public Instance Methods
fusion(arg, *bogus)
click to toggle source
Calls superclass method
Dhall::Expression#fusion
# File lib/dhall/builtins.rb, line 77 def fusion(arg, *bogus) if bogus.empty? && arg.is_a?(Application) && arg.function == Natural_fold.new arg.argument else super end end
Protected Instance Methods
uncurried_call(arg)
click to toggle source
# File lib/dhall/builtins.rb, line 89 def uncurried_call(arg) arg.call( Natural.new, Function.of_arguments( Natural.new, body: Variable["_"] + Dhall::Natural.new(value: 1) ), Dhall::Natural.new(value: 0) ) end