Module: Dhall::AsDhall::ExpressionList

Defined in:
lib/dhall/as_dhall.rb

Defined Under Namespace

Classes: Empty, Mono, Optional, Union

Class Method Summary collapse

Class Method Details

.for(values, exprs) ⇒ Object 



147
148
149
150
151
152
153
154
155
156
157
158
159
 
# File 'lib/dhall/as_dhall.rb', line 147

def self.for(values, exprs)
	types = exprs.map(&TypeChecker.method(:type_of))

	if types.empty?
		Empty
	elsif types.include?(nil) && types.uniq.length <= 2
		Optional
	elsif types.uniq.length == 1
		Mono
	else
		Union
	end.new(values, exprs, types)
end