TypeMapVisitor

To replace short names with their FQN alternatives (or rewrite them any other way), use TypeMapVisitor. It calls your callback for every Name it finds on a NamedTypeNode, CallableTypeNode, ConstMaskNode (via their $name property), or a ClassConstNode/ClassConstMaskNode (via their $class property) — and, if the callback returns a Name, replaces it in place.

use TypeLang\Parser\Traverser;
use TypeLang\Parser\Traverser\TypeMapVisitor;
use TypeLang\Type\Name;

$type = new TypeLang\Parser\TypeParser()
    ->parse('User|Admin');

// Replace all "User" occurrences with "App\Example\User"
$replacement = static function (Name $name): ?Name {
    if ($name->toLowerString() === 'user') {
        return Name::createFromString('App\\Example\\User');
    }

    return null;
};

Traverser::new([new TypeMapVisitor($replacement)])
    ->traverse([$type]);

// App\Example\User
echo $type->statements[0]->name->toString(), "\n";
// Admin
echo $type->statements[1]->name->toString(), "\n";

Returning null from the callback leaves that particular Name untouched — as seen above for Admin, which doesn't match the condition.

The same rewrite reaches class-constant references too, since ClassConstNode::$class is also a Name:

$type = new TypeLang\Parser\TypeParser()
    ->parse('User::STATUS_ACTIVE');

Traverser::new([new TypeMapVisitor($replacement)])
    ->traverse([$type]);

echo $type->class->toString(); // App\Example\User

TypeMapVisitor is the visitor TypeResolver uses internally — reach for TypeResolver directly if what you need is resolving names against a set of PHP use statements; use TypeMapVisitor yourself for anything more custom.

05 July 2026