Class: Dhall::OptionalNone

Inherits:
Optional show all
Defined in:
lib/dhall/ast.rb,
lib/dhall/normalize.rb

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Optional

decode, for, #initialize, #type

Methods inherited from Expression

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

Constructor Details

This class inherits a constructor from Dhall::Optional

Class Method Details

.as_dhall ⇒ Object 



579
580
581
 
# File 'lib/dhall/ast.rb', line 579

def self.as_dhall
  Builtins[:None]
end

Instance Method Details

#as_json ⇒ Object 



595
596
597
598
599
600
 
# File 'lib/dhall/ast.rb', line 595

def as_json
  Application.new(
    function: self.class.as_dhall,
    argument: value_type
  ).as_json
end

#map(type: nil) ⇒ Object 



583
584
585
 
# File 'lib/dhall/ast.rb', line 583

def map(type: nil)
  type.nil? ? self : with(value_type: type)
end

#normalize ⇒ Object 



263
264
265
 
# File 'lib/dhall/normalize.rb', line 263

def normalize
  with(value_type: value_type.normalize)
end

#reduce(z) ⇒ Object 



587
588
589
 
# File 'lib/dhall/ast.rb', line 587

def reduce(z)
  z
end

#to_s ⇒ Object 



591
592
593
 
# File 'lib/dhall/ast.rb', line 591

def to_s
  ""
end