As part of its normal work, the Relay Compiler will emit type information for your language of choice that helps you write type-safe application code. These types are included in the artifacts that
relay-compiler generates to describe your operations and fragments.
Regardless of your choice of language, all language plugins will emit roughly the same sort of type-information, but be sure to read the documentation for other language plugins to learn about their specifics.
The shape of the variables object used for query, mutation, or subscription operations.
In this example the emitted type-information would require the variables object to contain an
artistID key with a non-null string.
The shape of the data selected in a operation or fragment, following the data-masking rules. That is, excluding any data selected by fragment spreads.
In this example the emitted type-information describes the response data which is returned by
Similarly, in this example the emitted type-information describes the type of the prop to match the type of the fragment reference
useFragment expects to receive.
The opaque identifier described in data-masking that a child container expects to receive from its parent, which represents the child container’s fragment spread inside the parent’s fragment.
Please read this important caveat about actually enabling type-safe fragment reference checking.
Consider a component that composes the above fragment component example. In this example, the emitted type-information of the child component receives a unique opaque identifier type, called a fragment reference, which the type-information emitted for the parent’s fragment references in the location where the child’s fragment is spread. Thus ensuring that the child’s fragment is spread into the parent’s fragment and the correct fragment reference is passed to the child component at runtime.
An important caveat to note is that by default strict fragment reference type-information will not be emitted, instead they will be typed as
any and would allow you to pass in any data to the child component.
To enable this feature, you will have to tell the compiler to store all the artifacts in a single directory, like so:
…and additionally inform the babel plugin in your
.babelrc config where to look for the artifacts:
It is recommended to alias this directory in your module resolution configuration such that you don’t need to specify relative paths in your source files. This is what is also done in the above examples, where artifacts are imported from a
__generated__ alias, rather than relative paths like
The reason is that
relay-compiler and its artifact emission is stateless. Meaning that it does not keep track of locations of original source files and where the compiler previously saved the accompanying artifact on disk. Thus, if the compiler were to emit artifacts that try to import fragment reference types from other artifacts, the compiler would:
- first need to know where on disk that other artifact exists;
- and update imports when the other artifact changes location on disk.
Facebook uses a module system called Haste, in which all source files are considered in a flat namespace. This means that an import declaration does not need to specify the path to another module and thus there is no need for the compiler to ever consider the above issues. I.e. an import only needs to specify the basename of the module filename and Haste takes care of actually finding the right module at import time. Outside of Facebook, however, usage of the Haste module system is non-existent nor encouraged, thus the decision to not import fragment reference types but instead type them as
At its simplest, we can consider Haste as a single directory that contains all module files, thus all module imports always being safe to import using relative sibling paths. This is what is achieved by the single artifact directory feature. Rather than co-locating artifacts with their source files, all artifacts are stored in a single directory, allowing the compiler to emit imports of fragment reference types.
By default, Flow types are emitted inside of comments to avoid forcing your project to use Flow. Flow types inside of comments is perfectly valid Flow, however, some editors and IDEs (like WebStorm/IDEA) do not understand Flow unless it's in plain source code. In order to solve that, there's a language plugin maintained by the community that replicates the functionality of the default builtin plugin, but emits the Flow types as plain source and not inside comments. Installation and usage:
TypeScript: This is a language plugin for the TypeScript language maintained by the community. Install and enable it like so:$ yarn add --dev relay-compiler-language-typescript @types/react-relay @types/relay-runtime$ relay-compiler --language typescript […]
If you are looking to create your own language plugin, refer to the
relay-compiler language plugin interface.
Is this page useful?