class Dhall::OptionalNone

Public Class Methods

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

Public Instance Methods

as_json() click to toggle source
# File lib/dhall/ast.rb, line 636
def as_json
        Application.new(
                function: self.class.as_dhall,
                argument: value_type
        ).as_json
end
map(type: nil) click to toggle source
# File lib/dhall/ast.rb, line 624
def map(type: nil)
        type.nil? ? self : with(value_type: type)
end
normalize() click to toggle source
# File lib/dhall/normalize.rb, line 279
def normalize
        with(value_type: value_type.normalize)
end
reduce(z) click to toggle source
# File lib/dhall/ast.rb, line 628
def reduce(z)
        z
end
to_s() click to toggle source
# File lib/dhall/ast.rb, line 632
def to_s
        ""
end