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