-
-Juniper is a GraphQL server library for Rust. Build type-safe and fast API
-servers with minimal boilerplate and configuration.
-GraphQL is a data query language developed by Facebook intended to
-serve mobile and web application frontends.
-Juniper makes it possible to write GraphQL servers in Rust that are
-type-safe and blazingly fast. We also try to make declaring and resolving
-GraphQL schemas as convenient as possible as Rust will allow.
-Juniper does not include a web server - instead it provides building blocks to
-make integration with existing servers straightforward. It optionally provides a
-pre-built integration for the Hyper, Iron, Rocket, and Warp frameworks, including
-embedded Graphiql for easy debugging.
-
-
-Juniper supports the full GraphQL query language according to the
-specification, including interfaces, unions, schema
-introspection, and validations.
-It does not, however, support the schema language.
-As an exception to other GraphQL libraries for other languages, Juniper builds
-non-null types by default. A field of type Vec<Episode> will be converted into
-[Episode!]!. The corresponding Rust type for e.g. [Episode] would be
-Option<Vec<Option<Episode>>>.
-
-
-Juniper has automatic integration with some very common Rust crates to make
-building schemas a breeze. The types from these crates will be usable in
-your Schemas automatically.
-
-
-
-
-Juniper has not reached 1.0 yet, thus some API instability should be expected.
-
-This page will give you a short introduction to the concepts in Juniper.
-Juniper follows a code-first approach to defining GraphQL schemas. If you would like to use a schema-first approach instead, consider juniper-from-schema for generating code from a schema file.
-
-!FILENAME Cargo.toml
-[dependencies]
-juniper = { git = "https://github.com/graphql-rust/juniper" }
-
-
-Exposing simple enums and structs as GraphQL is just a matter of adding a custom
-derive attribute to them. Juniper includes support for basic Rust types that
-naturally map to GraphQL features, such as Option<T>, Vec<T>, Box<T>,
-String, f64, and i32, references, and slices.
-For more advanced mappings, Juniper provides multiple macros to map your Rust
-types to a GraphQL schema. The most important one is the
-graphql_object procedural macro that is used for declaring an object with
-resolvers, which you will use for the Query and Mutation roots.
-#![allow(unused_variables)]
-extern crate juniper;
-use std::fmt::Display;
-use juniper::{
- graphql_object, EmptySubscription, FieldResult, GraphQLEnum,
- GraphQLInputObject, GraphQLObject, ScalarValue,
-};
-
-struct DatabasePool;
-impl DatabasePool {
- fn get_connection(&self) -> FieldResult<DatabasePool> { Ok(DatabasePool) }
- fn find_human(&self, _id: &str) -> FieldResult<Human> { Err("")? }
- fn insert_human(&self, _human: &NewHuman) -> FieldResult<Human> { Err("")? }
-}
-
-#[derive(GraphQLEnum)]
-enum Episode {
- NewHope,
- Empire,
- Jedi,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(description = "A humanoid creature in the Star Wars universe")]
-struct Human {
- id: String,
- name: String,
- appears_in: Vec<Episode>,
- home_planet: String,
-}
-
-// There is also a custom derive for mapping GraphQL input objects.
-
-#[derive(GraphQLInputObject)]
-#[graphql(description = "A humanoid creature in the Star Wars universe")]
-struct NewHuman {
- name: String,
- appears_in: Vec<Episode>,
- home_planet: String,
-}
-
-// Now, we create our root Query and Mutation types with resolvers by using the
-// object macro.
-// Objects can have contexts that allow accessing shared state like a database
-// pool.
-
-struct Context {
- // Use your real database pool here.
- pool: DatabasePool,
-}
-
-// To make our context usable by Juniper, we have to implement a marker trait.
-impl juniper::Context for Context {}
-
-struct Query;
-
-#[graphql_object(
- // Here we specify the context type for the object.
- // We need to do this in every type that
- // needs access to the context.
- context = Context,
-)]
-impl Query {
- fn apiVersion() -> &str {
- "1.0"
- }
-
- // Arguments to resolvers can either be simple types or input objects.
- // To gain access to the context, we specify a argument
- // that is a reference to the Context type.
- // Juniper automatically injects the correct context here.
- fn human(context: &Context, id: String) -> FieldResult<Human> {
- // Get a db connection.
- let connection = context.pool.get_connection()?;
- // Execute a db query.
- // Note the use of `?` to propagate errors.
- let human = connection.find_human(&id)?;
- // Return the result.
- Ok(human)
- }
-}
-
-// Now, we do the same for our Mutation type.
-
-struct Mutation;
-
-#[graphql_object(
- context = Context,
-
- // If we need to use `ScalarValue` parametrization explicitly somewhere
- // in the object definition (like here in `FieldResult`), we should
- // declare an explicit type parameter for that, and specify it.
- scalar = S,
-)]
-impl<S: ScalarValue + Display> Mutation {
- fn createHuman(context: &Context, new_human: NewHuman) -> FieldResult<Human, S> {
- let db = context.pool.get_connection().map_err(|e| e.map_scalar_value())?;
- let human: Human = db.insert_human(&new_human).map_err(|e| e.map_scalar_value())?;
- Ok(human)
- }
-}
-
-// A root schema consists of a query, a mutation, and a subscription.
-// Request queries can be executed against a RootNode.
-type Schema = juniper::RootNode<'static, Query, Mutation, EmptySubscription<Context>>;
-
-fn main() {
- let _ = Schema::new(Query, Mutation{}, EmptySubscription::new());
-}
-
-We now have a very simple but functional schema for a GraphQL server!
-To actually serve the schema, see the guides for our various server integrations.
-Juniper is a library that can be used in many contexts--it does not require a server and it does not have a dependency on a particular transport or serialization format. You can invoke the executor directly to get a result for a query:
-
-You can invoke juniper::execute directly to run a GraphQL query:
-// Only needed due to 2018 edition because the macro is not accessible.
-#[macro_use] extern crate juniper;
-use juniper::{
- graphql_object, EmptyMutation, EmptySubscription, FieldResult,
- GraphQLEnum, Variables,
-};
-
-#[derive(GraphQLEnum, Clone, Copy)]
-enum Episode {
- NewHope,
- Empire,
- Jedi,
-}
-
-// Arbitrary context data.
-struct Ctx(Episode);
-
-impl juniper::Context for Ctx {}
-
-struct Query;
-
-#[graphql_object(context = Ctx)]
-impl Query {
- fn favoriteEpisode(context: &Ctx) -> FieldResult<Episode> {
- Ok(context.0)
- }
-}
-
-// A root schema consists of a query, a mutation, and a subscription.
-// Request queries can be executed against a RootNode.
-type Schema = juniper::RootNode<'static, Query, EmptyMutation<Ctx>, EmptySubscription<Ctx>>;
-
-fn main() {
- // Create a context object.
- let ctx = Ctx(Episode::NewHope);
-
- // Run the executor.
- let (res, _errors) = juniper::execute_sync(
- "query { favoriteEpisode }",
- None,
- &Schema::new(Query, EmptyMutation::new(), EmptySubscription::new()),
- &Variables::new(),
- &ctx,
- ).unwrap();
-
- // Ensure the value matches.
- assert_eq!(
- res,
- graphql_value!({
- "favoriteEpisode": "NEW_HOPE",
- })
- );
-}
-
-
-Most of the work in working with juniper consists of mapping the
-GraphQL type system to the Rust types your application uses.
-Juniper provides some convenient abstractions that try to make this process
-as painless as possible.
-Find out more in the individual chapters below.
-
-
-While any type in Rust can be exposed as a GraphQL object, the most common one
-is a struct.
-There are two ways to create a GraphQL object in Juniper. If you've got a simple
-struct you want to expose, the easiest way is to use the custom derive
-attribute. The other way is described in the Complex fields
-chapter.
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
-}
-
-fn main() {}
-
-This will create a GraphQL object type called Person, with two fields: name
-of type String!, and age of type Int!. Because of Rust's type system,
-everything is exported as non-null by default. If you need a nullable field, you
-can use Option<T>.
-We should take advantage of the
-fact that GraphQL is self-documenting and add descriptions to the type and
-fields. Juniper will automatically use associated doc comments as GraphQL
-descriptions:
-!FILENAME GraphQL descriptions via Rust doc comments
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-/// Information about a person
-struct Person {
- /// The person's full name, including both first and last names
- name: String,
- /// The person's age in years, rounded down
- age: i32,
-}
-
-fn main() {}
-
-Objects and fields without doc comments can instead set a description
-via the graphql attribute. The following example is equivalent to the above:
-!FILENAME GraphQL descriptions via attribute
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-#[graphql(description = "Information about a person")]
-struct Person {
- #[graphql(description = "The person's full name, including both first and last names")]
- name: String,
- #[graphql(description = "The person's age in years, rounded down")]
- age: i32,
-}
-
-fn main() {}
-
-Descriptions set via the graphql attribute take precedence over Rust
-doc comments. This enables internal Rust documentation and external GraphQL
-documentation to differ:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-#[graphql(description = "This description shows up in GraphQL")]
-/// This description shows up in RustDoc
-struct Person {
- #[graphql(description = "This description shows up in GraphQL")]
- /// This description shows up in RustDoc
- name: String,
- /// This description shows up in both RustDoc and GraphQL
- age: i32,
-}
-
-fn main() {}
-
-
-You can only use the custom derive attribute under these circumstances:
-
-- The annotated type is a
struct,
-- Every struct field is either
-
-- A primitive type (
i32, f64, bool, String, juniper::ID), or
-- A valid custom GraphQL type, e.g. another struct marked with this attribute,
-or
-- A container/reference containing any of the above, e.g.
Vec<T>, Box<T>,
-Option<T>
-
-
-
-Let's see what that means for building relationships between objects:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
-}
-
-#[derive(GraphQLObject)]
-struct House {
- address: Option<String>, // Converted into String (nullable)
- inhabitants: Vec<Person>, // Converted into [Person!]!
-}
-
-fn main() {}
-
-Because Person is a valid GraphQL type, you can have a Vec<Person> in a
-struct and it'll be automatically converted into a list of non-nullable Person
-objects.
-
-By default, struct fields are converted from Rust's standard snake_case naming
-convention into GraphQL's camelCase convention:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- first_name: String, // Would be exposed as firstName in the GraphQL schema
- last_name: String, // Exposed as lastName
-}
-
-fn main() {}
-
-You can override the name by using the graphql attribute on individual struct
-fields:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
- #[graphql(name = "websiteURL")]
- website_url: Option<String>, // Now exposed as websiteURL in the schema
-}
-
-fn main() {}
-
-
-To deprecate a field, you specify a deprecation reason using the graphql
-attribute:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
- #[graphql(deprecated = "Please use the name field instead")]
- first_name: String,
-}
-
-fn main() {}
-
-The name, description, and deprecation arguments can of course be
-combined. Some restrictions from the GraphQL spec still applies though; you can
-only deprecate object fields and enum values.
-
-By default all fields in a GraphQLObject are included in the generated GraphQL type. To prevent including a specific field, annotate the field with #[graphql(skip)]:
-extern crate juniper;
-use juniper::GraphQLObject;
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
- #[graphql(skip)]
- #[allow(dead_code)]
- password_hash: String, // This cannot be queried or modified from GraphQL
-}
-
-fn main() {}
-
-
-If you've got a struct that can't be mapped directly to GraphQL, that contains
-computed fields or circular structures, you have to use a more powerful tool:
-the #[graphql_object] procedural macro. This macro lets you define GraphQL object
-fields in a Rust impl block for a type. Note that only GraphQL fields
-can be specified in this impl block. If you want to define normal methods on the struct,
-you have to do so in a separate, normal impl block. Continuing with the
-example from the last chapter, this is how you would define Person using the
-macro:
-#![allow(dead_code)]
-extern crate juniper;
-use juniper::graphql_object;
-
-struct Person {
- name: String,
- age: i32,
-}
-
-#[graphql_object]
-impl Person {
- fn name(&self) -> &str {
- self.name.as_str()
- }
-
- fn age(&self) -> i32 {
- self.age
- }
-}
-
-// Note that this syntax generates an implementation of the GraphQLType trait,
-// the base impl of your struct can still be written like usual:
-impl Person {
- pub fn hidden_from_graphql(&self) {
- // [...]
- }
-}
-
-fn main() { }
-
-While this is a bit more verbose, it lets you write any kind of function in the
-field resolver. With this syntax, fields can also take arguments:
-extern crate juniper;
-use juniper::{graphql_object, GraphQLObject};
-
-#[derive(GraphQLObject)]
-struct Person {
- name: String,
- age: i32,
-}
-
-struct House {
- inhabitants: Vec<Person>,
-}
-
-#[graphql_object]
-impl House {
- // Creates the field inhabitantWithName(name), returning a nullable person
- fn inhabitant_with_name(&self, name: String) -> Option<&Person> {
- self.inhabitants.iter().find(|p| p.name == name)
- }
-}
-
-fn main() {}
-
-To access global data such as database connections or authentication
-information, a context is used. To learn more about this, see the next
-chapter: Using contexts.
-
-Like with the derive attribute, field names will be converted from snake_case
-to camelCase. If you need to override the conversion, you can simply rename
-the field. Also, the type name can be changed with an alias:
-extern crate juniper;
-use juniper::graphql_object;
-
-struct Person;
-
-/// Doc comments are used as descriptions for GraphQL.
-#[graphql_object(
- // With this attribute you can change the public GraphQL name of the type.
- name = "PersonObject",
-
- // You can also specify a description here, which will overwrite
- // a doc comment description.
- description = "...",
-)]
-impl Person {
- /// A doc comment on the field will also be used for GraphQL.
- #[graphql(
- // Or provide a description here.
- description = "...",
- )]
- fn doc_comment(&self) -> &str {
- ""
- }
-
- // Fields can also be renamed if required.
- #[graphql(name = "myCustomFieldName")]
- fn renamed_field() -> bool {
- true
- }
-
- // Deprecations also work as you'd expect.
- // Both the standard Rust syntax and a custom attribute is accepted.
- #[deprecated(note = "...")]
- fn deprecated_standard() -> bool {
- false
- }
-
- #[graphql(deprecated = "...")]
- fn deprecated_graphql() -> bool {
- true
- }
-}
-
-fn main() { }
-
-
-Method field arguments can also be customized.
-They can have custom descriptions and default values.
-Note: The syntax for this is currently a little awkward.
-This will become better once the Rust RFC 2565 is implemented.
-extern crate juniper;
-use juniper::graphql_object;
-
-struct Person {}
-
-#[graphql_object]
-impl Person {
- #[graphql(
- arguments(
- arg1(
- // Set a default value which will be injected if not present.
- // The default can be any valid Rust expression, including a function call, etc.
- default = true,
- // Set a description.
- description = "The first argument..."
- ),
- arg2(
- default = 0,
- )
- )
- )]
- fn field1(&self, arg1: bool, arg2: i32) -> String {
- format!("{} {}", arg1, arg2)
- }
-}
-
-fn main() { }
-
-
-GraphQL fields expose more features than Rust's standard method syntax gives us:
-
-- Per-field description and deprecation messages
-- Per-argument default values
-- Per-argument descriptions
-
-These, and more features, are described more thoroughly in the reference
-documentation.
-
-The context type is a feature in Juniper that lets field resolvers access global
-data, most commonly database connections or authentication information. The
-context is usually created from a context factory. How this is defined is
-specific to the framework integration you're using, so check out the
-documentation for either the Iron or Rocket
-integration.
-In this chapter, we'll show you how to define a context type and use it in field
-resolvers. Let's say that we have a simple user database in a HashMap:
-#![allow(dead_code)]
-use std::collections::HashMap;
-
-struct Database {
- users: HashMap<i32, User>,
-}
-
-struct User {
- id: i32,
- name: String,
- friend_ids: Vec<i32>,
-}
-
-fn main() { }
-
-We would like a friends field on User that returns a list of User objects.
-In order to write such a field though, the database must be queried.
-To solve this, we mark the Database as a valid context type and assign it to
-the user object.
-To gain access to the context, we need to specify an argument with the same
-type as the specified Context for the type:
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::graphql_object;
-
-// This struct represents our context.
-struct Database {
- users: HashMap<i32, User>,
-}
-
-// Mark the Database as a valid context type for Juniper
-impl juniper::Context for Database {}
-
-struct User {
- id: i32,
- name: String,
- friend_ids: Vec<i32>,
-}
-
-// Assign Database as the context type for User
-#[graphql_object(context = Database)]
-impl User {
- // 3. Inject the context by specifying an argument
- // with the context type.
- // Note:
- // - the type must be a reference
- // - the name of the argument SHOULD be context
- fn friends(&self, context: &Database) -> Vec<&User> {
-
- // 5. Use the database to lookup users
- self.friend_ids.iter()
- .map(|id| context.users.get(id).expect("Could not find user with ID"))
- .collect()
- }
-
- fn name(&self) -> &str {
- self.name.as_str()
- }
-
- fn id(&self) -> i32 {
- self.id
- }
-}
-
-fn main() { }
-
-You only get an immutable reference to the context, so if you want to affect
-change to the execution, you'll need to use interior
-mutability
-using e.g. RwLock or RefCell.
-
-Error handling in GraphQL can be done in multiple ways. In the
-following two different error handling models are discussed: field
-results and GraphQL schema backed errors. Each approach has its
-advantages. Choosing the right error handling method depends on the
-requirements of the application--investigating both approaches is
-beneficial.
-
-Rust
-provides
-two ways of dealing with errors: Result<T, E> for recoverable errors and
-panic! for unrecoverable errors. Juniper does not do anything about panicking;
-it will bubble up to the surrounding framework and hopefully be dealt with
-there.
-For recoverable errors, Juniper works well with the built-in Result type, you
-can use the ? operator or the try! macro and things will generally just work
-as you expect them to:
-extern crate juniper;
-use std::{
- str,
- path::PathBuf,
- fs::{File},
- io::{Read},
-};
-use juniper::{graphql_object, FieldResult};
-
-struct Example {
- filename: PathBuf,
-}
-
-#[graphql_object]
-impl Example {
- fn contents() -> FieldResult<String> {
- let mut file = File::open(&self.filename)?;
- let mut contents = String::new();
- file.read_to_string(&mut contents)?;
- Ok(contents)
- }
-
- fn foo() -> FieldResult<Option<String>> {
- // Some invalid bytes.
- let invalid = vec![128, 223];
-
- match str::from_utf8(&invalid) {
- Ok(s) => Ok(Some(s.to_string())),
- Err(e) => Err(e)?,
- }
- }
-}
-
-fn main() {}
-
-FieldResult<T> is an alias for Result<T, FieldError>, which is the error
-type all fields must return. By using the ? operator or try! macro, any type
-that implements the Display trait - which are most of the error types out
-there - those errors are automatically converted into FieldError.
-
-Juniper's error behavior conforms to the GraphQL specification.
-When a field returns an error, the field's result is replaced by null, an
-additional errors object is created at the top level of the response, and the
-execution is resumed. For example, with the previous example and the following
-query:
-{
- example {
- contents
- foo
- }
-}
-
-If str::from_utf8 resulted in a std::str::Utf8Error, the following would be
-returned:
-!FILENAME Response for nullable field with error
-{
- "data": {
- "example": {
- contents: "<Contents of the file>",
- foo: null,
- }
- },
- "errors": [
- "message": "invalid utf-8 sequence of 2 bytes from index 0",
- "locations": [{ "line": 2, "column": 4 }])
- ]
-}
-
-If an error is returned from a non-null field, such as the
-example above, the null value is propagated up to the first nullable parent
-field, or the root data object if there are no nullable fields.
-For example, with the following query:
-{
- example {
- contents
- }
-}
-
-If File::open() above resulted in std::io::ErrorKind::PermissionDenied, the
-following would be returned:
-!FILENAME Response for non-null field with error and no nullable parent
-{
- "errors": [
- "message": "Permission denied (os error 13)",
- "locations": [{ "line": 2, "column": 4 }])
- ]
-}
-
-
-Sometimes it is desirable to return additional structured error information
-to clients. This can be accomplished by implementing IntoFieldError:
-#[macro_use] extern crate juniper;
-use juniper::{graphql_object, FieldError, IntoFieldError, ScalarValue};
-
-enum CustomError {
- WhateverNotSet,
-}
-
-impl<S: ScalarValue> IntoFieldError<S> for CustomError {
- fn into_field_error(self) -> FieldError<S> {
- match self {
- CustomError::WhateverNotSet => FieldError::new(
- "Whatever does not exist",
- graphql_value!({
- "type": "NO_WHATEVER"
- }),
- ),
- }
- }
-}
-
-struct Example {
- whatever: Option<bool>,
-}
-
-#[graphql_object]
-impl Example {
- fn whatever() -> Result<bool, CustomError> {
- if let Some(value) = self.whatever {
- return Ok(value);
- }
- Err(CustomError::WhateverNotSet)
- }
-}
-
-fn main() {}
-
-The specified structured error information is included in the extensions key:
-{
- "errors": [{
- "message": "Whatever does not exist",
- "locations": [{"line": 2, "column": 4}],
- "extensions": {
- "type": "NO_WHATEVER"
- }
- }]
-}
-
-
-Rust's model of errors can be adapted for GraphQL. Rust's panic is
-similar to a FieldError--the whole query is aborted and nothing can
-be extracted (except for error related information).
-Not all errors require this strict handling. Recoverable or partial errors can be put
-into the GraphQL schema so the client can intelligently handle them.
-To implement this approach, all errors must be partitioned into two error classes:
-
-- Critical errors that cannot be fixed by the user (e.g. a database error).
-- Recoverable errors that can be fixed by the user (e.g. invalid input data).
-
-Critical errors are returned from resolvers as FieldErrors (from the previous section). Non-critical errors are part of the GraphQL schema and can be handled gracefully by clients. Similar to Rust, GraphQL allows similar error models with unions (see Unions).
-
-In this example, basic input validation is implemented with GraphQL
-types. Strings are used to identify the problematic field name. Errors
-for a particular field are also returned as a string. In this example
-the string contains a server-side localized error message. However, it is also
-possible to return a unique string identifier and have the client present a localized string to the user.
-extern crate juniper;
-use juniper::{graphql_object, GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-pub struct Item {
- name: String,
- quantity: i32,
-}
-
-#[derive(GraphQLObject)]
-pub struct ValidationError {
- field: String,
- message: String,
-}
-
-#[derive(GraphQLObject)]
-pub struct ValidationErrors {
- errors: Vec<ValidationError>,
-}
-
-#[derive(GraphQLUnion)]
-pub enum GraphQLResult {
- Ok(Item),
- Err(ValidationErrors),
-}
-
-pub struct Mutation;
-
-#[graphql_object]
-impl Mutation {
- fn addItem(&self, name: String, quantity: i32) -> GraphQLResult {
- let mut errors = Vec::new();
-
- if !(10 <= name.len() && name.len() <= 100) {
- errors.push(ValidationError {
- field: "name".to_string(),
- message: "between 10 and 100".to_string()
- });
- }
-
- if !(1 <= quantity && quantity <= 10) {
- errors.push(ValidationError {
- field: "quantity".to_string(),
- message: "between 1 and 10".to_string()
- });
- }
-
- if errors.is_empty() {
- GraphQLResult::Ok(Item { name, quantity })
- } else {
- GraphQLResult::Err(ValidationErrors { errors })
- }
- }
-}
-
-fn main() {}
-
-Each function may have a different return type and depending on the input
-parameters a new result type is required. For example, adding a user
-requires a new result type which contains the variant Ok(User)
-instead of Ok(Item).
-The client can send a mutation request and handle the
-resulting errors as shown in the following example:
-{
- mutation {
- addItem(name: "", quantity: 0) {
- ... on Item {
- name
- }
- ... on ValidationErrors {
- errors {
- field
- message
- }
- }
- }
- }
-}
-
-A useful side effect of this approach is to have partially successful
-queries or mutations. If one resolver fails, the results of the
-successful resolvers are not discarded.
-
-Instead of using strings to propagate errors, it is possible to use
-GraphQL's type system to describe the errors more precisely.
-For each fallible input variable a field in a GraphQL object is created. The
-field is set if the validation for that particular field fails. You will likely want some kind of code generation to reduce repetition as the number of types required is significantly larger than
-before. Each resolver function has a custom ValidationResult which
-contains only fields provided by the function.
-extern crate juniper;
-use juniper::{graphql_object, GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-pub struct Item {
- name: String,
- quantity: i32,
-}
-
-#[derive(GraphQLObject)]
-pub struct ValidationError {
- name: Option<String>,
- quantity: Option<String>,
-}
-
-#[derive(GraphQLUnion)]
-pub enum GraphQLResult {
- Ok(Item),
- Err(ValidationError),
-}
-
-pub struct Mutation;
-
-#[graphql_object]
-impl Mutation {
- fn addItem(&self, name: String, quantity: i32) -> GraphQLResult {
- let mut error = ValidationError {
- name: None,
- quantity: None,
- };
-
- if !(10 <= name.len() && name.len() <= 100) {
- error.name = Some("between 10 and 100".to_string());
- }
-
- if !(1 <= quantity && quantity <= 10) {
- error.quantity = Some("between 1 and 10".to_string());
- }
-
- if error.name.is_none() && error.quantity.is_none() {
- GraphQLResult::Ok(Item { name, quantity })
- } else {
- GraphQLResult::Err(error)
- }
- }
-}
-
-fn main() {}
-
-{
- mutation {
- addItem {
- ... on Item {
- name
- }
- ... on ValidationErrorsItem {
- name
- quantity
- }
- }
- }
-}
-
-Expected errors are handled directly inside the query. Additionally, all
-non-critical errors are known in advance by both the server and the client.
-
-Our examples so far have only included non-critical errors. Providing
-errors inside the GraphQL schema still allows you to return unexpected critical
-errors when they occur.
-In the following example, a theoretical database could fail
-and would generate errors. Since it is not common for the database to
-fail, the corresponding error is returned as a critical error:
-extern crate juniper;
-
-use juniper::{graphql_object, graphql_value, FieldError, GraphQLObject, GraphQLUnion, ScalarValue};
-
-#[derive(GraphQLObject)]
-pub struct Item {
- name: String,
- quantity: i32,
-}
-
-#[derive(GraphQLObject)]
-pub struct ValidationErrorItem {
- name: Option<String>,
- quantity: Option<String>,
-}
-
-#[derive(GraphQLUnion)]
-pub enum GraphQLResult {
- Ok(Item),
- Err(ValidationErrorItem),
-}
-
-pub enum ApiError {
- Database,
-}
-
-impl<S: ScalarValue> juniper::IntoFieldError<S> for ApiError {
- fn into_field_error(self) -> FieldError<S> {
- match self {
- ApiError::Database => FieldError::new(
- "Internal database error",
- graphql_value!({
- "type": "DATABASE"
- }),
- ),
- }
- }
-}
-
-pub struct Mutation;
-
-#[graphql_object]
-impl Mutation {
- fn addItem(&self, name: String, quantity: i32) -> Result<GraphQLResult, ApiError> {
- let mut error = ValidationErrorItem {
- name: None,
- quantity: None,
- };
-
- if !(10 <= name.len() && name.len() <= 100) {
- error.name = Some("between 10 and 100".to_string());
- }
-
- if !(1 <= quantity && quantity <= 10) {
- error.quantity = Some("between 1 and 10".to_string());
- }
-
- if error.name.is_none() && error.quantity.is_none() {
- Ok(GraphQLResult::Ok(Item { name, quantity }))
- } else {
- Ok(GraphQLResult::Err(error))
- }
- }
-}
-
-fn main() {}
-
-
-The Shopify API
-implements a similar approach. Their API is a good reference to
-explore this approach in a real world application.
-
-The first approach discussed above--where every error is a critical error defined by FieldResult --is easier to implement. However, the client does not know what errors may occur and must instead infer what happened from the error string. This is brittle and could change over time due to either the client or server changing. Therefore, extensive integration testing between the client and server is required to maintain the implicit contract between the two.
-Encoding non-critical errors in the GraphQL schema makes the contract between the client and the server explicit. This allows the client to understand and handle these errors correctly and the server to know when changes are potentially breaking clients. However, encoding this error information into the GraphQL schema requires additional code and up-front definition of non-critical errors.
-
-The GraphQL type system provides several types in additon to objects.
-Find out more about each type below:
-
-
-Enums in GraphQL are string constants grouped together to represent a set of
-possible values. Simple Rust enums can be converted to GraphQL enums by using a
-custom derive attribute:
-extern crate juniper;
-#[derive(juniper::GraphQLEnum)]
-enum Episode {
- NewHope,
- Empire,
- Jedi,
-}
-
-fn main() {}
-
-Juniper converts all enum variants to uppercase, so the corresponding string
-values for these variants are NEWHOPE, EMPIRE, and JEDI, respectively. If
-you want to override this, you can use the graphql attribute, similar to how
-it works when defining objects:
-extern crate juniper;
-#[derive(juniper::GraphQLEnum)]
-enum Episode {
- #[graphql(name="NEW_HOPE")]
- NewHope,
- Empire,
- Jedi,
-}
-
-fn main() {}
-
-
-Just like when defining objects, the type itself can be renamed and documented,
-while individual enum variants can be renamed, documented, and deprecated:
-extern crate juniper;
-#[derive(juniper::GraphQLEnum)]
-#[graphql(name="Episode", description="An episode of Star Wars")]
-enum StarWarsEpisode {
- #[graphql(deprecated="We don't really talk about this one")]
- ThePhantomMenace,
-
- #[graphql(name="NEW_HOPE")]
- NewHope,
-
- #[graphql(description="Arguably the best one in the trilogy")]
- Empire,
- Jedi,
-}
-
-fn main() {}
-
-
-| Name of Attribute | Container Support | Field Support |
|---|
-| context | ✔ | ? |
-| deprecated | ✔ | ✔ |
-| description | ✔ | ✔ |
-| interfaces | ? | ✘ |
-| name | ✔ | ✔ |
-| noasync | ✔ | ? |
-| scalar | ✘ | ? |
-| skip | ? | ✘ |
-| ✔: supported | ✘: not supported | ?: not available |
-
-
-GraphQL interfaces map well to interfaces known from common object-oriented languages such as Java or C#, but Rust, unfortunately, has no concept that maps perfectly to them. The nearest analogue of GraphQL interfaces are Rust traits, and the main difference is that in GraphQL an interface type serves both as an abstraction and a boxed value (downcastable to concrete implementers), while in Rust, a trait is an abstraction only and to represent such a boxed value a separate type is required, like enum or trait object, because Rust trait doesn't represent a type itself, and so can have no values. This difference imposes some unintuitive and non-obvious corner cases when we try to express GraphQL interfaces in Rust, but on the other hand gives you full control over which type is backing your interface, and how it's resolved.
-For implementing GraphQL interfaces Juniper provides the #[graphql_interface] macro.
-
-Defining a trait is mandatory for defining a GraphQL interface, because this is the obvious way we describe an abstraction in Rust. All interface fields are defined as computed ones via trait methods.
-extern crate juniper;
-use juniper::graphql_interface;
-
-#[graphql_interface]
-trait Character {
- fn id(&self) -> &str;
-}
-
-fn main() {}
-
-However, to return values of such interface, we should provide its implementers and the Rust type representing a boxed value of this trait. The last one can be represented in two flavors: enum and trait object.
-
-By default, Juniper generates an enum representing the values of the defined GraphQL interface, and names it straightforwardly, {Interface}Value.
-extern crate juniper;
-use juniper::{graphql_interface, GraphQLObject};
-
-#[graphql_interface(for = [Human, Droid])] // enumerating all implementers is mandatory
-trait Character {
- fn id(&self) -> &str;
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue)] // notice enum name, NOT trait name
-struct Human {
- id: String,
-}
-#[graphql_interface] // implementing requires macro attribute too, (°ｏ°)!
-impl Character for Human {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue)]
-struct Droid {
- id: String,
-}
-#[graphql_interface]
-impl Character for Droid {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-fn main() {
-let human = Human { id: "human-32".to_owned() };
-// Values type for interface has `From` implementations for all its implementers,
-// so we don't need to bother with enum variant names.
-let character: CharacterValue = human.into();
-assert_eq!(character.id(), "human-32");
-}
-
-Also, enum name can be specified explicitly, if desired.
-extern crate juniper;
-use juniper::{graphql_interface, GraphQLObject};
-
-#[graphql_interface(enum = CharaterInterface, for = Human)]
-trait Character {
- fn id(&self) -> &str;
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharaterInterface)]
-struct Human {
- id: String,
- home_planet: String,
-}
-#[graphql_interface]
-impl Character for Human {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-fn main() {}
-
-
-If, for some reason, we would like to use trait objects for representing interface values incorporating dynamic dispatch, then it should be specified explicitly in the trait definition.
-Downcasting trait objects in Rust is not that trivial, that's why macro transforms the trait definition slightly, imposing some additional type parameters under-the-hood.
-
-NOTICE:
-A trait has to be object safe, because schema resolvers will need to return a trait object to specify a GraphQL interface behind it.
-
-extern crate juniper;
-extern crate tokio;
-use juniper::{graphql_interface, GraphQLObject};
-
-// `dyn` argument accepts the name of type alias for the required trait object,
-// and macro generates this alias automatically.
-#[graphql_interface(dyn = DynCharacter, for = Human)]
-trait Character {
- async fn id(&self) -> &str; // async fields are supported natively
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = DynCharacter<__S>)] // macro adds `ScalarValue` type parameter to trait,
-struct Human { // so it may be specified explicitly when required
- id: String,
-}
-#[graphql_interface(dyn)] // implementing requires to know about dynamic dispatch too
-impl Character for Human {
- async fn id(&self) -> &str {
- &self.id
- }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = DynCharacter<__S>)]
-struct Droid {
- id: String,
-}
-#[graphql_interface]
-impl Character for Droid {
- async fn id(&self) -> &str {
- &self.id
- }
-}
-
-#[tokio::main]
-async fn main() {
-let human = Human { id: "human-32".to_owned() };
-let character: Box<DynCharacter> = Box::new(human);
-assert_eq!(character.id().await, "human-32");
-}
-
-
-We may want to omit some trait methods to be assumed as GraphQL interface fields and ignore them.
-extern crate juniper;
-use juniper::{graphql_interface, GraphQLObject};
-
-#[graphql_interface(for = Human)]
-trait Character {
- fn id(&self) -> &str;
-
- #[graphql(ignore)] // or `#[graphql(skip)]`, your choice
- fn ignored(&self) -> u32 { 0 }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue)]
-struct Human {
- id: String,
-}
-#[graphql_interface]
-impl Character for Human {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-fn main() {}
-
-
-Similarly to GraphQL objects Juniper allows to fully customize interface fields and their arguments.
-#![allow(deprecated)]
-extern crate juniper;
-use juniper::graphql_interface;
-
-// Renames the interface in GraphQL schema.
-#[graphql_interface(name = "MyCharacter")]
-// Describes the interface in GraphQL schema.
-#[graphql_interface(description = "My own character.")]
-// Usual Rust docs are supported too as GraphQL interface description,
-// but `description` attribute argument takes precedence over them, if specified.
-/// This doc is absent in GraphQL schema.
-trait Character {
- // Renames the field in GraphQL schema.
- #[graphql(name = "myId")]
- // Deprecates the field in GraphQL schema.
- // Usual Rust `#[deprecated]` attribute is supported too as field deprecation,
- // but `deprecated` attribute argument takes precedence over it, if specified.
- #[graphql(deprecated = "Do not use it.")]
- // Describes the field in GraphQL schema.
- #[graphql(description = "ID of my own character.")]
- // Usual Rust docs are supported too as field description,
- // but `description` attribute argument takes precedence over them, if specified.
- /// This description is absent in GraphQL schema.
- fn id(
- &self,
- // Renames the argument in GraphQL schema.
- #[graphql(name = "myNum")]
- // Describes the argument in GraphQL schema.
- #[graphql(description = "ID number of my own character.")]
- // Specifies the default value for the argument.
- // The concrete value may be omitted, and the `Default::default` one
- // will be used in such case.
- #[graphql(default = 5)]
- num: i32,
- ) -> &str;
-}
-
-fn main() {}
-
-
-If a Context is required in a trait method to resolve a GraphQL interface field, specify it as an argument.
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::{graphql_interface, GraphQLObject};
-
-struct Database {
- humans: HashMap<String, Human>,
-}
-impl juniper::Context for Database {}
-
-#[graphql_interface(for = Human)] // look, ma, context type is inferred! ＼(^o^)／
-trait Character { // while still can be specified via `Context = ...` attribute argument
- // If a field argument is named `context` or `ctx`, it's automatically assumed
- // as a context argument.
- fn id(&self, context: &Database) -> Option<&str>;
-
- // Otherwise, you may mark it explicitly as a context argument.
- fn name(&self, #[graphql(context)] db: &Database) -> Option<&str>;
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue, Context = Database)]
-struct Human {
- id: String,
- name: String,
-}
-#[graphql_interface]
-impl Character for Human {
- fn id(&self, db: &Database) -> Option<&str> {
- if db.humans.contains_key(&self.id) {
- Some(&self.id)
- } else {
- None
- }
- }
-
- fn name(&self, db: &Database) -> Option<&str> {
- if db.humans.contains_key(&self.id) {
- Some(&self.name)
- } else {
- None
- }
- }
-}
-
-fn main() {}
-
-
-If an Executor is required in a trait method to resolve a GraphQL interface field, specify it as an argument.
-This requires to explicitly parametrize over ScalarValue, as Executor does so.
-extern crate juniper;
-use juniper::{graphql_interface, Executor, GraphQLObject, LookAheadMethods as _, ScalarValue};
-
-#[graphql_interface(for = Human, Scalar = S)] // notice specifying `ScalarValue` as existing type parameter
-trait Character<S: ScalarValue> {
- // If a field argument is named `executor`, it's automatically assumed
- // as an executor argument.
- async fn id<'a>(&self, executor: &'a Executor<'_, '_, (), S>) -> &'a str
- where
- S: Send + Sync; // required by `#[async_trait]` transformation ¯\_(ツ)_/¯
-
- // Otherwise, you may mark it explicitly as an executor argument.
- async fn name<'b>(
- &'b self,
- #[graphql(executor)] another: &Executor<'_, '_, (), S>,
- ) -> &'b str
- where
- S: Send + Sync;
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue<__S>)]
-struct Human {
- id: String,
- name: String,
-}
-#[graphql_interface(scalar = S)]
-impl<S: ScalarValue> Character<S> for Human {
- async fn id<'a>(&self, executor: &'a Executor<'_, '_, (), S>) -> &'a str
- where
- S: Send + Sync,
- {
- executor.look_ahead().field_name()
- }
-
- async fn name<'b>(&'b self, _: &Executor<'_, '_, (), S>) -> &'b str
- where
- S: Send + Sync,
- {
- &self.name
- }
-}
-
-fn main() {}
-
-
-By default, the GraphQL interface value is downcast to one of its implementer types via matching the enum variant or downcasting the trait object (if dyn macro argument is used).
-However, if some custom logic is needed to downcast a GraphQL interface implementer, you may specify either an external function or a trait method to do so.
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::{graphql_interface, GraphQLObject};
-
-struct Database {
- droids: HashMap<String, Droid>,
-}
-impl juniper::Context for Database {}
-
-#[graphql_interface(for = [Human, Droid], context = Database)]
-#[graphql_interface(on Droid = get_droid)] // enables downcasting `Droid` via `get_droid()` function
-trait Character {
- fn id(&self) -> &str;
-
- #[graphql(downcast)] // makes method a downcast to `Human`, not a field
- // NOTICE: The method signature may optionally contain `&Database` context argument.
- fn as_human(&self) -> Option<&Human> {
- None
- }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue, Context = Database)]
-struct Human {
- id: String,
-}
-#[graphql_interface]
-impl Character for Human {
- fn id(&self) -> &str {
- &self.id
- }
-
- fn as_human(&self) -> Option<&Self> {
- Some(self)
- }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue, Context = Database)]
-struct Droid {
- id: String,
-}
-#[graphql_interface]
-impl Character for Droid {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-// External downcast function doesn't have to be a method of a type.
-// It's only a matter of the function signature to match the requirements.
-fn get_droid<'db>(ch: &CharacterValue, db: &'db Database) -> Option<&'db Droid> {
- db.droids.get(ch.id())
-}
-
-fn main() {}
-
-The attribute syntax #[graphql_interface(on ImplementerType = resolver_fn)] follows the GraphQL syntax for downcasting interface implementer.
-
-By default, #[graphql_interface] macro generates code, which is generic over a ScalarValue type. This may introduce a problem when at least one of GraphQL interface implementers is restricted to a concrete ScalarValue type in its implementation. To resolve such problem, a concrete ScalarValue type should be specified.
-extern crate juniper;
-use juniper::{graphql_interface, DefaultScalarValue, GraphQLObject};
-
-#[graphql_interface(for = [Human, Droid])]
-#[graphql_interface(scalar = DefaultScalarValue)] // removing this line will fail compilation
-trait Character {
- fn id(&self) -> &str;
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue, Scalar = DefaultScalarValue)]
-struct Human {
- id: String,
- home_planet: String,
-}
-#[graphql_interface(scalar = DefaultScalarValue)]
-impl Character for Human {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-#[derive(GraphQLObject)]
-#[graphql(impl = CharacterValue, Scalar = DefaultScalarValue)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-#[graphql_interface(scalar = DefaultScalarValue)]
-impl Character for Droid {
- fn id(&self) -> &str {
- &self.id
- }
-}
-
-fn main() {}
-
-
-Input objects are complex data structures that can be used as arguments to
-GraphQL fields. In Juniper, you can define input objects using a custom derive
-attribute, similar to simple objects and enums:
-#![allow(unused_variables)]
-extern crate juniper;
-#[derive(juniper::GraphQLInputObject)]
-struct Coordinate {
- latitude: f64,
- longitude: f64
-}
-
-struct Root;
-#[derive(juniper::GraphQLObject)] struct User { name: String }
-
-#[juniper::graphql_object]
-impl Root {
- fn users_at_location(coordinate: Coordinate, radius: f64) -> Vec<User> {
- // Send coordinate to database
- // ...
-unimplemented!()
- }
-}
-
-fn main() {}
-
-
-Just like the other derives, you can rename
-and add documentation to both the type and the fields:
-#![allow(unused_variables)]
-extern crate juniper;
-#[derive(juniper::GraphQLInputObject)]
-#[graphql(name="Coordinate", description="A position on the globe")]
-struct WorldCoordinate {
- #[graphql(name="lat", description="The latitude")]
- latitude: f64,
-
- #[graphql(name="long", description="The longitude")]
- longitude: f64
-}
-
-struct Root;
-#[derive(juniper::GraphQLObject)] struct User { name: String }
-
-#[juniper::graphql_object]
-impl Root {
- fn users_at_location(coordinate: WorldCoordinate, radius: f64) -> Vec<User> {
- // Send coordinate to database
- // ...
-unimplemented!()
- }
-}
-
-fn main() {}
-
-
-Scalars are the primitive types at the leaves of a GraphQL query: numbers,
-strings, and booleans. You can create custom scalars to other primitive values,
-but this often requires coordination with the client library intended to consume
-the API you're building.
-Since any value going over the wire is eventually transformed into JSON, you're
-also limited in the data types you can use.
-There are two ways to define custom scalars.
-
-- For simple scalars that just wrap a primitive type, you can use the newtype pattern with
-a custom derive.
-- For more advanced use cases with custom validation, you can use
-the
graphql_scalar proc macro.
-
-
-Juniper has built-in support for:
-
-i32 as Intf64 as FloatString and &str as Stringbool as Booleanjuniper::ID as ID. This type is defined in the
-spec as a type that is serialized
-as a string but can be parsed from both a string and an integer.
-Note that there is no built-in support for i64/u64, as the GraphQL spec doesn't define any built-in scalars for i64/u64 by default. You may wish to leverage a custom GraphQL scalar in your schema to support them.
-Third party types:
-Juniper has built-in support for a few additional types from common third party
-crates. They are enabled via features that are on by default.
-
-- uuid::Uuid
-- chrono::DateTime
-- url::Url
-- bson::oid::ObjectId
-
-
-Often, you might need a custom scalar that just wraps an existing type.
-This can be done with the newtype pattern and a custom derive, similar to how
-serde supports this pattern with #[serde(transparent)].
-extern crate juniper;
-#[derive(juniper::GraphQLScalarValue)]
-pub struct UserId(i32);
-
-#[derive(juniper::GraphQLObject)]
-struct User {
- id: UserId,
-}
-
-fn main() {}
-
-That's it, you can now user UserId in your schema.
-The macro also allows for more customization:
-extern crate juniper;
-/// You can use a doc comment to specify a description.
-#[derive(juniper::GraphQLScalarValue)]
-#[graphql(
- transparent,
- // Overwrite the GraphQL type name.
- name = "MyUserId",
- // Specify a custom description.
- // A description in the attribute will overwrite a doc comment.
- description = "My user id description",
-)]
-pub struct UserId(i32);
-
-fn main() {}
-
-
-For more complex situations where you also need custom parsing or validation,
-you can use the graphql_scalar proc macro.
-Typically, you represent your custom scalars as strings.
-The example below implements a custom scalar for a custom Date type.
-Note: juniper already has built-in support for the chrono::DateTime type
-via chrono feature, which is enabled by default and should be used for this
-purpose.
-The example below is used just for illustration.
-Note: the example assumes that the Date type implements
-std::fmt::Display and std::str::FromStr.
-extern crate juniper;
-mod date {
- pub struct Date;
- impl std::str::FromStr for Date{
- type Err = String; fn from_str(_value: &str) -> Result<Self, Self::Err> { unimplemented!() }
- }
- // And we define how to represent date as a string.
- impl std::fmt::Display for Date {
- fn fmt(&self, _f: &mut std::fmt::Formatter) -> std::fmt::Result {
- unimplemented!()
- }
- }
-}
-
-use juniper::{Value, ParseScalarResult, ParseScalarValue};
-use date::Date;
-
-#[juniper::graphql_scalar(description = "Date")]
-impl<S> GraphQLScalar for Date
-where
- S: ScalarValue
-{
- // Define how to convert your custom scalar into a primitive type.
- fn resolve(&self) -> Value {
- Value::scalar(self.to_string())
- }
-
- // Define how to parse a primitive type into your custom scalar.
- fn from_input_value(v: &InputValue) -> Option<Date> {
- v.as_scalar_value()
- .and_then(|v| v.as_str())
- .and_then(|s| s.parse().ok())
- }
-
- // Define how to parse a string value.
- fn from_str<'a>(value: ScalarToken<'a>) -> ParseScalarResult<'a, S> {
- <String as ParseScalarValue<S>>::from_str(value)
- }
-}
-
-fn main() {}
-
-
-From the server's point of view, GraphQL unions are somewhat similar to interfaces - the main difference is that they don't contain fields on their own.
-The most obvious and straightforward way to represent a GraphQL union in Rust is enum. However, we also can do so either with trait or a regular struct. That's why, for implementing GraphQL unions Juniper provides:
-
-#[derive(GraphQLUnion)] macro for enums and structs.#[graphql_union] for traits.
-
-Most of the time, we just need a trivial and straightforward Rust enum to represent a GraphQL union.
-extern crate juniper;
-extern crate derive_more;
-use derive_more::From;
-use juniper::{GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[derive(From, GraphQLUnion)]
-enum Character {
- Human(Human),
- Droid(Droid),
-}
-
-fn main() {}
-
-
-In some rare situations we may want to omit exposing an enum variant in the GraphQL schema.
-As an example, let's consider the situation where we need to bind some type parameter T for doing interesting type-level stuff in our resolvers. To achieve this we need to have PhantomData<T>, but we don't want it exposed in the GraphQL schema.
-
-WARNING:
-It's the library user's responsibility to ensure that ignored enum variant is never returned from resolvers, otherwise resolving the GraphQL query will panic at runtime.
-
-extern crate juniper;
-extern crate derive_more;
-use std::marker::PhantomData;
-use derive_more::From;
-use juniper::{GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[derive(From, GraphQLUnion)]
-enum Character<S> {
- Human(Human),
- Droid(Droid),
- #[from(ignore)]
- #[graphql(ignore)] // or `#[graphql(skip)]`, your choice
- _State(PhantomData<S>),
-}
-
-fn main() {}
-
-
-If some custom logic is needed to resolve a GraphQL union variant, you may specify an external function to do so:
-#![allow(dead_code)]
-extern crate juniper;
-use juniper::{GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-#[graphql(Context = CustomContext)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = CustomContext)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-pub struct CustomContext {
- droid: Droid,
-}
-impl juniper::Context for CustomContext {}
-
-#[derive(GraphQLUnion)]
-#[graphql(Context = CustomContext)]
-enum Character {
- Human(Human),
- #[graphql(with = Character::droid_from_context)]
- Droid(Droid),
-}
-
-impl Character {
- // NOTICE: The function signature must contain `&self` and `&Context`,
- // and return `Option<&VariantType>`.
- fn droid_from_context<'c>(&self, ctx: &'c CustomContext) -> Option<&'c Droid> {
- Some(&ctx.droid)
- }
-}
-
-fn main() {}
-
-With an external resolver function we can even declare a new GraphQL union variant where the Rust type is absent in the initial enum definition. The attribute syntax #[graphql(on VariantType = resolver_fn)] follows the GraphQL syntax for dispatching union variants.
-#![allow(dead_code)]
-extern crate juniper;
-use juniper::{GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-#[graphql(Context = CustomContext)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = CustomContext)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = CustomContext)]
-struct Ewok {
- id: String,
- is_funny: bool,
-}
-
-pub struct CustomContext {
- ewok: Ewok,
-}
-impl juniper::Context for CustomContext {}
-
-#[derive(GraphQLUnion)]
-#[graphql(Context = CustomContext)]
-#[graphql(on Ewok = Character::ewok_from_context)]
-enum Character {
- Human(Human),
- Droid(Droid),
- #[graphql(ignore)] // or `#[graphql(skip)]`, your choice
- Ewok,
-}
-
-impl Character {
- fn ewok_from_context<'c>(&self, ctx: &'c CustomContext) -> Option<&'c Ewok> {
- if let Self::Ewok = self {
- Some(&ctx.ewok)
- } else {
- None
- }
- }
-}
-
-fn main() {}
-
-
-Using Rust structs as GraphQL unions is very similar to using enums, with the nuance that specifying an external resolver function is the only way to declare a GraphQL union variant.
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::{GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-struct Database {
- humans: HashMap<String, Human>,
- droids: HashMap<String, Droid>,
-}
-impl juniper::Context for Database {}
-
-#[derive(GraphQLUnion)]
-#[graphql(
- Context = Database,
- on Human = Character::get_human,
- on Droid = Character::get_droid,
-)]
-struct Character {
- id: String,
-}
-
-impl Character {
- fn get_human<'db>(&self, ctx: &'db Database) -> Option<&'db Human>{
- ctx.humans.get(&self.id)
- }
-
- fn get_droid<'db>(&self, ctx: &'db Database) -> Option<&'db Droid>{
- ctx.droids.get(&self.id)
- }
-}
-
-fn main() {}
-
-
-To use a Rust trait definition as a GraphQL union you need to use the #[graphql_union] macro. Rust doesn't allow derive macros on traits, so using #[derive(GraphQLUnion)] on traits doesn't work.
-
-NOTICE:
-A trait has to be object safe, because schema resolvers will need to return a trait object to specify a GraphQL union behind it.
-
-extern crate juniper;
-use juniper::{graphql_union, GraphQLObject};
-
-#[derive(GraphQLObject)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[graphql_union]
-trait Character {
- // NOTICE: The method signature must contain `&self` and return `Option<&VariantType>`.
- fn as_human(&self) -> Option<&Human> { None }
- fn as_droid(&self) -> Option<&Droid> { None }
-}
-
-impl Character for Human {
- fn as_human(&self) -> Option<&Human> { Some(&self) }
-}
-
-impl Character for Droid {
- fn as_droid(&self) -> Option<&Droid> { Some(&self) }
-}
-
-fn main() {}
-
-
-If a Context is required in a trait method to resolve a GraphQL union variant, specify it as an argument.
-#![allow(unused_variables)]
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::{graphql_union, GraphQLObject};
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-struct Database {
- humans: HashMap<String, Human>,
- droids: HashMap<String, Droid>,
-}
-impl juniper::Context for Database {}
-
-#[graphql_union(context = Database)]
-trait Character {
- // NOTICE: The method signature may optionally contain `&Context`.
- fn as_human<'db>(&self, ctx: &'db Database) -> Option<&'db Human> { None }
- fn as_droid<'db>(&self, ctx: &'db Database) -> Option<&'db Droid> { None }
-}
-
-impl Character for Human {
- fn as_human<'db>(&self, ctx: &'db Database) -> Option<&'db Human> {
- ctx.humans.get(&self.id)
- }
-}
-
-impl Character for Droid {
- fn as_droid<'db>(&self, ctx: &'db Database) -> Option<&'db Droid> {
- ctx.droids.get(&self.id)
- }
-}
-
-fn main() {}
-
-
-As with enums, we may want to omit some trait methods to be assumed as GraphQL union variants and ignore them.
-extern crate juniper;
-use juniper::{graphql_union, GraphQLObject};
-
-#[derive(GraphQLObject)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[graphql_union]
-trait Character {
- fn as_human(&self) -> Option<&Human> { None }
- fn as_droid(&self) -> Option<&Droid> { None }
- #[graphql(ignore)] // or `#[graphql(skip)]`, your choice
- fn id(&self) -> &str;
-}
-
-impl Character for Human {
- fn as_human(&self) -> Option<&Human> { Some(&self) }
- fn id(&self) -> &str { self.id.as_str() }
-}
-
-impl Character for Droid {
- fn as_droid(&self) -> Option<&Droid> { Some(&self) }
- fn id(&self) -> &str { self.id.as_str() }
-}
-
-fn main() {}
-
-
-Similarly to enums and structs, it's not mandatory to use trait methods as GraphQL union variant resolvers. Instead, custom functions may be specified:
-extern crate juniper;
-use std::collections::HashMap;
-use juniper::{graphql_union, GraphQLObject};
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-#[graphql(Context = Database)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-struct Database {
- humans: HashMap<String, Human>,
- droids: HashMap<String, Droid>,
-}
-impl juniper::Context for Database {}
-
-#[graphql_union(context = Database)]
-#[graphql_union(
- on Human = DynCharacter::get_human,
- on Droid = get_droid,
-)]
-trait Character {
- #[graphql(ignore)] // or `#[graphql(skip)]`, your choice
- fn id(&self) -> &str;
-}
-
-impl Character for Human {
- fn id(&self) -> &str { self.id.as_str() }
-}
-
-impl Character for Droid {
- fn id(&self) -> &str { self.id.as_str() }
-}
-
-// The trait object is always `Send` and `Sync`.
-type DynCharacter<'a> = dyn Character + Send + Sync + 'a;
-
-impl<'a> DynCharacter<'a> {
- fn get_human<'db>(&self, ctx: &'db Database) -> Option<&'db Human> {
- ctx.humans.get(self.id())
- }
-}
-
-// External resolver function doesn't have to be a method of a type.
-// It's only a matter of the function signature to match the requirements.
-fn get_droid<'db>(ch: &DynCharacter<'_>, ctx: &'db Database) -> Option<&'db Droid> {
- ctx.droids.get(ch.id())
-}
-
-fn main() {}
-
-
-By default, #[derive(GraphQLUnion)] and #[graphql_union] macros generate code, which is generic over a ScalarValue type. This may introduce a problem when at least one of GraphQL union variants is restricted to a concrete ScalarValue type in its implementation. To resolve such problem, a concrete ScalarValue type should be specified:
-#![allow(dead_code)]
-extern crate juniper;
-use juniper::{DefaultScalarValue, GraphQLObject, GraphQLUnion};
-
-#[derive(GraphQLObject)]
-#[graphql(Scalar = DefaultScalarValue)]
-struct Human {
- id: String,
- home_planet: String,
-}
-
-#[derive(GraphQLObject)]
-struct Droid {
- id: String,
- primary_function: String,
-}
-
-#[derive(GraphQLUnion)]
-#[graphql(Scalar = DefaultScalarValue)] // removing this line will fail compilation
-enum Character {
- Human(Human),
- Droid(Droid),
-}
-
-fn main() {}
-
-
-