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