Class: Dhall::AsDhall::ExpressionList::Optional

Inherits:

Object

• Object
• Dhall::AsDhall::ExpressionList::Optional

Defined in:

lib/dhall/as_dhall.rb

Instance Method Summary

• #initialize(_, exprs, types) ⇒ Optional constructor

  A new instance of Optional.

• #list ⇒ Object

Constructor Details

#initialize(_, exprs, types) ⇒ Optional

Returns a new instance of Optional.

# File 'lib/dhall/as_dhall.rb', line 170

def initialize(_, exprs, types)
	@type = types.compact.first
	@exprs = exprs
end

Instance Method Details

#list ⇒ Object

# File 'lib/dhall/as_dhall.rb', line 175

def list
	List.new(elements: @exprs.map do |x|
		if x.nil?
			Dhall::OptionalNone.new(value_type: @type)
		else
			Dhall::Optional.new(value: x)
		end
	end)
end