To make interoperability easier for third-party projects, this document describes the specification we follow when installing files on disk under the Plug'n'Play install strategy. It also means:
Plug'n'Play works by keeping in memory a table of all packages part of the dependency tree, in such a way that we can easily answer two different questions:
Resolving a package import thus becomes a matter of interlacing those two operations:
Extra features can then be designed, but are optional. For example, Yarn leverages the information it knows about the project to throw semantic errors when a dependency cannot be resolved: since we know the state of the whole dependency tree, we also know why a package may be missing.
All packages are uniquely referenced by locators. A locator is a combination of a package ident, which includes its scope if relevant, and a package reference, which can be seen as a unique ID used to distinguish different instances (or versions) of a same package. The package references should be treated as an opaque value: it doesn't matter from a resolution algorithm perspective that they start with workspace:, virtual:, npm:, or any other protocol.
For portability reasons, all paths inside of the manifests:
/ as separators).All algorithms in this specification assume that paths have been normalized according to these two rules.
For improved compatibility with legacy codebases, Plug'n'Play supports a feature we call "fallback". The fallback triggers when a package makes a resolution request to a dependency it doesn't list in its dependencies. In normal circumstances the resolver would throw, but when the fallback is enabled the resolver should first try to find the dependency packages amongst the dependencies of a set of special packages. If it finds it, it then returns it transparently.
In a sense, the fallback can be seen as a limited and safer form of hoisting. While hoisting allows unconstrainted access through multiple levels of dependencies, the fallback requires to explicitly define a fallback package - usually the top-level one.
While the Plug'n'Play specification doesn't by itself require runtimes to support anything else than the regular filesystem when accessing package files, producers may rely on more complex data storage mechanisms. For instance, Yarn itself requires the two following extensions which we strongly recommend to support:
Files named *.zip must be treated as folders for the purpose of file access. For instance, /foo/bar.zip/package.json requires to access the package.json file located within the /foo/bar.zip zip archive.
If writing a JS tool, the @yarnpkg/fslib package may be of assistance, providing a zip-aware filesystem layer called ZipOpenFS.
In order to properly represent packages listing peer dependencies, Yarn relies on a concept called Virtual Packages. Their most notable property is that they all have different paths (so that Node.js instantiates them as many times as needed), while still being baked by the same concrete folder on disk.
This is done by adding path support for the following scheme:
/path/to/some/folder/__virtual__/<hash>/<n>/subpath/to/file.dat
When this pattern is found, the __virtual__/<hash>/<n> part must be removed, the hash ignored, and the dirname operation applied n times to the /path/to/some/folder part. Some examples:
/path/to/some/folder/__virtual__/a0b1c2d3/0/subpath/to/file.dat /path/to/some/folder/subpath/to/file.dat /path/to/some/folder/__virtual__/e4f5a0b1/0/subpath/to/file.dat /path/to/some/folder/subpath/to/file.dat (different hash, same result) /path/to/some/folder/__virtual__/a0b1c2d3/1/subpath/to/file.dat /path/to/some/subpath/to/file.dat /path/to/some/folder/__virtual__/a0b1c2d3/3/subpath/to/file.dat /path/subpath/to/file.dat
If writing a JS tool, the @yarnpkg/fslib package may be of assistance, providing a virtual-aware filesystem layer called VirtualFS.
The __virtual__ folder name appeared with Yarn 3.0. Earlier releases used $$virtual, but we changed it after discovering that this pattern triggered bugs in software where paths were used as either regexps or replacement. For example, $$ found in the second parameter from String.prototype.replace silently turned into $.
When pnpEnableInlining is explicitly set to false, Yarn will generate an additional .pnp.data.json file containing the following fields.
This document only covers the data file itself - you should define your own in-memory data structures, populated at runtime with the information from the manifest. For example, Yarn turns the packageRegistryData table into two separate memory tables: one that maps a path to a package, and another that maps a package to a path.
You may notice that various places use arrays of tuples in place of maps. This is mostly intended to make it easier to hydrate ES6 maps, but also sometimes to have non-string keys (for instance packageRegistryData will have a null key in one particular case).
NM_RESOLVE(specifier, parentURL)
PNP_RESOLVE(specifier, parentURL)
Let resolved be undefined
If specifier is a Node.js builtin, then
resolved to specifier itself and return itOtherwise, if specifier is either an absolute path or a path prefixed with "./" or "../", then
resolved to NM_RESOLVE(specifier, parentURL) and return itOtherwise,
Note: specifier is now a bare identifier
Let unqualified be RESOLVE_TO_UNQUALIFIED(specifier, parentURL)
Set resolved to NM_RESOLVE(unqualified, parentURL)
RESOLVE_TO_UNQUALIFIED(specifier, parentURL)
Let resolved be undefined
Let ident and modulePath be the result of PARSE_BARE_IDENTIFIER(specifier)
Let manifest be FIND_PNP_MANIFEST(parentURL)
If manifest is null, then
resolved to NM_RESOLVE(specifier, parentURL) and return itLet parentLocator be FIND_LOCATOR(manifest, parentURL)
If parentLocator is null, then
resolved to NM_RESOLVE(specifier, parentURL) and return itLet parentPkg be GET_PACKAGE(manifest, parentLocator)
Let referenceOrAlias be the entry from parentPkg.packageDependencies referenced by ident
If referenceOrAlias is null or undefined, then
If manifest.enableTopLevelFallback is true, then
If parentLocator isn't in manifest.fallbackExclusionList, then
Let fallback be RESOLVE_VIA_FALLBACK(manifest, ident)
If fallback is neither null nor undefined
referenceOrAlias to fallback
If referenceOrAlias is still undefined, then
If referenceOrAlias is still null, then
Note: It means that parentPkg has an unfulfilled peer dependency on ident
Throw a resolution error
Otherwise, if referenceOrAlias is an array, then
Let alias be {ident: referenceOrAlias[0], reference: referenceOrAlias[1]}
Let dependencyPkg be GET_PACKAGE(manifest, alias)
Return path.resolve(manifest.dirPath, dependencyPkg.packageLocation, modulePath)
Otherwise,
Let reference be referenceOrAlias
Let dependencyPkg be GET_PACKAGE(manifest, {ident, reference})
Return path.resolve(manifest.dirPath, dependencyPkg.packageLocation, modulePath)
GET_PACKAGE(manifest, locator)
Let referenceMap be the entry from parentPkg.packageRegistryData referenced by locator.ident
Let pkg be the entry from referenceMap referenced by locator.reference
Return pkg
pkg cannot be undefined here; all packages referenced in any of the Plug'n'Play data tables MUST have a corresponding entry inside packageRegistryData.FIND_LOCATOR(manifest, moduleUrl)
The algorithm described here is quite inefficient. You should make sure to prepare data structure more suited for this task when you read the manifest.
Let bestLength be 0
Let bestLocator be null
Let relativeUrl be the relative path between manifest and moduleUrl
./; trim it if neededIf relativeUrl matches manifest.ignorePatternData, then
Let relativeUrlWithDot be relativeUrl prefixed with ./ or ../ as necessary
For each referenceMap value in manifest.packageRegistryData
For each registryPkg value in referenceMap
If registryPkg.discardFromLookup isn't true, then
If registryPkg.packageLocation.length is greater than bestLength, then
If relativeUrlWithDot starts with registryPkg.packageLocation, then
Set bestLength to registryPkg.packageLocation.length
Set bestLocator to the current registryPkg locator
Return bestLocator
RESOLVE_VIA_FALLBACK(manifest, ident)
Let topLevelPkg be GET_PACKAGE(manifest, {null, null})
Let referenceOrAlias be the entry from topLevelPkg.packageDependencies referenced by ident
If referenceOrAlias is defined, then
Otherwise,
Let referenceOrAlias be the entry from manifest.fallbackPool referenced by ident
Return it immediately, whether it's defined or not
FIND_PNP_MANIFEST(url)
Finding the right PnP manifest to use for a resolution isn't always trivial. There are two main options:
Assume that there is a single PnP manifest covering the whole project. This is the most common case, as even when referencing third-party projects (for example via the portal: protocol) their dependency trees are stored in the same manifest as the main project.
To do that, call FIND_CLOSEST_PNP_MANIFEST(require.main.filename) once at the start of the process, cache its result, and return it for each call to FIND_PNP_MANIFEST (if you're running in Node.js, you can even use require.resolve('pnpapi') which will do this work for you).
Try to operate within a multi-project world. This is rarely required. We support it inside the Node.js PnP loader, but only because of "project generator" tools like create-react-app which are run via yarn create react-app and require two different projects (the generator one and the generated one) to cooperate within the same Node.js process.
Supporting this use case is difficult, as it requires a bookkeeping mechanism to track the manifests used to access modules, reusing them as much as possible and only looking for a new one when the chain breaks.
FIND_CLOSEST_PNP_MANIFEST(url)
Let manifest be null
Let directoryPath be the directory for url
Let pnpPath be directoryPath concatenated with /.pnp.cjs
If pnpPath exists on the filesystem, then
Let pnpDataPath be directoryPath concatenated with /.pnp.data.json
Set manifest to JSON.parse(readFile(pnpDataPath))
Set manifest.dirPath to directoryPath
Return manifest
Otherwise, if directoryPath is /, then
Otherwise,
FIND_PNP_MANIFEST(directoryPath)
PARSE_BARE_IDENTIFIER(specifier)
If specifier starts with "@", then
If specifier doesn't contain a "/" separator, then
Otherwise,
ident to the substring of specifier until the second "/" separator or the end of string, whatever happens firstOtherwise,
ident to the substring of specifier until the first "/" separator or the end of string, whatever happens firstSet modulePath to the substring of specifier starting from ident.length
Return {ident, modulePath}
© 2016–present Yarn Contributors
Licensed under the BSD License.
https://yarnpkg.com/advanced/pnp-spec