mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-17 20:41:49 +03:00
da8f6981d4
Fixes https://github.com/hasura/graphql-engine-mono/issues/712 Main point of interest: the `Hasura.SQL.Backend` module. This PR creates an `Exists` type indexed by indexed type and packed constraint while hiding all of its complexity by not exporting the constructor. Existential constructors/types which are no longer (directly) existential: - [X] BackendSourceInfo :: BackendSourceInfo - [x] BackendSourceMetadata :: BackendSourceMetadata - [x] MOSourceObjId :: MetadatObjId - [x] SOSourceObj :: SchemaObjId - [x] RFDB :: RootField - [x] LQP :: LiveQueryPlan - [x] ExecutionStep :: ExecStepDB This PR also removes ALL usages of `Typeable.cast` from our codebase. We still need to derive `Typeable` in a few places in order to be able to derive `Data` in one place. I have not dug deeper to see why this is needed. GitOrigin-RevId: bb47e957192e4bb0af4c4116aee7bb92f7983445
125 lines
3.9 KiB
Haskell
125 lines
3.9 KiB
Haskell
{-# LANGUAGE AllowAmbiguousTypes #-}
|
|
|
|
module Hasura.GraphQL.Execute.Backend where
|
|
|
|
import Hasura.Prelude
|
|
|
|
import qualified Data.Aeson as J
|
|
import qualified Data.Environment as Env
|
|
import qualified Language.GraphQL.Draft.Syntax as G
|
|
import qualified Network.HTTP.Client as HTTP
|
|
import qualified Network.HTTP.Types as HTTP
|
|
|
|
import Data.Kind (Type)
|
|
import Data.Text.Extended
|
|
|
|
import qualified Hasura.GraphQL.Transport.HTTP.Protocol as GH
|
|
import qualified Hasura.RQL.IR.RemoteJoin as IR
|
|
import qualified Hasura.SQL.AnyBackend as AB
|
|
|
|
import Hasura.EncJSON
|
|
import Hasura.GraphQL.Context
|
|
import Hasura.GraphQL.Execute.Action.Types (ActionExecutionPlan)
|
|
import Hasura.GraphQL.Execute.LiveQuery.Plan
|
|
import Hasura.GraphQL.Parser hiding (Type)
|
|
import Hasura.RQL.IR.RemoteJoin
|
|
import Hasura.RQL.Types.Backend
|
|
import Hasura.RQL.Types.Error
|
|
import Hasura.RQL.Types.RemoteSchema
|
|
import Hasura.SQL.Backend
|
|
import Hasura.Server.Version (HasVersion)
|
|
import Hasura.Session
|
|
|
|
|
|
-- | This typeclass enacapsulates how a given backend translates a root field into an execution
|
|
-- plan. For now, each root field maps to one execution step, but in the future, when we have
|
|
-- a client-side dataloader, each root field might translate into a multi-step plan.
|
|
class ( Backend b
|
|
, ToTxt (MultiplexedQuery b)
|
|
, Monad (ExecutionMonad b)
|
|
) => BackendExecute (b :: BackendType) where
|
|
-- generated query information
|
|
type PreparedQuery b :: Type
|
|
type MultiplexedQuery b :: Type
|
|
type ExecutionMonad b :: Type -> Type
|
|
getRemoteJoins :: PreparedQuery b -> [RemoteJoin b]
|
|
|
|
-- execution plan generation
|
|
mkDBQueryPlan
|
|
:: forall m
|
|
. ( MonadError QErr m
|
|
, HasVersion
|
|
)
|
|
=> Env.Environment
|
|
-> HTTP.Manager
|
|
-> [HTTP.Header]
|
|
-> UserInfo
|
|
-> [G.Directive G.Name]
|
|
-> SourceConfig b
|
|
-> QueryDB b (UnpreparedValue b)
|
|
-> m ExecutionStep
|
|
mkDBMutationPlan
|
|
:: forall m
|
|
. ( MonadError QErr m
|
|
, HasVersion
|
|
)
|
|
=> Env.Environment
|
|
-> HTTP.Manager
|
|
-> [HTTP.Header]
|
|
-> UserInfo
|
|
-> Bool
|
|
-> SourceConfig b
|
|
-> MutationDB b (UnpreparedValue b)
|
|
-> m ExecutionStep
|
|
mkDBSubscriptionPlan
|
|
:: forall m
|
|
. ( MonadError QErr m
|
|
, MonadIO m
|
|
)
|
|
=> UserInfo
|
|
-> SourceConfig b
|
|
-> InsOrdHashMap G.Name (QueryDB b (UnpreparedValue b))
|
|
-> m (LiveQueryPlan b (MultiplexedQuery b))
|
|
|
|
data DBStepInfo b =
|
|
DBStepInfo
|
|
(SourceConfig b)
|
|
(Maybe (PreparedQuery b))
|
|
(ExecutionMonad b EncJSON)
|
|
|
|
-- | One execution step to processing a GraphQL query (e.g. one root field).
|
|
data ExecutionStep where
|
|
ExecStepDB
|
|
:: HTTP.ResponseHeaders
|
|
-> AB.AnyBackend DBStepInfo
|
|
-> ExecutionStep
|
|
-- ^ A query to execute against the database
|
|
ExecStepAction
|
|
:: ActionExecutionPlan
|
|
-> HTTP.ResponseHeaders
|
|
-> ExecutionStep
|
|
-- ^ Execute an action
|
|
ExecStepRemote
|
|
:: !RemoteSchemaInfo
|
|
-> !GH.GQLReqOutgoing
|
|
-> ExecutionStep
|
|
-- ^ A graphql query to execute against a remote schema
|
|
ExecStepRaw
|
|
:: J.Value
|
|
-> ExecutionStep
|
|
-- ^ Output a plain JSON object
|
|
|
|
|
|
-- | The series of steps that need to be executed for a given query. For now, those steps are all
|
|
-- independent. In the future, when we implement a client-side dataloader and generalized joins,
|
|
-- this will need to be changed into an annotated tree.
|
|
type ExecutionPlan = InsOrdHashMap G.Name ExecutionStep
|
|
|
|
getRemoteSchemaInfo
|
|
:: forall b
|
|
. BackendExecute b
|
|
=> DBStepInfo b
|
|
-> [RemoteSchemaInfo]
|
|
getRemoteSchemaInfo (DBStepInfo _ genSql _) =
|
|
IR._rjRemoteSchema <$> maybe [] (getRemoteJoins @b) genSql
|