Module: Rigor::TypeNode

Defined in:

lib/rigor/type_node.rb,
lib/rigor/type_node/union.rb,
lib/rigor/type_node/generic.rb,
lib/rigor/type_node/identifier.rb,
lib/rigor/type_node/name_scope.rb,
lib/rigor/type_node/indexed_access.rb,
lib/rigor/type_node/resolver_chain.rb,
lib/rigor/type_node/string_literal.rb,
lib/rigor/type_node/symbol_literal.rb,
lib/rigor/type_node/integer_literal.rb

Overview

Mini-AST passed to plugin-supplied ‘TypeNode` resolvers (see [ADR-13](../../docs/adr/13-typenode-resolver-plugin.md)). The two leaf carriers — Identifier and Generic — describe a node in an `%arigor:v1:…` payload at the point the built-in registry / `ImportedRefinements::Parser` failed to resolve it and the analyzer hands the node off to plugins.

Slice 1 of the ADR-13 envelope ships these two value objects only. The ‘NameScope` companion + plugin manifest hook arrive in slice 2; the parser integration arrives in slice 3. Until those land, the carriers are reachable only through direct instantiation in tests — they are the stable data shape every later slice consumes.

Defined Under Namespace

Classes: Generic, Identifier, IndexedAccess, IntegerLiteral, NameScope, ResolverChain, StringLiteral, SymbolLiteral, Union