Class: Rigor::TypeNode::Union

Inherits:
Object
  • Object
show all
Defined in:
lib/rigor/type_node/union.rb

Overview

Union AST node. Carries the nodes of a T1 | T2 | … union expression authored at type-arg position.

ADR-13 follow-up (docs/CURRENT_WORK.md engineering item #2): together with SymbolLiteral / StringLiteral this closes the parser-side gap that prevented Pick[T, :a | :b] / Pick[T, "a" | "b"] from tokenising. The resolver pass recurses through each node and folds them via Type::Combinator.union.

The field is named :nodes (not :members) to avoid shadowing Data#members, which is the introspection method every Data.define mix-in inherits.

Nodes are themselves any of the Rigor::TypeNode carriers — the parser builds a flat list (left-associative); nested Union nodes are permitted but the parser does not synthesise them by itself.

Instance Method Summary collapse

Constructor Details

#initialize(nodes:) ⇒ Union

Returns a new instance of Union.



24
25
26
27
28
29
30
31
32
 
# File 'lib/rigor/type_node/union.rb', line 24

def initialize(nodes:)
  unless nodes.is_a?(Array) && nodes.size >= 2 && nodes.all? { |m| valid_member?(m) }
    raise ArgumentError,
          "TypeNode::Union nodes must be an Array (size >= 2) of " \
          "TypeNode carriers, got #{nodes.inspect}"
  end

  super(nodes: nodes.freeze)
end