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_cbor, #to_proc, #|

Constructor Details

This class inherits a constructor from Dhall::Optional

Class Method Details

.as_dhall ⇒ Object 



522
523
524
 
# File 'lib/dhall/ast.rb', line 522

def self.as_dhall
  Builtins[:None]
end

Instance Method Details

#as_json ⇒ Object 



538
539
540
541
542
543
 
# File 'lib/dhall/ast.rb', line 538

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

#map(type: nil) ⇒ Object 



526
527
528
 
# File 'lib/dhall/ast.rb', line 526

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 



530
531
532
 
# File 'lib/dhall/ast.rb', line 530

def reduce(z)
  z
end

#to_s ⇒ Object 



534
535
536
 
# File 'lib/dhall/ast.rb', line 534

def to_s
  ""
end