Safe Haskell	None
Language	Haskell2010

Hasura.RQL.Types.SchemaCache

Synopsis

newtype MetadataResourceVersion = MetadataResourceVersion {
- getMetadataResourceVersion :: Int64
}
initialResourceVersion :: MetadataResourceVersion
mkParentDep :: forall b. Backend b => SourceName -> TableName b -> SchemaDependency
mkColDep :: forall b. Backend b => DependencyReason -> SourceName -> TableName b -> Column b -> SchemaDependency
mkComputedFieldDep :: forall b. Backend b => DependencyReason -> SourceName -> TableName b -> ComputedFieldName -> SchemaDependency
type WithDeps a = (a, [SchemaDependency])
data IntrospectionResult = IntrospectionResult {
- irDoc :: RemoteSchemaIntrospection
- irQueryRoot :: Name
- irMutationRoot :: Maybe Name
- irSubscriptionRoot :: Maybe Name
}
type RemoteSchemaRelationships = InsOrdHashMap Name (InsOrdHashMap RelName (RemoteFieldInfo Name))
data RemoteSchemaCtx = RemoteSchemaCtx {
- _rscName :: RemoteSchemaName
- _rscIntroOriginal :: IntrospectionResult
- _rscInfo :: RemoteSchemaInfo
- _rscRawIntrospectionResult :: ByteString
- _rscPermissions :: HashMap RoleName IntrospectionResult
- _rscRemoteRelationships :: RemoteSchemaRelationships
}
getIntrospectionResult :: RemoteSchemaPermissions -> RoleName -> RemoteSchemaCtx -> Maybe IntrospectionResult
rscRemoteRelationships :: Lens' RemoteSchemaCtx RemoteSchemaRelationships
rscRawIntrospectionResult :: Lens' RemoteSchemaCtx ByteString
rscPermissions :: Lens' RemoteSchemaCtx (HashMap RoleName IntrospectionResult)
rscName :: Lens' RemoteSchemaCtx RemoteSchemaName
rscIntroOriginal :: Lens' RemoteSchemaCtx IntrospectionResult
rscInfo :: Lens' RemoteSchemaCtx RemoteSchemaInfo
type RemoteSchemaMap = HashMap RemoteSchemaName RemoteSchemaCtx
type DepMap = HashMap SchemaObjId (HashSet SchemaDependency)
data CronTriggerInfo = CronTriggerInfo {
- ctiName :: TriggerName
- ctiSchedule :: CronSchedule
- ctiPayload :: Maybe Value
- ctiRetryConf :: STRetryConf
- ctiWebhookInfo :: EnvRecord ResolvedWebhook
- ctiHeaders :: [EventHeaderInfo]
- ctiComment :: Maybe Text
- ctiRequestTransform :: Maybe RequestTransform
- ctiResponseTransform :: Maybe MetadataResponseTransform
}
newtype SchemaCacheVer = SchemaCacheVer {
- unSchemaCacheVer :: Word64
}
initSchemaCacheVer :: SchemaCacheVer
incSchemaCacheVer :: SchemaCacheVer -> SchemaCacheVer
type ActionCache = HashMap ActionName ActionInfo
type InheritedRolesCache = HashMap RoleName (HashSet RoleName)
askSourceInfo :: forall b m. (CacheRM m, MetadataM m, MonadError QErr m, Backend b) => SourceName -> m (SourceInfo b)
askSourceConfig :: forall b m. (CacheRM m, MonadError QErr m, Backend b, MetadataM m) => SourceName -> m (SourceConfig b)
unsafeTableCache :: forall b. Backend b => SourceName -> SourceCache -> Maybe (TableCache b)
askTableCache :: forall b m. (Backend b, CacheRM m) => SourceName -> m (Maybe (TableCache b))
unsafeTableInfo :: forall b. Backend b => SourceName -> TableName b -> SourceCache -> Maybe (TableInfo b)
askTableInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (TableInfo b)
askTableCoreInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (TableCoreInfo b)
askTableFieldInfoMap :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (FieldInfoMap (FieldInfo b))
askTableMetadata :: forall b m. (QErrM m, MetadataM m, Backend b) => SourceName -> TableName b -> m (TableMetadata b)
unsafeFunctionCache :: forall b. Backend b => SourceName -> SourceCache -> Maybe (FunctionCache b)
unsafeFunctionInfo :: forall b. Backend b => SourceName -> FunctionName b -> SourceCache -> Maybe (FunctionInfo b)
askFunctionInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> FunctionName b -> m (FunctionInfo b)
data SchemaCache = SchemaCache {
- scSources :: SourceCache
- scActions :: ActionCache
- scRemoteSchemas :: RemoteSchemaMap
- scAllowlist :: InlinedAllowlist
- scAdminIntrospection :: SchemaIntrospection
- scGQLContext :: HashMap RoleName (RoleContext GQLContext)
- scUnauthenticatedGQLContext :: GQLContext
- scRelayContext :: HashMap RoleName (RoleContext GQLContext)
- scUnauthenticatedRelayContext :: GQLContext
- scDepMap :: DepMap
- scInconsistentObjs :: [InconsistentMetadata]
- scCronTriggers :: HashMap TriggerName CronTriggerInfo
- scEndpoints :: EndpointTrie GQLQueryWithText
- scApiLimits :: ApiLimit
- scMetricsConfig :: MetricsConfig
- scMetadataResourceVersion :: Maybe MetadataResourceVersion
- scSetGraphqlIntrospectionOptions :: SetGraphqlIntrospectionOptions
- scTlsAllowlist :: [TlsAllow]
- scQueryCollections :: QueryCollections
}
getAllRemoteSchemas :: SchemaCache -> [RemoteSchemaName]
class Monad m => SourceM m where
- askCurrentSource :: m SourceName
newtype SourceT m a = SourceT {
- runSourceT :: SourceName -> m a
}
class SourceM m => TableCoreInfoRM b m where
- lookupTableCoreInfo :: TableName b -> m (Maybe (TableCoreInfo b))
newtype TableCoreCacheRT b m a = TableCoreCacheRT {
- runTableCoreCacheRT :: (SourceName, Dependency (TableCoreCache b)) -> m a
}
class TableCoreInfoRM b m => TableInfoRM b m where
- lookupTableInfo :: TableName b -> m (Maybe (TableInfo b))
newtype TableCacheRT b m a = TableCacheRT {
- runTableCacheRT :: (SourceName, TableCache b) -> m a
}
class Monad m => CacheRM m where
- askSchemaCache :: m SchemaCache
getDependentObjs :: SchemaCache -> SchemaObjId -> [SchemaObjId]
getDependentObjsWith :: (DependencyReason -> Bool) -> SchemaCache -> SchemaObjId -> [SchemaObjId]
getRemoteDependencies :: SchemaCache -> SourceName -> [SchemaObjId]
getBoolExpDeps :: forall b. GetAggregationPredicatesDeps b => SourceName -> TableName b -> AnnBoolExpPartialSQL b -> [SchemaDependency]
getBoolExpDeps' :: forall b. (Backend b, GetAggregationPredicatesDeps b) => AnnBoolExpPartialSQL b -> BoolExpM b [SchemaDependency]
getColExpDeps :: forall b. (Backend b, GetAggregationPredicatesDeps b) => AnnBoolExpFld b (PartialSQLExp b) -> BoolExpM b [SchemaDependency]
getOpExpDeps :: forall b. Backend b => [OpExpG b (PartialSQLExp b)] -> BoolExpM b [SchemaDependency]
askFieldInfoMapSource :: (QErrM m, Backend b, TableCoreInfoRM b m) => TableName b -> m (FieldInfoMap (FieldInfo b))

Documentation

newtype MetadataResourceVersion Source #

Constructors

MetadataResourceVersion
Fields getMetadataResourceVersion :: Int64

Instances

Instances details

Eq MetadataResourceVersion Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (==) :: MetadataResourceVersion -> MetadataResourceVersion -> Bool # (/=) :: MetadataResourceVersion -> MetadataResourceVersion -> Bool #
Num MetadataResourceVersion Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (+) :: MetadataResourceVersion -> MetadataResourceVersion -> MetadataResourceVersion # (-) :: MetadataResourceVersion -> MetadataResourceVersion -> MetadataResourceVersion # (*) :: MetadataResourceVersion -> MetadataResourceVersion -> MetadataResourceVersion # negate :: MetadataResourceVersion -> MetadataResourceVersion # abs :: MetadataResourceVersion -> MetadataResourceVersion # signum :: MetadataResourceVersion -> MetadataResourceVersion # fromInteger :: Integer -> MetadataResourceVersion #
Show MetadataResourceVersion Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods showsPrec :: Int -> MetadataResourceVersion -> ShowS # show :: MetadataResourceVersion -> String # showList :: [MetadataResourceVersion] -> ShowS #
FromJSON MetadataResourceVersion Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods parseJSON :: Value -> Parser MetadataResourceVersion parseJSONList :: Value -> Parser [MetadataResourceVersion]
ToJSON MetadataResourceVersion Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods toJSON :: MetadataResourceVersion -> Value toEncoding :: MetadataResourceVersion -> Encoding toJSONList :: [MetadataResourceVersion] -> Value toEncodingList :: [MetadataResourceVersion] -> Encoding

initialResourceVersion :: MetadataResourceVersion Source #

mkParentDep :: forall b. Backend b => SourceName -> TableName b -> SchemaDependency Source #

mkColDep :: forall b. Backend b => DependencyReason -> SourceName -> TableName b -> Column b -> SchemaDependency Source #

mkComputedFieldDep :: forall b. Backend b => DependencyReason -> SourceName -> TableName b -> ComputedFieldName -> SchemaDependency Source #

type WithDeps a = (a, [SchemaDependency]) Source #

data IntrospectionResult Source #

Constructors

IntrospectionResult
Fields irDoc :: RemoteSchemaIntrospection irQueryRoot :: Name irMutationRoot :: Maybe Name irSubscriptionRoot :: Maybe Name

Instances

Instances details

Eq IntrospectionResult Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (==) :: IntrospectionResult -> IntrospectionResult -> Bool # (/=) :: IntrospectionResult -> IntrospectionResult -> Bool #
Show IntrospectionResult Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods showsPrec :: Int -> IntrospectionResult -> ShowS # show :: IntrospectionResult -> String # showList :: [IntrospectionResult] -> ShowS #
Generic IntrospectionResult Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Associated Types type Rep IntrospectionResult :: Type -> Type # Methods from :: IntrospectionResult -> Rep IntrospectionResult x # to :: Rep IntrospectionResult x -> IntrospectionResult #
Cacheable IntrospectionResult Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods unchanged :: Accesses -> IntrospectionResult -> IntrospectionResult -> Bool Source #
type Rep IntrospectionResult Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache type Rep IntrospectionResult = D1 ('MetaData "IntrospectionResult" "Hasura.RQL.Types.SchemaCache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "IntrospectionResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "irDoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RemoteSchemaIntrospection) :: S1 ('MetaSel ('Just "irQueryRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name)) :: (S1 ('MetaSel ('Just "irMutationRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :*: S1 ('MetaSel ('Just "irSubscriptionRoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)))))

type RemoteSchemaRelationships = InsOrdHashMap Name (InsOrdHashMap RelName (RemoteFieldInfo Name)) Source #

data RemoteSchemaCtx Source #

See fetchRemoteSchema.

Constructors

RemoteSchemaCtx

Fields

_rscName :: RemoteSchemaName
_rscIntroOriginal :: IntrospectionResult
Original remote schema without customizations
_rscInfo :: RemoteSchemaInfo
_rscRawIntrospectionResult :: ByteString
The raw response from the introspection query against the remote server. We store this so we can efficiently service introspect_remote_schema.
_rscPermissions :: HashMap RoleName IntrospectionResult
_rscRemoteRelationships :: RemoteSchemaRelationships

Instances

Instances details

ToJSON RemoteSchemaCtx Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods toJSON :: RemoteSchemaCtx -> Value toEncoding :: RemoteSchemaCtx -> Encoding toJSONList :: [RemoteSchemaCtx] -> Value toEncodingList :: [RemoteSchemaCtx] -> Encoding

getIntrospectionResult :: RemoteSchemaPermissions -> RoleName -> RemoteSchemaCtx -> Maybe IntrospectionResult Source #

rscRemoteRelationships :: Lens' RemoteSchemaCtx RemoteSchemaRelationships Source #

rscRawIntrospectionResult :: Lens' RemoteSchemaCtx ByteString Source #

rscPermissions :: Lens' RemoteSchemaCtx (HashMap RoleName IntrospectionResult) Source #

rscName :: Lens' RemoteSchemaCtx RemoteSchemaName Source #

rscIntroOriginal :: Lens' RemoteSchemaCtx IntrospectionResult Source #

rscInfo :: Lens' RemoteSchemaCtx RemoteSchemaInfo Source #

type RemoteSchemaMap = HashMap RemoteSchemaName RemoteSchemaCtx Source #

type DepMap = HashMap SchemaObjId (HashSet SchemaDependency) Source #

data CronTriggerInfo Source #

Constructors

CronTriggerInfo
Fields ctiName :: TriggerName ctiSchedule :: CronSchedule ctiPayload :: Maybe Value ctiRetryConf :: STRetryConf ctiWebhookInfo :: EnvRecord ResolvedWebhook ctiHeaders :: [EventHeaderInfo] ctiComment :: Maybe Text ctiRequestTransform :: Maybe RequestTransform ctiResponseTransform :: Maybe MetadataResponseTransform

Instances

Instances details

Eq CronTriggerInfo Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (==) :: CronTriggerInfo -> CronTriggerInfo -> Bool # (/=) :: CronTriggerInfo -> CronTriggerInfo -> Bool #
Show CronTriggerInfo Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods showsPrec :: Int -> CronTriggerInfo -> ShowS # show :: CronTriggerInfo -> String # showList :: [CronTriggerInfo] -> ShowS #
ToJSON CronTriggerInfo Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods toJSON :: CronTriggerInfo -> Value toEncoding :: CronTriggerInfo -> Encoding toJSONList :: [CronTriggerInfo] -> Value toEncodingList :: [CronTriggerInfo] -> Encoding

newtype SchemaCacheVer Source #

Constructors

SchemaCacheVer
Fields unSchemaCacheVer :: Word64

Instances

Instances details

Eq SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (==) :: SchemaCacheVer -> SchemaCacheVer -> Bool # (/=) :: SchemaCacheVer -> SchemaCacheVer -> Bool #
Ord SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods compare :: SchemaCacheVer -> SchemaCacheVer -> Ordering # (<) :: SchemaCacheVer -> SchemaCacheVer -> Bool # (<=) :: SchemaCacheVer -> SchemaCacheVer -> Bool # (>) :: SchemaCacheVer -> SchemaCacheVer -> Bool # (>=) :: SchemaCacheVer -> SchemaCacheVer -> Bool # max :: SchemaCacheVer -> SchemaCacheVer -> SchemaCacheVer # min :: SchemaCacheVer -> SchemaCacheVer -> SchemaCacheVer #
Show SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods showsPrec :: Int -> SchemaCacheVer -> ShowS # show :: SchemaCacheVer -> String # showList :: [SchemaCacheVer] -> ShowS #
Hashable SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods hashWithSalt :: Int -> SchemaCacheVer -> Int hash :: SchemaCacheVer -> Int
FromJSON SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods parseJSON :: Value -> Parser SchemaCacheVer parseJSONList :: Value -> Parser [SchemaCacheVer]
ToJSON SchemaCacheVer Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods toJSON :: SchemaCacheVer -> Value toEncoding :: SchemaCacheVer -> Encoding toJSONList :: [SchemaCacheVer] -> Value toEncodingList :: [SchemaCacheVer] -> Encoding

initSchemaCacheVer :: SchemaCacheVer Source #

incSchemaCacheVer :: SchemaCacheVer -> SchemaCacheVer Source #

type ActionCache = HashMap ActionName ActionInfo Source #

type InheritedRolesCache = HashMap RoleName (HashSet RoleName) Source #

askSourceInfo :: forall b m. (CacheRM m, MetadataM m, MonadError QErr m, Backend b) => SourceName -> m (SourceInfo b) Source #

Retrieves the source info for a given source name.

This function retrieves the schema cache from the monadic context, and attempts to look the corresponding source up in the source cache. This function must be used with a _type annotation_, such as `askSourceInfo @('Postgres 'Vanilla)`. It throws an error if it fails to find that source, in which case it looks that source up in the metadata, to differentiate between the source not existing or the type of the source not matching.

askSourceConfig :: forall b m. (CacheRM m, MonadError QErr m, Backend b, MetadataM m) => SourceName -> m (SourceConfig b) Source #

Retrieves the source config for a given source name.

This function relies on askSourceInfo and similarly throws an error if the source isn't found.

unsafeTableCache :: forall b. Backend b => SourceName -> SourceCache -> Maybe (TableCache b) Source #

Retrieves the table cache for a given source cache and source name.

This function must be used with a _type annotation_, such as `unsafeTableCache ('Postgres 'Vanilla)`. It returns Nothing@ if it fails to find that source or if the kind of the source does not match the type annotation, and does not distinguish between the two cases.

askTableCache :: forall b m. (Backend b, CacheRM m) => SourceName -> m (Maybe (TableCache b)) Source #

Retrieves the table cache for a given source name.

This function retrieves the schema cache from the monadic context, and attempts to look the corresponding source up in the source cache. It must be used with a _type annotation_, such as `unsafeTableCache ('Postgres 'Vanilla)`. It returnsNothing@ if it fails to find that source or if the kind of the source does not match the type annotation, and does not distinguish between the two cases.

unsafeTableInfo :: forall b. Backend b => SourceName -> TableName b -> SourceCache -> Maybe (TableInfo b) Source #

Retrieves the information about a table from the source cache, the source name, and the table name.

This function returns Nothing if it fails to find that source or if the kind of the source does not match the type annotation, and does not distinguish between the two cases.

askTableInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (TableInfo b) Source #

Retrieves the information about a table for a given source name and table name.

This function retrieves the schema cache from the monadic context, and attempts to look the corresponding source up in the source cache. it throws an error if it fails to find that source, in which case it looks that source up in the metadata, to differentiate between the source not existing or the type of the source not matching.

askTableCoreInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (TableCoreInfo b) Source #

Similar to askTableInfo, but drills further down to extract the underlying core info.

askTableFieldInfoMap :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> TableName b -> m (FieldInfoMap (FieldInfo b)) Source #

Similar to askTableCoreInfo, but drills further down to extract the underlying field info map.

askTableMetadata :: forall b m. (QErrM m, MetadataM m, Backend b) => SourceName -> TableName b -> m (TableMetadata b) Source #

Retrieves the metadata information about a table for a given source name and table name.

Unlike most other ask functions in this module, this function does not drill through the schema cache, and instead inspects the metadata. Like most others, it throws an error if it fails to find that source, in which case it looks that source up in the metadata, to differentiate between the source not existing or the type of the source not matching.

unsafeFunctionCache :: forall b. Backend b => SourceName -> SourceCache -> Maybe (FunctionCache b) Source #

Retrieves the function cache for a given source cache and source name.

This function must be used with a _type annotation_, such as `unsafeFunctionCache ('Postgres 'Vanilla)`. It returns Nothing@ if it fails to find that source or if the kind of the source does not match the type annotation, and does not distinguish between the two cases.

unsafeFunctionInfo :: forall b. Backend b => SourceName -> FunctionName b -> SourceCache -> Maybe (FunctionInfo b) Source #

Retrieves the information about a function from the source cache, the source name, and the function name.

This function returns Nothing if it fails to find that source or if the kind of the source does not match the type annotation, and does not distinguish between the two cases.

askFunctionInfo :: forall b m. (QErrM m, CacheRM m, Backend b) => SourceName -> FunctionName b -> m (FunctionInfo b) Source #

Retrieves the information about a function cache for a given source name and function name.

This function retrieves the schema cache from the monadic context, and attempts to look the corresponding source up in the source cache. It throws an error if it fails to find that source, in which case it looks that source up in the metadata, to differentiate between the source not existing or the type of the source not matching.

data SchemaCache Source #

Constructors

SchemaCache

Fields

scSources :: SourceCache
scActions :: ActionCache
scRemoteSchemas :: RemoteSchemaMap
scAllowlist :: InlinedAllowlist
scAdminIntrospection :: SchemaIntrospection
scGQLContext :: HashMap RoleName (RoleContext GQLContext)
scUnauthenticatedGQLContext :: GQLContext
scRelayContext :: HashMap RoleName (RoleContext GQLContext)
scUnauthenticatedRelayContext :: GQLContext
scDepMap :: DepMap
scInconsistentObjs :: [InconsistentMetadata]
scCronTriggers :: HashMap TriggerName CronTriggerInfo
scEndpoints :: EndpointTrie GQLQueryWithText
scApiLimits :: ApiLimit
scMetricsConfig :: MetricsConfig
scMetadataResourceVersion :: Maybe MetadataResourceVersion
scSetGraphqlIntrospectionOptions :: SetGraphqlIntrospectionOptions
scTlsAllowlist :: [TlsAllow]
scQueryCollections :: QueryCollections

Instances

Instances details

ToJSON SchemaCache Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods toJSON :: SchemaCache -> Value toEncoding :: SchemaCache -> Encoding toJSONList :: [SchemaCache] -> Value toEncodingList :: [SchemaCache] -> Encoding

getAllRemoteSchemas :: SchemaCache -> [RemoteSchemaName] Source #

class Monad m => SourceM m where Source #

Methods

askCurrentSource :: m SourceName Source #

Instances

Instances details

SourceM m => SourceM (TraceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: TraceT m SourceName Source #
Monad m => SourceM (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: SourceT m SourceName Source #
SourceM m => SourceM (MetadataT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache.Build Methods askCurrentSource :: MetadataT m SourceName Source #
SourceM m => SourceM (ReaderT r m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: ReaderT r m SourceName Source #
SourceM m => SourceM (StateT s m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: StateT s m SourceName Source #
(Monoid w, SourceM m) => SourceM (WriterT w m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: WriterT w m SourceName Source #
Monad m => SourceM (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: TableCacheRT b m SourceName Source #
Monad m => SourceM (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: TableCoreCacheRT b m SourceName Source #

newtype SourceT m a Source #

Constructors

SourceT
Fields runSourceT :: SourceName -> m a

Instances

Instances details

MonadTrans SourceT Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lift :: Monad m => m a -> SourceT m a #
MonadWriter w m => MonadWriter w (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods writer :: (a, w) -> SourceT m a # tell :: w -> SourceT m () # listen :: SourceT m a -> SourceT m (a, w) # pass :: SourceT m (a, w -> w) -> SourceT m a #
MonadState s m => MonadState s (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods get :: SourceT m s # put :: s -> SourceT m () # state :: (s -> (a, s)) -> SourceT m a #
MonadError e m => MonadError e (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods throwError :: e -> SourceT m a # catchError :: SourceT m a -> (e -> SourceT m a) -> SourceT m a #
TableCoreInfoRM b m => TableCoreInfoRM b (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> SourceT m (Maybe (TableCoreInfo b)) Source #
Monad m => Monad (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (>>=) :: SourceT m a -> (a -> SourceT m b) -> SourceT m b # (>>) :: SourceT m a -> SourceT m b -> SourceT m b # return :: a -> SourceT m a #
Functor m => Functor (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods fmap :: (a -> b) -> SourceT m a -> SourceT m b # (<$) :: a -> SourceT m b -> SourceT m a #
Applicative m => Applicative (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods pure :: a -> SourceT m a # (<>) :: SourceT m (a -> b) -> SourceT m a -> SourceT m b # liftA2 :: (a -> b -> c) -> SourceT m a -> SourceT m b -> SourceT m c # (>) :: SourceT m a -> SourceT m b -> SourceT m b # (<*) :: SourceT m a -> SourceT m b -> SourceT m a #
MonadIO m => MonadIO (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftIO :: IO a -> SourceT m a #
MonadTx m => MonadTx (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftTx :: TxE QErr a -> SourceT m a Source #
CacheRM m => CacheRM (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: SourceT m SchemaCache Source #
Monad m => SourceM (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: SourceT m SourceName Source #

class SourceM m => TableCoreInfoRM b m where Source #

A more limited version of CacheRM that is used when building the schema cache, since the entire schema cache has not been built yet.

Methods

lookupTableCoreInfo :: TableName b -> m (Maybe (TableCoreInfo b)) Source #

Instances

Instances details

TableCoreInfoRM b m => TableCoreInfoRM b (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> SourceT m (Maybe (TableCoreInfo b)) Source #
TableCoreInfoRM b m => TableCoreInfoRM b (TraceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> TraceT m (Maybe (TableCoreInfo b)) Source #
TableCoreInfoRM b m => TableCoreInfoRM b (MetadataT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache.Build Methods lookupTableCoreInfo :: TableName b -> MetadataT m (Maybe (TableCoreInfo b)) Source #
(Monad m, Backend b) => TableCoreInfoRM b (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> TableCacheRT b m (Maybe (TableCoreInfo b)) Source #
(MonadDepend m, Backend b) => TableCoreInfoRM b (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> TableCoreCacheRT b m (Maybe (TableCoreInfo b)) Source #
(Monoid w, TableCoreInfoRM b m) => TableCoreInfoRM b (WriterT w m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> WriterT w m (Maybe (TableCoreInfo b)) Source #
TableCoreInfoRM b m => TableCoreInfoRM b (StateT s m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> StateT s m (Maybe (TableCoreInfo b)) Source #
TableCoreInfoRM b m => TableCoreInfoRM b (ReaderT r m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> ReaderT r m (Maybe (TableCoreInfo b)) Source #

newtype TableCoreCacheRT b m a Source #

Constructors

TableCoreCacheRT
Fields runTableCoreCacheRT :: (SourceName, Dependency (TableCoreCache b)) -> m a

Instances

Instances details

MonadWriter w m => MonadWriter w (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods writer :: (a, w) -> TableCoreCacheRT b m a # tell :: w -> TableCoreCacheRT b m () # listen :: TableCoreCacheRT b m a -> TableCoreCacheRT b m (a, w) # pass :: TableCoreCacheRT b m (a, w -> w) -> TableCoreCacheRT b m a #
MonadState s m => MonadState s (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods get :: TableCoreCacheRT b m s # put :: s -> TableCoreCacheRT b m () # state :: (s -> (a, s)) -> TableCoreCacheRT b m a #
MonadReader r m => MonadReader r (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods ask :: TableCoreCacheRT b m r # local :: (r -> r) -> TableCoreCacheRT b m a -> TableCoreCacheRT b m a # reader :: (r -> a) -> TableCoreCacheRT b m a #
MonadError e m => MonadError e (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods throwError :: e -> TableCoreCacheRT b m a # catchError :: TableCoreCacheRT b m a -> (e -> TableCoreCacheRT b m a) -> TableCoreCacheRT b m a #
(MonadDepend m, Backend b) => TableCoreInfoRM b (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> TableCoreCacheRT b m (Maybe (TableCoreInfo b)) Source #
MonadTrans (TableCoreCacheRT b) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lift :: Monad m => m a -> TableCoreCacheRT b m a #
Monad m => Monad (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (>>=) :: TableCoreCacheRT b m a -> (a -> TableCoreCacheRT b m b0) -> TableCoreCacheRT b m b0 # (>>) :: TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 -> TableCoreCacheRT b m b0 # return :: a -> TableCoreCacheRT b m a #
Functor m => Functor (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods fmap :: (a -> b0) -> TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 # (<$) :: a -> TableCoreCacheRT b m b0 -> TableCoreCacheRT b m a #
Applicative m => Applicative (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods pure :: a -> TableCoreCacheRT b m a # (<>) :: TableCoreCacheRT b m (a -> b0) -> TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 # liftA2 :: (a -> b0 -> c) -> TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 -> TableCoreCacheRT b m c # (>) :: TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 -> TableCoreCacheRT b m b0 # (<*) :: TableCoreCacheRT b m a -> TableCoreCacheRT b m b0 -> TableCoreCacheRT b m a #
MonadIO m => MonadIO (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftIO :: IO a -> TableCoreCacheRT b m a #
MonadTx m => MonadTx (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftTx :: TxE QErr a -> TableCoreCacheRT b m a Source #
Monad m => SourceM (TableCoreCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: TableCoreCacheRT b m SourceName Source #

class TableCoreInfoRM b m => TableInfoRM b m where Source #

All our RQL DML queries operate over a single source. This typeclass facilitates that.

Methods

lookupTableInfo :: TableName b -> m (Maybe (TableInfo b)) Source #

Instances

Instances details

TableInfoRM b m => TableInfoRM b (TraceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> TraceT m (Maybe (TableInfo b)) Source #
(Monad m, Backend b) => TableInfoRM b (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> TableCacheRT b m (Maybe (TableInfo b)) Source #
(Monoid w, TableInfoRM b m) => TableInfoRM b (WriterT w m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> WriterT w m (Maybe (TableInfo b)) Source #
TableInfoRM b m => TableInfoRM b (StateT s m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> StateT s m (Maybe (TableInfo b)) Source #
TableInfoRM b m => TableInfoRM b (ReaderT r m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> ReaderT r m (Maybe (TableInfo b)) Source #

newtype TableCacheRT b m a Source #

Constructors

TableCacheRT
Fields runTableCacheRT :: (SourceName, TableCache b) -> m a

Instances

Instances details

MonadWriter w m => MonadWriter w (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods writer :: (a, w) -> TableCacheRT b m a # tell :: w -> TableCacheRT b m () # listen :: TableCacheRT b m a -> TableCacheRT b m (a, w) # pass :: TableCacheRT b m (a, w -> w) -> TableCacheRT b m a #
MonadState s m => MonadState s (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods get :: TableCacheRT b m s # put :: s -> TableCacheRT b m () # state :: (s -> (a, s)) -> TableCacheRT b m a #
MonadError e m => MonadError e (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods throwError :: e -> TableCacheRT b m a # catchError :: TableCacheRT b m a -> (e -> TableCacheRT b m a) -> TableCacheRT b m a #
(Monad m, Backend b) => TableInfoRM b (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableInfo :: TableName b -> TableCacheRT b m (Maybe (TableInfo b)) Source #
(Monad m, Backend b) => TableCoreInfoRM b (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lookupTableCoreInfo :: TableName b -> TableCacheRT b m (Maybe (TableCoreInfo b)) Source #
MonadTrans (TableCacheRT b) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods lift :: Monad m => m a -> TableCacheRT b m a #
Monad m => Monad (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods (>>=) :: TableCacheRT b m a -> (a -> TableCacheRT b m b0) -> TableCacheRT b m b0 # (>>) :: TableCacheRT b m a -> TableCacheRT b m b0 -> TableCacheRT b m b0 # return :: a -> TableCacheRT b m a #
Functor m => Functor (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods fmap :: (a -> b0) -> TableCacheRT b m a -> TableCacheRT b m b0 # (<$) :: a -> TableCacheRT b m b0 -> TableCacheRT b m a #
Applicative m => Applicative (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods pure :: a -> TableCacheRT b m a # (<>) :: TableCacheRT b m (a -> b0) -> TableCacheRT b m a -> TableCacheRT b m b0 # liftA2 :: (a -> b0 -> c) -> TableCacheRT b m a -> TableCacheRT b m b0 -> TableCacheRT b m c # (>) :: TableCacheRT b m a -> TableCacheRT b m b0 -> TableCacheRT b m b0 # (<*) :: TableCacheRT b m a -> TableCacheRT b m b0 -> TableCacheRT b m a #
MonadIO m => MonadIO (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftIO :: IO a -> TableCacheRT b m a #
UserInfoM m => UserInfoM (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askUserInfo :: TableCacheRT b m UserInfo Source #
HasServerConfigCtx m => HasServerConfigCtx (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askServerConfigCtx :: TableCacheRT b m ServerConfigCtx Source #
MonadTx m => MonadTx (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods liftTx :: TxE QErr a -> TableCacheRT b m a Source #
Monad m => SourceM (TableCacheRT b m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askCurrentSource :: TableCacheRT b m SourceName Source #

class Monad m => CacheRM m where Source #

Methods

askSchemaCache :: m SchemaCache Source #

Instances

Instances details

CacheRM m => CacheRM (TraceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: TraceT m SchemaCache Source #
CacheRM m => CacheRM (SourceT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: SourceT m SchemaCache Source #
CacheRM m => CacheRM (MetadataT m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache.Build Methods askSchemaCache :: MetadataT m SchemaCache Source #
Monad m => CacheRM (CacheRWT m) Source #
Instance details Defined in Hasura.RQL.DDL.Schema.Cache Methods askSchemaCache :: CacheRWT m SchemaCache Source #
CacheRM m => CacheRM (ReaderT r m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: ReaderT r m SchemaCache Source #
CacheRM m => CacheRM (StateT s m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: StateT s m SchemaCache Source #
(Monoid w, CacheRM m) => CacheRM (WriterT w m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: WriterT w m SchemaCache Source #
CacheRM m => CacheRM (TxET e m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: TxET e m SchemaCache Source #
CacheRM m => CacheRM (TxET QErr m) Source #
Instance details Defined in Hasura.RQL.Types.SchemaCache Methods askSchemaCache :: TxET QErr m SchemaCache Source #

getDependentObjs :: SchemaCache -> SchemaObjId -> [SchemaObjId] Source #

getDependentObjsWith :: (DependencyReason -> Bool) -> SchemaCache -> SchemaObjId -> [SchemaObjId] Source #

getRemoteDependencies :: SchemaCache -> SourceName -> [SchemaObjId] Source #

Compute all remote dependencies on a source.

Given a source name, this function computes all of its dependencies, direct or indirect, and returns all of the dependencies that are not "local" to the source, i.e. that belong to another source or to a remote schema, here dubbed "remote dependencies".

This functions returns a SchemaObjId for each such dependency, but makes no attempt at extracting the underlying SourceObjId (if any), for two reasons: 1. a SourceObjId no longer contains the source name, which most callers need to identify where the corresponding dependency is 2. this would prevent us from returning remote schema dependencies, which by definition do not have a corresponding SourceObjId

getBoolExpDeps :: forall b. GetAggregationPredicatesDeps b => SourceName -> TableName b -> AnnBoolExpPartialSQL b -> [SchemaDependency] Source #

Discover the schema dependencies of an AnnBoolExpPartialSQL.

getBoolExpDeps' :: forall b. (Backend b, GetAggregationPredicatesDeps b) => AnnBoolExpPartialSQL b -> BoolExpM b [SchemaDependency] Source #

getColExpDeps :: forall b. (Backend b, GetAggregationPredicatesDeps b) => AnnBoolExpFld b (PartialSQLExp b) -> BoolExpM b [SchemaDependency] Source #

getOpExpDeps :: forall b. Backend b => [OpExpG b (PartialSQLExp b)] -> BoolExpM b [SchemaDependency] Source #

askFieldInfoMapSource :: (QErrM m, Backend b, TableCoreInfoRM b m) => TableName b -> m (FieldInfoMap (FieldInfo b)) Source #

Asking for a table's fields info without explicit SourceName argument. The source name is implicitly inferred fromSourceM via @TableCoreInfoRM.