mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-20 05:51:54 +03:00
8ccf7724ce
The code that builds the GraphQL schema, and `buildGQLContext` in particular, is partial: not every value of `(ServerConfigCtx, GraphQLQueryType, SourceCache, HashMap RemoteSchemaName (RemoteSchemaCtx, MetadataObject), ActionCache, AnnotatedCustomTypes)` results in a valid GraphQL schema. When it fails, we want to be able to return better error messages than we currently do. The key thing that is missing is a way to trace back GraphQL type information to their origin from the Hasura metadata. Currently, we have a number of correctness checks of our GraphQL schema. But these correctness checks only have access to pure GraphQL type information, and hence can only report errors in terms of that. Possibly the worst is the "conflicting definitions" error, which, in practice, can only be debugged by Hasura engineers. This is terrible DX for customers. This PR allows us to print better error messages, by adding a field to the `Definition` type that traces the GraphQL type to its origin in the metadata. So the idea is simple: just add `MetadataObjId`, or `Maybe` that, or some other sum type of that, to `Definition`. However, we want to avoid having to import a `Hasura.RQL` module from `Hasura.GraphQL.Parser`. So we instead define this additional field of `Definition` through a new type parameter, which is threaded through in `Hasura.GraphQL.Parser`. We then define type synonyms in `Hasura.GraphQL.Schema.Parser` that fill in this type parameter, so that it is not visible for the majority of the codebase. The idea of associating metadata information to `Definition`s really comes to fruition when combined with hasura/graphql-engine-mono#4517. Their combination would allow us to use the API of fatal errors (just like the current `MonadError QErr`) to report _inconsistencies_ in the metadata. Such inconsistencies are then _automatically_ ignored. So no ad-hoc decisions need to be made on how to cut out inconsistent metadata from the GraphQL schema. This will allow us to report much better errors, as well as improve the likelihood of a successful HGE startup. PR-URL: https://github.com/hasura/graphql-engine-mono/pull/4770 Co-authored-by: Samir Talwar <47582+SamirTalwar@users.noreply.github.com> GitOrigin-RevId: 728402b0cae83ae8e83463a826ceeb609001acae
110 lines
3.9 KiB
Haskell
110 lines
3.9 KiB
Haskell
-- | Provides utilities to convert a runtime schema back to a static
|
|
-- intrsospection schema.
|
|
module Hasura.GraphQL.Parser.Schema.Convert
|
|
( convertToSchemaIntrospection,
|
|
)
|
|
where
|
|
|
|
import Hasura.GraphQL.Parser.Schema
|
|
import Hasura.Prelude
|
|
import Language.GraphQL.Draft.Syntax qualified as G
|
|
|
|
-------------------------------------------------------------------------------
|
|
|
|
-- | Convert back from our "live" schema representation into a flat
|
|
-- static set of definitions.
|
|
convertToSchemaIntrospection :: Schema origin -> G.SchemaIntrospection
|
|
convertToSchemaIntrospection = G.SchemaIntrospection . fmap convertType . sTypes
|
|
|
|
-------------------------------------------------------------------------------
|
|
|
|
convertType :: SomeDefinitionTypeInfo origin -> G.TypeDefinition [G.Name] G.InputValueDefinition
|
|
convertType (SomeDefinitionTypeInfo Definition {..}) = case dInfo of
|
|
TIScalar ->
|
|
G.TypeDefinitionScalar $
|
|
G.ScalarTypeDefinition
|
|
{ G._stdDescription = dDescription,
|
|
G._stdName = dName,
|
|
G._stdDirectives = noDirectives
|
|
}
|
|
TIEnum enumInfo ->
|
|
G.TypeDefinitionEnum $
|
|
G.EnumTypeDefinition
|
|
{ G._etdDescription = dDescription,
|
|
G._etdName = dName,
|
|
G._etdDirectives = noDirectives,
|
|
G._etdValueDefinitions = map convertEnumValue $ toList enumInfo
|
|
}
|
|
TIInputObject (InputObjectInfo values) ->
|
|
G.TypeDefinitionInputObject $
|
|
G.InputObjectTypeDefinition
|
|
{ G._iotdDescription = dDescription,
|
|
G._iotdName = dName,
|
|
G._iotdDirectives = noDirectives,
|
|
G._iotdValueDefinitions = map convertInputField values
|
|
}
|
|
TIObject (ObjectInfo fields interfaces) ->
|
|
G.TypeDefinitionObject $
|
|
G.ObjectTypeDefinition
|
|
{ G._otdDescription = dDescription,
|
|
G._otdName = dName,
|
|
G._otdDirectives = noDirectives,
|
|
G._otdImplementsInterfaces = map getDefinitionName interfaces,
|
|
G._otdFieldsDefinition = map convertField fields
|
|
}
|
|
TIInterface (InterfaceInfo fields possibleTypes) ->
|
|
G.TypeDefinitionInterface $
|
|
G.InterfaceTypeDefinition
|
|
{ G._itdDescription = dDescription,
|
|
G._itdName = dName,
|
|
G._itdDirectives = noDirectives,
|
|
G._itdFieldsDefinition = map convertField fields,
|
|
G._itdPossibleTypes = map getDefinitionName possibleTypes
|
|
}
|
|
TIUnion (UnionInfo possibleTypes) ->
|
|
G.TypeDefinitionUnion $
|
|
G.UnionTypeDefinition
|
|
{ G._utdDescription = dDescription,
|
|
G._utdName = dName,
|
|
G._utdDirectives = noDirectives,
|
|
G._utdMemberTypes = map getDefinitionName possibleTypes
|
|
}
|
|
|
|
convertEnumValue :: Definition origin EnumValueInfo -> G.EnumValueDefinition
|
|
convertEnumValue Definition {..} =
|
|
G.EnumValueDefinition
|
|
{ G._evdDescription = dDescription,
|
|
G._evdName = G.EnumValue dName,
|
|
G._evdDirectives = noDirectives
|
|
}
|
|
|
|
convertInputField :: Definition origin (InputFieldInfo origin) -> G.InputValueDefinition
|
|
convertInputField Definition {..} = case dInfo of
|
|
InputFieldInfo typeInfo defaultValue ->
|
|
G.InputValueDefinition
|
|
{ G._ivdDescription = dDescription,
|
|
G._ivdName = dName,
|
|
G._ivdType = toGraphQLType typeInfo,
|
|
G._ivdDefaultValue = defaultValue,
|
|
G._ivdDirectives = noDirectives
|
|
}
|
|
|
|
convertField :: Definition origin (FieldInfo origin) -> G.FieldDefinition G.InputValueDefinition
|
|
convertField Definition {..} = case dInfo of
|
|
FieldInfo arguments typeInfo ->
|
|
G.FieldDefinition
|
|
{ G._fldDescription = dDescription,
|
|
G._fldName = dName,
|
|
G._fldArgumentsDefinition = map convertInputField arguments,
|
|
G._fldType = toGraphQLType typeInfo,
|
|
G._fldDirectives = noDirectives
|
|
}
|
|
|
|
-------------------------------------------------------------------------------
|
|
|
|
getDefinitionName :: Definition origin a -> G.Name
|
|
getDefinitionName = dName
|
|
|
|
noDirectives :: [G.Directive Void]
|
|
noDirectives = []
|