Class: Dhall::List

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

Direct Known Subclasses

EmptyList

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Expression

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

Constructor Details

#initialize(attrs) ⇒ List

Returns a new instance of List.



380
381
382
383
384
385
386
387
 
# File 'lib/dhall/ast.rb', line 380

def initialize(attrs)
	if attrs.key?(:element_type)
		et = attrs.delete(:element_type)
		attrs[:type] = self.class.as_dhall.call(et) if et
	end

	super
end

Class Method Details

.as_dhall ⇒ Object 



397
398
399
 
# File 'lib/dhall/ast.rb', line 397

def self.as_dhall
	Builtins[:List]
end

.decode(type, *els) ⇒ Object 



87
88
89
90
91
92
93
94
 
# File 'lib/dhall/binary.rb', line 87

def self.decode(type, *els)
	type = type.nil? ? nil : Builtins[:List].call(Dhall.decode(type))
	if els.empty?
		EmptyList.new(type: type)
	else
		List.new(elements: els.map(&Dhall.method(:decode)), type: type)
	end
end

.of(*args, type: nil) ⇒ Object 



389
390
391
392
393
394
395
 
# File 'lib/dhall/ast.rb', line 389

def self.of(*args, type: nil)
	if args.empty?
		EmptyList.new(element_type: type)
	else
		List.new(elements: args, element_type: type)
	end
end

Instance Method Details

#[](idx) ⇒ Object 



435
436
437
 
# File 'lib/dhall/ast.rb', line 435

def [](idx)
	Optional.for(elements[idx.to_i], type: element_type)
end

#as_json ⇒ Object 



410
411
412
 
# File 'lib/dhall/ast.rb', line 410

def as_json
	[4, nil, *elements.map(&:as_json)]
end

#concat(other) ⇒ Object 



455
456
457
458
459
460
461
 
# File 'lib/dhall/ast.rb', line 455

def concat(other)
	if other.is_a?(List) && !other.is_a?(EmptyList)
		with(elements: elements + other.elements)
	else
		super
	end
end

#each(&block) ⇒ Object 



422
423
424
425
 
# File 'lib/dhall/ast.rb', line 422

def each(&block)
	elements.each(&block)
	self
end

#element_type ⇒ Object 



401
402
403
404
405
406
407
408
 
# File 'lib/dhall/ast.rb', line 401

def element_type
	if type.nil?
	elsif type.is_a?(Application) && type.function == Builtins[:List]
		type.argument
	else
		raise "Cannot get element_type of: #{type.inspect}"
	end
end

#first ⇒ Object 



439
440
441
 
# File 'lib/dhall/ast.rb', line 439

def first
	Optional.for(elements.first, type: element_type)
end

#join(sep = $,) ⇒ Object 



451
452
453
 
# File 'lib/dhall/ast.rb', line 451

def join(sep=$,)
	elements.map(&:to_s).join(sep)
end

#last ⇒ Object 



443
444
445
 
# File 'lib/dhall/ast.rb', line 443

def last
	Optional.for(elements.last, type: element_type)
end

#length ⇒ Object 



431
432
433
 
# File 'lib/dhall/ast.rb', line 431

def length
	elements.length
end

#map(type: nil, &block) ⇒ Object 



414
415
416
417
418
419
420
 
# File 'lib/dhall/ast.rb', line 414

def map(type: nil, &block)
	type = type.nil? ? nil : Builtins[:List].call(type.as_dhall)
	with(
		elements: elements.each_with_index.map(&block),
		type:     type
	)
end

#reduce(*z) ⇒ Object 



427
428
429
 
# File 'lib/dhall/ast.rb', line 427

def reduce(*z)
	elements.reverse.reduce(*z) { |acc, x| yield x, acc }
end

#reverse ⇒ Object 



447
448
449
 
# File 'lib/dhall/ast.rb', line 447

def reverse
	with(elements: elements.reverse)
end