mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-17 12:31:52 +03:00
115f2cb621
Co-authored-by: Auke Booij <auke@hasura.io> GITHUB_PR_NUMBER: 6281 GITHUB_PR_URL: https://github.com/hasura/graphql-engine/pull/6281 GitOrigin-RevId: b7ab3352af21175f0065f1bc2304a1232f6a5580
84 lines
3.2 KiB
Haskell
84 lines
3.2 KiB
Haskell
{-# LANGUAGE AllowAmbiguousTypes #-} -- TODO avoid this language feature
|
|
|
|
module Hasura.GraphQL.Schema.Backend where
|
|
|
|
import Hasura.Prelude
|
|
|
|
import Data.Has
|
|
import Data.Aeson
|
|
|
|
import qualified Hasura.RQL.IR.Select as IR
|
|
|
|
import Language.GraphQL.Draft.Syntax (Nullability, Name)
|
|
import Hasura.GraphQL.Parser ( InputFieldsParser, Kind (..), Parser
|
|
, UnpreparedValue (..), Opaque
|
|
, Definition, EnumValueInfo, FieldParser)
|
|
import Hasura.GraphQL.Parser.Class
|
|
import Hasura.GraphQL.Schema.Common
|
|
import Hasura.RQL.Types hiding (EnumValueInfo)
|
|
|
|
|
|
class Backend b => BackendSchema (b :: BackendType) where
|
|
columnParser
|
|
:: (MonadSchema n m, MonadError QErr m)
|
|
=> ColumnType b
|
|
-> Nullability
|
|
-> m (Parser 'Both n (Opaque (ColumnValue b)))
|
|
-- | The "path" argument for json column fields
|
|
jsonPathArg
|
|
:: MonadParse n
|
|
=> ColumnType b
|
|
-> InputFieldsParser n (Maybe (IR.ColumnOp b))
|
|
-- | Helper function to get the table GraphQL name. A table may have an
|
|
-- identifier configured with it. When the identifier exists, the GraphQL nodes
|
|
-- that are generated according to the identifier. For example: Let's say,
|
|
-- we have a table called `users address`, the name of the table is not GraphQL
|
|
-- compliant so we configure the table with a GraphQL compliant name,
|
|
-- say `users_address`
|
|
-- The generated top-level nodes of this table will be like `users_address`,
|
|
-- `insert_users_address` etc
|
|
getTableGQLName
|
|
:: MonadTableInfo b r m
|
|
=> TableName b
|
|
-> m Name
|
|
orderByOperators
|
|
:: NonEmpty (Definition EnumValueInfo, (BasicOrderType b, NullsOrderType b))
|
|
comparisonExps
|
|
:: (MonadSchema n m, MonadError QErr m)
|
|
=> ColumnType b
|
|
-> m (Parser 'Input n [ComparisonExp b])
|
|
parseScalarValue
|
|
:: (MonadError QErr m)
|
|
=> ColumnType b
|
|
-> Value
|
|
-> m (ScalarValue b)
|
|
-- TODO: THIS IS A TEMPORARY FIX
|
|
-- while offset is exposed in the schema as a GraphQL Int, which
|
|
-- is a bounded Int32, previous versions of the code used to also
|
|
-- silently accept a string as an input for the offset as a way to
|
|
-- support int64 values (postgres bigint)
|
|
-- a much better way of supporting this would be to expose the
|
|
-- offset in the code as a postgres bigint, but for now, to avoid
|
|
-- a breaking change, we are defining a custom parser that also
|
|
-- accepts a string
|
|
offsetParser :: MonadParse n => Parser 'Both n (SQLExpression b)
|
|
mkCountType :: Maybe Bool -> Maybe [Column b] -> CountType b
|
|
aggregateOrderByCountType :: ScalarType b
|
|
-- | Computed field parser
|
|
computedField
|
|
:: (BackendSchema b, MonadSchema n m, MonadTableInfo b r m, MonadRole r m, Has QueryContext r)
|
|
=> ComputedFieldInfo b
|
|
-> SelPermInfo b
|
|
-> m (Maybe (FieldParser n (AnnotatedField b)))
|
|
-- | The 'node' root field of a Relay request.
|
|
node
|
|
:: ( BackendSchema b
|
|
, MonadSchema n m
|
|
, MonadTableInfo b r m
|
|
, MonadRole r m
|
|
, Has QueryContext r
|
|
)
|
|
=> m (Parser 'Output n (HashMap (TableName b) (SelPermInfo b, PrimaryKeyColumns b, AnnotatedFields b)))
|
|
|
|
type ComparisonExp b = OpExpG b (UnpreparedValue b)
|