graphql-engine-1.0.0: GraphQL API over Postgres
Safe HaskellNone
LanguageHaskell2010

Hasura.RQL.Types.SchemaCacheTypes

Synopsis

Documentation

data TableObjId (b :: BackendType) Source #

Constructors

TOCol (Column b) 
TORel RelName 
TOComputedField ComputedFieldName 
TORemoteRel RelName 
TOForeignKey (ConstraintName b) 
TOPerm RoleName PermType 
TOTrigger TriggerName 

Instances

Instances details
Backend b => Eq (TableObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(==) :: TableObjId b -> TableObjId b -> Bool #

(/=) :: TableObjId b -> TableObjId b -> Bool #

Generic (TableObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Associated Types

type Rep (TableObjId b) :: Type -> Type #

Methods

from :: TableObjId b -> Rep (TableObjId b) x #

to :: Rep (TableObjId b) x -> TableObjId b #

Backend b => Hashable (TableObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

hashWithSalt :: Int -> TableObjId b -> Int

hash :: TableObjId b -> Int

type Rep (TableObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

type Rep (TableObjId b) = D1 ('MetaData "TableObjId" "Hasura.RQL.Types.SchemaCacheTypes" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "TOCol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Column b))) :+: (C1 ('MetaCons "TORel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RelName)) :+: C1 ('MetaCons "TOComputedField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ComputedFieldName)))) :+: ((C1 ('MetaCons "TORemoteRel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RelName)) :+: C1 ('MetaCons "TOForeignKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ConstraintName b)))) :+: (C1 ('MetaCons "TOPerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RoleName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PermType)) :+: C1 ('MetaCons "TOTrigger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TriggerName)))))

data SourceObjId (b :: BackendType) Source #

Constructors

SOITable (TableName b) 
SOITableObj (TableName b) (TableObjId b) 
SOIFunction (FunctionName b) 

Instances

Instances details
Backend b => Eq (SourceObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(==) :: SourceObjId b -> SourceObjId b -> Bool #

(/=) :: SourceObjId b -> SourceObjId b -> Bool #

Generic (SourceObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Associated Types

type Rep (SourceObjId b) :: Type -> Type #

Methods

from :: SourceObjId b -> Rep (SourceObjId b) x #

to :: Rep (SourceObjId b) x -> SourceObjId b #

Backend b => Hashable (SourceObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

hashWithSalt :: Int -> SourceObjId b -> Int

hash :: SourceObjId b -> Int

type Rep (SourceObjId b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

type Rep (SourceObjId b) = D1 ('MetaData "SourceObjId" "Hasura.RQL.Types.SchemaCacheTypes" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SOITable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b))) :+: (C1 ('MetaCons "SOITableObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableObjId b))) :+: C1 ('MetaCons "SOIFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FunctionName b)))))

data SchemaObjId Source #

Constructors

SOSource SourceName 
SOSourceObj SourceName (AnyBackend SourceObjId) 
SORemoteSchema RemoteSchemaName 
SORemoteSchemaPermission RemoteSchemaName RoleName 
SORemoteSchemaRemoteRelationship RemoteSchemaName Name RelName

A remote relationship on a remote schema type, identified by 1. remote schema name 2. remote schema type on which the relationship is defined 3. name of the relationship

SORole RoleName 

Instances

Instances details
Eq SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(==) :: SchemaObjId -> SchemaObjId -> Bool #

(/=) :: SchemaObjId -> SchemaObjId -> Bool #

Show SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

showsPrec :: Int -> SchemaObjId -> ShowS #

show :: SchemaObjId -> String #

showList :: [SchemaObjId] -> ShowS #

Generic SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Associated Types

type Rep SchemaObjId :: Type -> Type #

Methods

from :: SchemaObjId -> Rep SchemaObjId x #

to :: Rep SchemaObjId x -> SchemaObjId #

Hashable SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

hashWithSalt :: Int -> SchemaObjId -> Int

hash :: SchemaObjId -> Int

ToJSONKey SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

toJSONKey :: ToJSONKeyFunction SchemaObjId

toJSONKeyList :: ToJSONKeyFunction [SchemaObjId]

ToJSON SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

toJSON :: SchemaObjId -> Value

toEncoding :: SchemaObjId -> Encoding

toJSONList :: [SchemaObjId] -> Value

toEncodingList :: [SchemaObjId] -> Encoding

type Rep SchemaObjId Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

type Rep SchemaObjId = D1 ('MetaData "SchemaObjId" "Hasura.RQL.Types.SchemaCacheTypes" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "SOSource" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SourceName)) :+: (C1 ('MetaCons "SOSourceObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SourceName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnyBackend SourceObjId))) :+: C1 ('MetaCons "SORemoteSchema" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RemoteSchemaName)))) :+: (C1 ('MetaCons "SORemoteSchemaPermission" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RemoteSchemaName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RoleName)) :+: (C1 ('MetaCons "SORemoteSchemaRemoteRelationship" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RemoteSchemaName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RelName))) :+: C1 ('MetaCons "SORole" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RoleName)))))

reportSchemaObj :: SchemaObjId -> Text Source #

reportSchemaObjs :: [SchemaObjId] -> Text Source #

data DependencyReason Source #

Constructors

DRTable 
DRColumn 
DRRemoteTable 
DRLeftColumn 
DRRightColumn 
DRUsingColumn 
DRFkey 
DRRemoteFkey 
DRUntyped 
DROnType 
DRSessionVariable 
DRPayload 
DRParent 
DRRemoteSchema 
DRRemoteRelationship 
DRParentRole 

Instances

Instances details
Eq DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(==) :: DependencyReason -> DependencyReason -> Bool #

(/=) :: DependencyReason -> DependencyReason -> Bool #

Show DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

showsPrec :: Int -> DependencyReason -> ShowS #

show :: DependencyReason -> String #

showList :: [DependencyReason] -> ShowS #

Generic DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Associated Types

type Rep DependencyReason :: Type -> Type #

Methods

from :: DependencyReason -> Rep DependencyReason x #

to :: Rep DependencyReason x -> DependencyReason #

Hashable DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

hashWithSalt :: Int -> DependencyReason -> Int

hash :: DependencyReason -> Int

ToJSON DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

toJSON :: DependencyReason -> Value

toEncoding :: DependencyReason -> Encoding

toJSONList :: [DependencyReason] -> Value

toEncodingList :: [DependencyReason] -> Encoding

type Rep DependencyReason Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

type Rep DependencyReason = D1 ('MetaData "DependencyReason" "Hasura.RQL.Types.SchemaCacheTypes" "graphql-engine-1.0.0-inplace" 'False) ((((C1 ('MetaCons "DRTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRColumn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DRRemoteTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRLeftColumn" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DRRightColumn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRUsingColumn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DRFkey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRRemoteFkey" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "DRUntyped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DROnType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DRSessionVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRPayload" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DRParent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRRemoteSchema" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DRRemoteRelationship" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRParentRole" 'PrefixI 'False) (U1 :: Type -> Type)))))

reasonToTxt :: DependencyReason -> Text Source #

data SchemaDependency Source #

Constructors

SchemaDependency 

Fields

Instances

Instances details
Eq SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(==) :: SchemaDependency -> SchemaDependency -> Bool #

(/=) :: SchemaDependency -> SchemaDependency -> Bool #

Show SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

showsPrec :: Int -> SchemaDependency -> ShowS #

show :: SchemaDependency -> String #

showList :: [SchemaDependency] -> ShowS #

Generic SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Associated Types

type Rep SchemaDependency :: Type -> Type #

Methods

from :: SchemaDependency -> Rep SchemaDependency x #

to :: Rep SchemaDependency x -> SchemaDependency #

Hashable SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

hashWithSalt :: Int -> SchemaDependency -> Int

hash :: SchemaDependency -> Int

ToJSON SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

toJSON :: SchemaDependency -> Value

toEncoding :: SchemaDependency -> Encoding

toJSONList :: [SchemaDependency] -> Value

toEncodingList :: [SchemaDependency] -> Encoding

type Rep SchemaDependency Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

type Rep SchemaDependency = D1 ('MetaData "SchemaDependency" "Hasura.RQL.Types.SchemaCacheTypes" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SchemaDependency" 'PrefixI 'True) (S1 ('MetaSel ('Just "sdObjId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaObjId) :*: S1 ('MetaSel ('Just "sdReason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 DependencyReason)))

reportDependentObjectsExist :: MonadError QErr m => [SchemaObjId] -> m () Source #

purgeSourceAndSchemaDependencies :: MonadError QErr m => SchemaObjId -> WriterT MetadataModifier m () Source #

purgeDependentObject :: forall b m. (MonadError QErr m, Backend b) => SourceName -> SourceObjId b -> m MetadataModifier Source #

class Backend b => GetAggregationPredicatesDeps b where Source #

Type class to collect schema dependencies from backend-specific aggregation predicates.

Minimal complete definition

Nothing

Methods

getAggregationPredicateDeps :: AggregationPredicates b (PartialSQLExp b) -> BoolExpM b [SchemaDependency] Source #

default getAggregationPredicateDeps :: AggregationPredicates b ~ Const Void => AggregationPredicates b (PartialSQLExp b) -> BoolExpM b [SchemaDependency] Source #

Instances

Instances details
Backend 'MSSQL => GetAggregationPredicatesDeps 'MSSQL Source # 
Instance details

Defined in Hasura.Backends.MSSQL.Instances.SchemaCache

Methods

getAggregationPredicateDeps :: AggregationPredicates 'MSSQL (PartialSQLExp 'MSSQL) -> BoolExpM 'MSSQL [SchemaDependency] Source #

Backend 'BigQuery => GetAggregationPredicatesDeps 'BigQuery Source # 
Instance details

Defined in Hasura.Backends.BigQuery.Instances.SchemaCache

Methods

getAggregationPredicateDeps :: AggregationPredicates 'BigQuery (PartialSQLExp 'BigQuery) -> BoolExpM 'BigQuery [SchemaDependency] Source #

Backend 'MySQL => GetAggregationPredicatesDeps 'MySQL Source # 
Instance details

Defined in Hasura.Backends.MySQL.Instances.SchemaCache

Methods

getAggregationPredicateDeps :: AggregationPredicates 'MySQL (PartialSQLExp 'MySQL) -> BoolExpM 'MySQL [SchemaDependency] Source #

Backend 'DataConnector => GetAggregationPredicatesDeps 'DataConnector Source # 
Instance details

Defined in Hasura.Backends.DataConnector.Adapter.SchemaCache

Methods

getAggregationPredicateDeps :: AggregationPredicates 'DataConnector (PartialSQLExp 'DataConnector) -> BoolExpM 'DataConnector [SchemaDependency] Source #

Backend ('Postgres pgKind) => GetAggregationPredicatesDeps ('Postgres pgKind) Source # 
Instance details

Defined in Hasura.Backends.Postgres.Instances.SchemaCache

Methods

getAggregationPredicateDeps :: AggregationPredicates ('Postgres pgKind) (PartialSQLExp ('Postgres pgKind)) -> BoolExpM ('Postgres pgKind) [SchemaDependency] Source #

newtype BoolExpM b a Source #

The monad for doing schema dependency discovery for boolean expressions. maintains the table context of the expressions being translated.

Constructors

BoolExpM 

Fields

Instances

Instances details
Monad (BoolExpM b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

(>>=) :: BoolExpM b a -> (a -> BoolExpM b b0) -> BoolExpM b b0 #

(>>) :: BoolExpM b a -> BoolExpM b b0 -> BoolExpM b b0 #

return :: a -> BoolExpM b a #

Functor (BoolExpM b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

fmap :: (a -> b0) -> BoolExpM b a -> BoolExpM b b0 #

(<$) :: a -> BoolExpM b b0 -> BoolExpM b a #

Applicative (BoolExpM b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

pure :: a -> BoolExpM b a #

(<*>) :: BoolExpM b (a -> b0) -> BoolExpM b a -> BoolExpM b b0 #

liftA2 :: (a -> b0 -> c) -> BoolExpM b a -> BoolExpM b b0 -> BoolExpM b c #

(*>) :: BoolExpM b a -> BoolExpM b b0 -> BoolExpM b b0 #

(<*) :: BoolExpM b a -> BoolExpM b b0 -> BoolExpM b a #

MonadReader (BoolExpCtx b) (BoolExpM b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

ask :: BoolExpM b (BoolExpCtx b) #

local :: (BoolExpCtx b -> BoolExpCtx b) -> BoolExpM b a -> BoolExpM b a #

reader :: (BoolExpCtx b -> a) -> BoolExpM b a #

data BoolExpCtx b Source #

The table type context of schema dependency discovery. Boolean expressions may refer to a so-called 'root table' (identified by a $-sign in the expression input syntax) or the current table.

Constructors

BoolExpCtx 

Fields

Instances

Instances details
MonadReader (BoolExpCtx b) (BoolExpM b) Source # 
Instance details

Defined in Hasura.RQL.Types.SchemaCacheTypes

Methods

ask :: BoolExpM b (BoolExpCtx b) #

local :: (BoolExpCtx b -> BoolExpCtx b) -> BoolExpM b a -> BoolExpM b a #

reader :: (BoolExpCtx b -> a) -> BoolExpM b a #

runBoolExpM :: BoolExpCtx b -> BoolExpM b a -> a Source #