Class: Dhall::Import::URI

Inherits:

Object

• Object
• Dhall::Import::URI

Defined in:

lib/dhall/ast.rb,
lib/dhall/binary.rb

Direct Known Subclasses

Http, Https

Class Method Summary

• .decode(headers, authority, *path, query) ⇒ Object

Instance Method Summary

• #as_json ⇒ Object
• #authority ⇒ Object
• #canonical ⇒ Object
• #chain_onto(relative_to) ⇒ Object
• #headers ⇒ Object
• #location ⇒ Object
• #origin ⇒ Object
• #path ⇒ Object
• #port ⇒ Object
• #to_s ⇒ Object
• #with(attrs) ⇒ Object

Class Method Details

.decode(headers, authority, *path, query) ⇒ Object

# File 'lib/dhall/binary.rb', line 230

def self.decode(headers, authority, *path, query)
	uri = ::URI.scheme_list[name.split(/::/).last.upcase].build(
		Parser.parse(authority, root: :authority).value.merge(
			path: Util.path_components_to_uri(*path).path
		)
	)
	uri.instance_variable_set(:@query, query)
	new(headers: headers, uri: uri)
end

Instance Method Details

#as_json ⇒ Object

# File 'lib/dhall/ast.rb', line 1410

def as_json
	[@headers&.as_json, authority, *path, uri.query]
end

#authority ⇒ Object

# File 'lib/dhall/ast.rb', line 1385

def authority
	[
		uri.userinfo,
		[uri.host, port].compact.join(":")
	].compact.join("@")
end

#canonical ⇒ Object

# File 'lib/dhall/ast.rb', line 1373

def canonical
	with(
		path: (path[1..-1] + [""]).reduce([[], path.first]) { |(pth, prev), c|
			c == ".." ? [pth, prev] : [pth + [prev], c]
		}.first.reject { |c| c == "." }
	)
end

#chain_onto(relative_to) ⇒ Object

# File 'lib/dhall/ast.rb', line 1365

def chain_onto(relative_to)
	if headers.is_a?(Import)
		with(headers: headers.with(path: headers.real_path(relative_to)))
	else
		self
	end
end

#headers ⇒ Object

# File 'lib/dhall/ast.rb', line 1354

def headers
	header_type = RecordType.new(
		record: {
			"mapKey"   => Builtins[:Text],
			"mapValue" => Builtins[:Text]
		}
	)

	super || EmptyList.new(element_type: header_type)
end

#location ⇒ Object

# File 'lib/dhall/ast.rb', line 1400

def location
	Union.from(Location, "Remote", to_s.as_dhall)
end

#origin ⇒ Object

# File 'lib/dhall/ast.rb', line 1392

def origin
	"#{uri.scheme}://#{authority}"
end

#path ⇒ Object

# File 'lib/dhall/ast.rb', line 1404

def path
	path = uri.path.split(/\//, -1).map(&::URI.method(:unescape))
	path = path[1..-1] if path.length > 1 && path.first.empty?
	path
end

#port ⇒ Object

# File 'lib/dhall/ast.rb', line 1381

def port
	uri.port && uri.port != uri.default_port ? uri.port : nil
end

#to_s ⇒ Object

# File 'lib/dhall/ast.rb', line 1396

def to_s
	uri.to_s
end

#with(attrs) ⇒ Object

# File 'lib/dhall/ast.rb', line 1345

def with(attrs)
	if attrs.key?(:path)
		attrs[:uri] =
			uri + Util.path_components_to_uri(*attrs.delete(:path))
	end

	super
end