Class: Dhall::Application

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

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Expression

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

Class Method Details

.decode(function, *args) ⇒ Object 



54
55
56
57
58
59
 
# File 'lib/dhall/binary.rb', line 54

def self.decode(function, *args)
	function = Dhall.decode(function)
	args.map(&Dhall.method(:decode)).reduce(function) do |f, arg|
		self.for(function: f, argument: arg)
	end
end

.for(function:, argument:) ⇒ Object 



126
127
128
129
130
131
132
 
# File 'lib/dhall/ast.rb', line 126

def self.for(function:, argument:)
	if function == Builtins[:None]
		OptionalNone.new(value_type: argument)
	else
		new(function: function, argument: argument)
	end
end

Instance Method Details

#as_json ⇒ Object 



147
148
149
150
 
# File 'lib/dhall/ast.rb', line 147

def as_json
	function, arguments = flatten
	[0, function.as_json, *arguments.map(&:as_json)]
end

#flatten ⇒ Object 



134
135
136
137
138
139
140
141
142
143
144
145
 
# File 'lib/dhall/ast.rb', line 134

def flatten
	f, args = if function.is_a?(Application)
		function.flatten
	elsif function.is_a?(BuiltinFunction) &&
	      (unfilled = function.unfill).is_a?(Application)
		unfilled.flatten
	else
		[function, []]
	end

	[f, args + [argument]]
end

#fuse ⇒ Object 



74
75
76
77
78
79
80
81
 
# File 'lib/dhall/normalize.rb', line 74

def fuse
	if function.is_a?(Application)
		@fuse ||= function.function.fusion(function.argument, argument)
		return @fuse if @fuse
	end

	@fuse ||= function.fusion(argument)
end

#normalize ⇒ Object 



59
60
61
62
63
64
65
66
67
68
69
70
71
72
 
# File 'lib/dhall/normalize.rb', line 59

def normalize
	return fuse.normalize if fuse

	normalized = super
	return normalized.fuse if normalized.fuse

	if normalized.function.is_a?(BuiltinFunction) ||
	   normalized.function.is_a?(Function) ||
	   normalized.function.is_a?(RecordSelection)
		return normalized.function.call(normalized.argument)
	end

	normalized
end