Safe Haskell	None
Language	Haskell2010

Hasura.RQL.Types.Table

Synopsis

data CustomRootField = CustomRootField {
- _crfName :: Maybe Name
- _crfComment :: Comment
}
defaultCustomRootField :: CustomRootField
data TableCustomRootFields = TableCustomRootFields {
- _tcrfSelect :: CustomRootField
- _tcrfSelectByPk :: CustomRootField
- _tcrfSelectAggregate :: CustomRootField
- _tcrfSelectStream :: CustomRootField
- _tcrfInsert :: CustomRootField
- _tcrfInsertOne :: CustomRootField
- _tcrfUpdate :: CustomRootField
- _tcrfUpdateByPk :: CustomRootField
- _tcrfUpdateMany :: CustomRootField
- _tcrfDelete :: CustomRootField
- _tcrfDeleteByPk :: CustomRootField
}
emptyCustomRootFields :: TableCustomRootFields
getAllCustomRootFields :: TableCustomRootFields -> [CustomRootField]
data FieldInfo (b :: BackendType)
- = FIColumn (ColumnInfo b)
- | FIRelationship (RelInfo b)
- | FIComputedField (ComputedFieldInfo b)
- | FIRemoteRelationship (RemoteFieldInfo (DBJoinField b))
_FIRemoteRelationship :: forall b. Prism' (FieldInfo b) (RemoteFieldInfo (DBJoinField b))
_FIComputedField :: forall b. Prism' (FieldInfo b) (ComputedFieldInfo b)
_FIRelationship :: forall b. Prism' (FieldInfo b) (RelInfo b)
_FIColumn :: forall b. Prism' (FieldInfo b) (ColumnInfo b)
type FieldInfoMap = HashMap FieldName
fieldInfoName :: forall b. Backend b => FieldInfo b -> FieldName
fieldInfoGraphQLName :: FieldInfo b -> Maybe Name
getRemoteFieldInfoName :: RemoteFieldInfo lhsJoinField -> RelName
fieldInfoGraphQLNames :: FieldInfo b -> [Name]
getCols :: FieldInfoMap (FieldInfo backend) -> [ColumnInfo backend]
sortCols :: [ColumnInfo backend] -> [ColumnInfo backend]
getRels :: FieldInfoMap (FieldInfo backend) -> [RelInfo backend]
getComputedFieldInfos :: FieldInfoMap (FieldInfo backend) -> [ComputedFieldInfo backend]
data InsPermInfo (b :: BackendType) = InsPermInfo {
- ipiCols :: HashSet (Column b)
- ipiCheck :: AnnBoolExpPartialSQL b
- ipiSet :: PreSetColsPartial b
- ipiBackendOnly :: Bool
- ipiRequiredHeaders :: HashSet Text
}
data CombinedSelPermInfo (b :: BackendType) = CombinedSelPermInfo {
- cspiCols :: [HashMap (Column b) (Maybe (AnnColumnCaseBoolExpPartialSQL b))]
- cspiComputedFields :: [HashMap ComputedFieldName (Maybe (AnnColumnCaseBoolExpPartialSQL b))]
- cspiFilter :: [AnnBoolExpPartialSQL b]
- cspiLimit :: Maybe (Max Int)
- cspiAllowAgg :: Any
- cspiRequiredHeaders :: HashSet Text
- cspiAllowedQueryRootFieldTypes :: AllowedRootFields QueryRootFieldType
- cspiAllowedSubscriptionRootFieldTypes :: AllowedRootFields SubscriptionRootFieldType
}
combinedSelPermInfoToSelPermInfo :: Backend b => Int -> CombinedSelPermInfo b -> SelPermInfo b
data SelPermInfo (b :: BackendType) = SelPermInfo {
- spiCols :: HashMap (Column b) (Maybe (AnnColumnCaseBoolExpPartialSQL b))
- spiComputedFields :: HashMap ComputedFieldName (Maybe (AnnColumnCaseBoolExpPartialSQL b))
- spiFilter :: AnnBoolExpPartialSQL b
- spiLimit :: Maybe Int
- spiAllowAgg :: Bool
- spiRequiredHeaders :: HashSet Text
- spiAllowedQueryRootFields :: AllowedRootFields QueryRootFieldType
- spiAllowedSubscriptionRootFields :: AllowedRootFields SubscriptionRootFieldType
}
data UpdPermInfo (b :: BackendType) = UpdPermInfo {
- upiCols :: HashSet (Column b)
- upiTable :: TableName b
- upiFilter :: AnnBoolExpPartialSQL b
- upiCheck :: Maybe (AnnBoolExpPartialSQL b)
- upiSet :: PreSetColsPartial b
- upiBackendOnly :: Bool
- upiRequiredHeaders :: HashSet Text
}
data DelPermInfo (b :: BackendType) = DelPermInfo {
- dpiTable :: TableName b
- dpiFilter :: AnnBoolExpPartialSQL b
- dpiBackendOnly :: !Bool
- dpiRequiredHeaders :: HashSet Text
}
data RolePermInfo (b :: BackendType) = RolePermInfo {
- _permIns :: Maybe (InsPermInfo b)
- _permSel :: Maybe (SelPermInfo b)
- _permUpd :: Maybe (UpdPermInfo b)
- _permDel :: Maybe (DelPermInfo b)
}
permUpd :: forall b. Lens' (RolePermInfo b) (Maybe (UpdPermInfo b))
permSel :: forall b. Lens' (RolePermInfo b) (Maybe (SelPermInfo b))
permIns :: forall b. Lens' (RolePermInfo b) (Maybe (InsPermInfo b))
permDel :: forall b. Lens' (RolePermInfo b) (Maybe (DelPermInfo b))
type RolePermInfoMap b = HashMap RoleName (RolePermInfo b)
data ViewInfo = ViewInfo {
- viIsUpdatable :: Bool
- viIsDeletable :: Bool
- viIsInsertable :: Bool
}
isMutable :: (ViewInfo -> Bool) -> Maybe ViewInfo -> Bool
data ColumnConfig = ColumnConfig {
- _ccfgCustomName :: Maybe Name
- _ccfgComment :: Comment
}
data TableConfig b = TableConfig {
- _tcCustomRootFields :: TableCustomRootFields
- _tcColumnConfig :: HashMap (Column b) ColumnConfig
- _tcCustomName :: Maybe Name
- _tcComment :: Comment
}
tcCustomRootFields :: forall b. Lens' (TableConfig b) TableCustomRootFields
tcCustomName :: forall b. Lens' (TableConfig b) (Maybe Name)
tcComment :: forall b. Lens' (TableConfig b) Comment
tcColumnConfig :: forall b b. Lens (TableConfig b) (TableConfig b) (HashMap (Column b) ColumnConfig) (HashMap (Column b) ColumnConfig)
emptyTableConfig :: TableConfig b
data Constraint (b :: BackendType) = Constraint {
- _cName :: ConstraintName b
- _cOid :: OID
}
data PrimaryKey (b :: BackendType) a = PrimaryKey {
- _pkConstraint :: Constraint b
- _pkColumns :: NESeq a
}
pkConstraint :: forall b a b. Lens (PrimaryKey b a) (PrimaryKey b a) (Constraint b) (Constraint b)
pkColumns :: forall b a a. Lens (PrimaryKey b a) (PrimaryKey b a) (NESeq a) (NESeq a)
data UniqueConstraint (b :: BackendType) = UniqueConstraint {
- _ucConstraint :: Constraint b
- _ucColumns :: HashSet (Column b)
}
data ForeignKey (b :: BackendType) = ForeignKey {
- _fkConstraint :: Constraint b
- _fkForeignTable :: TableName b
- _fkColumnMapping :: NEHashMap (Column b) (Column b)
}
data TableCoreInfoG (b :: BackendType) field primaryKeyColumn = TableCoreInfo {
- _tciName :: TableName b
- _tciDescription :: Maybe PGDescription
- _tciFieldInfoMap :: FieldInfoMap field
- _tciPrimaryKey :: Maybe (PrimaryKey b primaryKeyColumn)
- _tciUniqueConstraints :: HashSet (UniqueConstraint b)
- _tciForeignKeys :: HashSet (ForeignKey b)
- _tciViewInfo :: Maybe ViewInfo
- _tciEnumValues :: Maybe EnumValues
- _tciCustomConfig :: TableConfig b
- _tciExtraTableMetadata :: ExtraTableMetadata b
- _tciApolloFederationConfig :: Maybe ApolloFederationConfig
}
tciViewInfo :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe ViewInfo)
tciUniqueConstraints :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (HashSet (UniqueConstraint b))
tciPrimaryKey :: forall b field primaryKeyColumn primaryKeyColumn. Lens (TableCoreInfoG b field primaryKeyColumn) (TableCoreInfoG b field primaryKeyColumn) (Maybe (PrimaryKey b primaryKeyColumn)) (Maybe (PrimaryKey b primaryKeyColumn))
tciName :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (TableName b)
tciForeignKeys :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (HashSet (ForeignKey b))
tciFieldInfoMap :: forall b field primaryKeyColumn field. Lens (TableCoreInfoG b field primaryKeyColumn) (TableCoreInfoG b field primaryKeyColumn) (FieldInfoMap field) (FieldInfoMap field)
tciExtraTableMetadata :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (ExtraTableMetadata b)
tciEnumValues :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe EnumValues)
tciDescription :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe PGDescription)
tciCustomConfig :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (TableConfig b)
tciApolloFederationConfig :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe ApolloFederationConfig)
type TableCoreInfo b = TableCoreInfoG b (FieldInfo b) (ColumnInfo b)
tciUniqueOrPrimaryKeyConstraints :: forall b f. (Eq (Column b), Hashable (Column b)) => TableCoreInfoG b f (ColumnInfo b) -> Maybe (NonEmpty (UniqueConstraint b))
data TableInfo (b :: BackendType) = TableInfo {
- _tiCoreInfo :: TableCoreInfo b
- _tiRolePermInfoMap :: RolePermInfoMap b
- _tiEventTriggerInfoMap :: EventTriggerInfoMap b
- _tiAdminRolePermInfo :: RolePermInfo b
}
tiRolePermInfoMap :: forall b. Lens' (TableInfo b) (RolePermInfoMap b)
tiEventTriggerInfoMap :: forall b. Lens' (TableInfo b) (EventTriggerInfoMap b)
tiCoreInfo :: forall b. Lens' (TableInfo b) (TableCoreInfo b)
tiAdminRolePermInfo :: forall b. Lens' (TableInfo b) (RolePermInfo b)
tiName :: Lens' (TableInfo b) (TableName b)
tableInfoName :: TableInfo b -> TableName b
tableArrayRelationships :: TableInfo b -> [RelInfo b]
getRolePermInfo :: RoleName -> TableInfo b -> RolePermInfo b
type TableCoreCache b = HashMap (TableName b) (TableCoreInfo b)
type TableCache b = HashMap (TableName b) (TableInfo b)
type TableEventTriggers b = HashMap (TableName b) [TriggerName]
newtype ForeignKeyMetadata (b :: BackendType) = ForeignKeyMetadata {
- unForeignKeyMetadata :: ForeignKey b
}
data DBTableMetadata (b :: BackendType) = DBTableMetadata {
- _ptmiOid :: OID
- _ptmiColumns :: [RawColumnInfo b]
- _ptmiPrimaryKey :: Maybe (PrimaryKey b (Column b))
- _ptmiUniqueConstraints :: HashSet (UniqueConstraint b)
- _ptmiForeignKeys :: HashSet (ForeignKeyMetadata b)
- _ptmiViewInfo :: Maybe ViewInfo
- _ptmiDescription :: Maybe PGDescription
- _ptmiExtraTableMetadata :: ExtraTableMetadata b
}
type DBTablesMetadata b = HashMap (TableName b) (DBTableMetadata b)
getFieldInfoM :: TableInfo b -> FieldName -> Maybe (FieldInfo b)
getColumnInfoM :: TableInfo b -> FieldName -> Maybe (ColumnInfo b)
askFieldInfo :: MonadError QErr m => FieldInfoMap fieldInfo -> FieldName -> m fieldInfo
askColumnType :: (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Column backend -> Text -> m (ColumnType backend)
askColInfo :: forall m backend. (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Column backend -> Text -> m (ColumnInfo backend)
askComputedFieldInfo :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> ComputedFieldName -> m (ComputedFieldInfo backend)
assertColumnExists :: forall backend m. (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Text -> Column backend -> m ()
askRelType :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> RelName -> Text -> m (RelInfo backend)
askRemoteRel :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> RelName -> m (RemoteFieldInfo (DBJoinField backend))
mkAdminRolePermInfo :: Backend b => TableCoreInfo b -> RolePermInfo b

Documentation

data CustomRootField Source #

Constructors

CustomRootField
Fields _crfName :: Maybe Name _crfComment :: Comment

Instances

Instances details

Eq CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: CustomRootField -> CustomRootField -> Bool # (/=) :: CustomRootField -> CustomRootField -> Bool #
Show CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> CustomRootField -> ShowS # show :: CustomRootField -> String # showList :: [CustomRootField] -> ShowS #
Generic CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep CustomRootField :: Type -> Type # Methods from :: CustomRootField -> Rep CustomRootField x # to :: Rep CustomRootField x -> CustomRootField #
NFData CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: CustomRootField -> () #
FromJSON CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser CustomRootField parseJSONList :: Value -> Parser [CustomRootField]
ToJSON CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: CustomRootField -> Value toEncoding :: CustomRootField -> Encoding toJSONList :: [CustomRootField] -> Value toEncodingList :: [CustomRootField] -> Encoding
Cacheable CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> CustomRootField -> CustomRootField -> Bool Source #
type Rep CustomRootField Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep CustomRootField = D1 ('MetaData "CustomRootField" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "CustomRootField" 'PrefixI 'True) (S1 ('MetaSel ('Just "_crfName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :*: S1 ('MetaSel ('Just "_crfComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Comment)))

defaultCustomRootField :: CustomRootField Source #

data TableCustomRootFields Source #

Instances

Instances details

Eq TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: TableCustomRootFields -> TableCustomRootFields -> Bool # (/=) :: TableCustomRootFields -> TableCustomRootFields -> Bool #
Show TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> TableCustomRootFields -> ShowS # show :: TableCustomRootFields -> String # showList :: [TableCustomRootFields] -> ShowS #
Generic TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep TableCustomRootFields :: Type -> Type # Methods from :: TableCustomRootFields -> Rep TableCustomRootFields x # to :: Rep TableCustomRootFields x -> TableCustomRootFields #
NFData TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: TableCustomRootFields -> () #
FromJSON TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser TableCustomRootFields parseJSONList :: Value -> Parser [TableCustomRootFields]
ToJSON TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: TableCustomRootFields -> Value toEncoding :: TableCustomRootFields -> Encoding toJSONList :: [TableCustomRootFields] -> Value toEncodingList :: [TableCustomRootFields] -> Encoding
Cacheable TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> TableCustomRootFields -> TableCustomRootFields -> Bool Source #
type Rep TableCustomRootFields Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep TableCustomRootFields = D1 ('MetaData "TableCustomRootFields" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TableCustomRootFields" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_tcrfSelect") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: S1 ('MetaSel ('Just "_tcrfSelectByPk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField)) :: (S1 ('MetaSel ('Just "_tcrfSelectAggregate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: (S1 ('MetaSel ('Just "_tcrfSelectStream") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: S1 ('MetaSel ('Just "_tcrfInsert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField)))) :: ((S1 ('MetaSel ('Just "_tcrfInsertOne") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: (S1 ('MetaSel ('Just "_tcrfUpdate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: S1 ('MetaSel ('Just "_tcrfUpdateByPk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField))) :: (S1 ('MetaSel ('Just "_tcrfUpdateMany") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: (S1 ('MetaSel ('Just "_tcrfDelete") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField) :: S1 ('MetaSel ('Just "_tcrfDeleteByPk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CustomRootField))))))

emptyCustomRootFields :: TableCustomRootFields Source #

getAllCustomRootFields :: TableCustomRootFields -> [CustomRootField] Source #

data FieldInfo (b :: BackendType) Source #

Constructors

FIColumn (ColumnInfo b)
FIRelationship (RelInfo b)
FIComputedField (ComputedFieldInfo b)
FIRemoteRelationship (RemoteFieldInfo (DBJoinField b))

Instances

Instances details

Backend b => Eq (FieldInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: FieldInfo b -> FieldInfo b -> Bool # (/=) :: FieldInfo b -> FieldInfo b -> Bool #
Generic (FieldInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (FieldInfo b) :: Type -> Type # Methods from :: FieldInfo b -> Rep (FieldInfo b) x # to :: Rep (FieldInfo b) x -> FieldInfo b #
Backend b => ToJSON (FieldInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: FieldInfo b -> Value toEncoding :: FieldInfo b -> Encoding toJSONList :: [FieldInfo b] -> Value toEncodingList :: [FieldInfo b] -> Encoding
Backend b => Cacheable (FieldInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> FieldInfo b -> FieldInfo b -> Bool Source #
type Rep (FieldInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (FieldInfo b) = D1 ('MetaData "FieldInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "FIColumn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ColumnInfo b))) :+: C1 ('MetaCons "FIRelationship" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RelInfo b)))) :+: (C1 ('MetaCons "FIComputedField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ComputedFieldInfo b))) :+: C1 ('MetaCons "FIRemoteRelationship" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RemoteFieldInfo (DBJoinField b))))))

_FIRemoteRelationship :: forall b. Prism' (FieldInfo b) (RemoteFieldInfo (DBJoinField b)) Source #

_FIComputedField :: forall b. Prism' (FieldInfo b) (ComputedFieldInfo b) Source #

_FIRelationship :: forall b. Prism' (FieldInfo b) (RelInfo b) Source #

_FIColumn :: forall b. Prism' (FieldInfo b) (ColumnInfo b) Source #

type FieldInfoMap = HashMap FieldName Source #

fieldInfoName :: forall b. Backend b => FieldInfo b -> FieldName Source #

fieldInfoGraphQLName :: FieldInfo b -> Maybe Name Source #

getRemoteFieldInfoName :: RemoteFieldInfo lhsJoinField -> RelName Source #

fieldInfoGraphQLNames :: FieldInfo b -> [Name] Source #

Returns all the field names created for the given field. Columns, object relationships, and computed fields only ever produce a single field, but array relationships also contain an _aggregate field.

getCols :: FieldInfoMap (FieldInfo backend) -> [ColumnInfo backend] Source #

sortCols :: [ColumnInfo backend] -> [ColumnInfo backend] Source #

Sort columns based on their ordinal position

getRels :: FieldInfoMap (FieldInfo backend) -> [RelInfo backend] Source #

getComputedFieldInfos :: FieldInfoMap (FieldInfo backend) -> [ComputedFieldInfo backend] Source #

data InsPermInfo (b :: BackendType) Source #

Constructors

InsPermInfo
Fields ipiCols :: HashSet (Column b) ipiCheck :: AnnBoolExpPartialSQL b ipiSet :: PreSetColsPartial b ipiBackendOnly :: Bool ipiRequiredHeaders :: HashSet Text

Instances

Instances details

(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: InsPermInfo b -> InsPermInfo b -> Bool # (/=) :: InsPermInfo b -> InsPermInfo b -> Bool #
(Backend b, Show (AnnBoolExpPartialSQL b)) => Show (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> InsPermInfo b -> ShowS # show :: InsPermInfo b -> String # showList :: [InsPermInfo b] -> ShowS #
Generic (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (InsPermInfo b) :: Type -> Type # Methods from :: InsPermInfo b -> Rep (InsPermInfo b) x # to :: Rep (InsPermInfo b) x -> InsPermInfo b #
(Backend b, NFData (AnnBoolExpPartialSQL b), NFData (PreSetColsPartial b)) => NFData (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: InsPermInfo b -> () #
(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: InsPermInfo b -> Value toEncoding :: InsPermInfo b -> Encoding toJSONList :: [InsPermInfo b] -> Value toEncodingList :: [InsPermInfo b] -> Encoding
(Backend b, Cacheable (AnnBoolExpPartialSQL b), Cacheable (PreSetColsPartial b)) => Cacheable (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> InsPermInfo b -> InsPermInfo b -> Bool Source #
type Rep (InsPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (InsPermInfo b) = D1 ('MetaData "InsPermInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "InsPermInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ipiCols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (Column b))) :: S1 ('MetaSel ('Just "ipiCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnBoolExpPartialSQL b))) :: (S1 ('MetaSel ('Just "ipiSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PreSetColsPartial b)) :: (S1 ('MetaSel ('Just "ipiBackendOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "ipiRequiredHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet Text))))))

data CombinedSelPermInfo (b :: BackendType) Source #

This type is only used as an intermediate type to combine more than one select permissions for inherited roles.

Constructors

CombinedSelPermInfo

Fields

cspiCols :: [HashMap (Column b) (Maybe (AnnColumnCaseBoolExpPartialSQL b))]
cspiComputedFields :: [HashMap ComputedFieldName (Maybe (AnnColumnCaseBoolExpPartialSQL b))]
cspiFilter :: [AnnBoolExpPartialSQL b]
cspiLimit :: Maybe (Max Int)
cspiAllowAgg :: Any
cspiRequiredHeaders :: HashSet Text
cspiAllowedQueryRootFieldTypes :: AllowedRootFields QueryRootFieldType
cspiAllowedSubscriptionRootFieldTypes :: AllowedRootFields SubscriptionRootFieldType

Instances

Instances details

Backend b => Semigroup (CombinedSelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (<>) :: CombinedSelPermInfo b -> CombinedSelPermInfo b -> CombinedSelPermInfo b # sconcat :: NonEmpty (CombinedSelPermInfo b) -> CombinedSelPermInfo b # stimes :: Integral b0 => b0 -> CombinedSelPermInfo b -> CombinedSelPermInfo b #

combinedSelPermInfoToSelPermInfo :: Backend b => Int -> CombinedSelPermInfo b -> SelPermInfo b Source #

data SelPermInfo (b :: BackendType) Source #

Constructors

SelPermInfo

Fields

spiCols :: HashMap (Column b) (Maybe (AnnColumnCaseBoolExpPartialSQL b))
HashMap of accessible columns to the role, the Column may be mapped to an AnnColumnCaseBoolExpPartialSQL, which happens only in the case of an inherited role, for a non-inherited role, it will be Nothing. The above bool exp will determine if the column should be nullified in a row, when there aren't requisite permissions.
spiComputedFields :: HashMap ComputedFieldName (Maybe (AnnColumnCaseBoolExpPartialSQL b))
HashMap of accessible computed fields to the role, mapped to AnnColumnCaseBoolExpPartialSQL, simililar to spiCols. These computed fields do not return rows of existing table.
spiFilter :: AnnBoolExpPartialSQL b
spiLimit :: Maybe Int
spiAllowAgg :: Bool
spiRequiredHeaders :: HashSet Text
spiAllowedQueryRootFields :: AllowedRootFields QueryRootFieldType
allowed root field types to be exposed in the query_root
spiAllowedSubscriptionRootFields :: AllowedRootFields SubscriptionRootFieldType
allowed root field types to be exposed in the subscription_root

Instances

Instances details

(Backend b, Eq (AnnBoolExpPartialSQL b), Eq (AnnColumnCaseBoolExpPartialSQL b)) => Eq (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: SelPermInfo b -> SelPermInfo b -> Bool # (/=) :: SelPermInfo b -> SelPermInfo b -> Bool #
(Backend b, Show (AnnBoolExpPartialSQL b), Show (AnnColumnCaseBoolExpPartialSQL b)) => Show (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> SelPermInfo b -> ShowS # show :: SelPermInfo b -> String # showList :: [SelPermInfo b] -> ShowS #
Generic (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (SelPermInfo b) :: Type -> Type # Methods from :: SelPermInfo b -> Rep (SelPermInfo b) x # to :: Rep (SelPermInfo b) x -> SelPermInfo b #
(Backend b, NFData (AnnBoolExpPartialSQL b), NFData (AnnColumnCaseBoolExpPartialSQL b)) => NFData (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: SelPermInfo b -> () #
(Backend b, ToJSON (AnnBoolExpPartialSQL b), ToJSON (AnnColumnCaseBoolExpPartialSQL b)) => ToJSON (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: SelPermInfo b -> Value toEncoding :: SelPermInfo b -> Encoding toJSONList :: [SelPermInfo b] -> Value toEncodingList :: [SelPermInfo b] -> Encoding
(Backend b, Cacheable (AnnBoolExpPartialSQL b), Cacheable (AnnColumnCaseBoolExpPartialSQL b)) => Cacheable (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> SelPermInfo b -> SelPermInfo b -> Bool Source #
type Rep (SelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (SelPermInfo b) = D1 ('MetaData "SelPermInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SelPermInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "spiCols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap (Column b) (Maybe (AnnColumnCaseBoolExpPartialSQL b)))) :: S1 ('MetaSel ('Just "spiComputedFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap ComputedFieldName (Maybe (AnnColumnCaseBoolExpPartialSQL b))))) :: (S1 ('MetaSel ('Just "spiFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnBoolExpPartialSQL b)) :: S1 ('MetaSel ('Just "spiLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Int)))) :: ((S1 ('MetaSel ('Just "spiAllowAgg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "spiRequiredHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet Text))) :: (S1 ('MetaSel ('Just "spiAllowedQueryRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AllowedRootFields QueryRootFieldType)) :*: S1 ('MetaSel ('Just "spiAllowedSubscriptionRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AllowedRootFields SubscriptionRootFieldType))))))

data UpdPermInfo (b :: BackendType) Source #

Constructors

UpdPermInfo
Fields upiCols :: HashSet (Column b) upiTable :: TableName b upiFilter :: AnnBoolExpPartialSQL b upiCheck :: Maybe (AnnBoolExpPartialSQL b) upiSet :: PreSetColsPartial b upiBackendOnly :: Bool upiRequiredHeaders :: HashSet Text

Instances

Instances details

(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: UpdPermInfo b -> UpdPermInfo b -> Bool # (/=) :: UpdPermInfo b -> UpdPermInfo b -> Bool #
(Backend b, Show (AnnBoolExpPartialSQL b)) => Show (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> UpdPermInfo b -> ShowS # show :: UpdPermInfo b -> String # showList :: [UpdPermInfo b] -> ShowS #
Generic (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (UpdPermInfo b) :: Type -> Type # Methods from :: UpdPermInfo b -> Rep (UpdPermInfo b) x # to :: Rep (UpdPermInfo b) x -> UpdPermInfo b #
(Backend b, NFData (AnnBoolExpPartialSQL b), NFData (PreSetColsPartial b)) => NFData (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: UpdPermInfo b -> () #
(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: UpdPermInfo b -> Value toEncoding :: UpdPermInfo b -> Encoding toJSONList :: [UpdPermInfo b] -> Value toEncodingList :: [UpdPermInfo b] -> Encoding
(Backend b, Cacheable (AnnBoolExpPartialSQL b), Cacheable (PreSetColsPartial b)) => Cacheable (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> UpdPermInfo b -> UpdPermInfo b -> Bool Source #
type Rep (UpdPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (UpdPermInfo b) = D1 ('MetaData "UpdPermInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "UpdPermInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "upiCols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (Column b))) :: (S1 ('MetaSel ('Just "upiTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)) :: S1 ('MetaSel ('Just "upiFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnBoolExpPartialSQL b)))) :: ((S1 ('MetaSel ('Just "upiCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (AnnBoolExpPartialSQL b))) :: S1 ('MetaSel ('Just "upiSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PreSetColsPartial b))) :: (S1 ('MetaSel ('Just "upiBackendOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "upiRequiredHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet Text))))))

data DelPermInfo (b :: BackendType) Source #

Constructors

DelPermInfo
Fields dpiTable :: TableName b dpiFilter :: AnnBoolExpPartialSQL b dpiBackendOnly :: !Bool dpiRequiredHeaders :: HashSet Text

Instances

Instances details

(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: DelPermInfo b -> DelPermInfo b -> Bool # (/=) :: DelPermInfo b -> DelPermInfo b -> Bool #
(Backend b, Show (AnnBoolExpPartialSQL b)) => Show (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> DelPermInfo b -> ShowS # show :: DelPermInfo b -> String # showList :: [DelPermInfo b] -> ShowS #
Generic (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (DelPermInfo b) :: Type -> Type # Methods from :: DelPermInfo b -> Rep (DelPermInfo b) x # to :: Rep (DelPermInfo b) x -> DelPermInfo b #
(Backend b, NFData (AnnBoolExpPartialSQL b)) => NFData (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: DelPermInfo b -> () #
(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: DelPermInfo b -> Value toEncoding :: DelPermInfo b -> Encoding toJSONList :: [DelPermInfo b] -> Value toEncodingList :: [DelPermInfo b] -> Encoding
(Backend b, Cacheable (AnnBoolExpPartialSQL b)) => Cacheable (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> DelPermInfo b -> DelPermInfo b -> Bool Source #
type Rep (DelPermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (DelPermInfo b) = D1 ('MetaData "DelPermInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "DelPermInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dpiTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)) :: S1 ('MetaSel ('Just "dpiFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnBoolExpPartialSQL b))) :: (S1 ('MetaSel ('Just "dpiBackendOnly") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "dpiRequiredHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet Text)))))

data RolePermInfo (b :: BackendType) Source #

Constructors

RolePermInfo
Fields _permIns :: Maybe (InsPermInfo b) _permSel :: Maybe (SelPermInfo b) _permUpd :: Maybe (UpdPermInfo b) _permDel :: Maybe (DelPermInfo b)

Instances

Instances details

Generic (RolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (RolePermInfo b) :: Type -> Type # Methods from :: RolePermInfo b -> Rep (RolePermInfo b) x # to :: Rep (RolePermInfo b) x -> RolePermInfo b #
(Backend b, NFData (InsPermInfo b), NFData (SelPermInfo b), NFData (UpdPermInfo b), NFData (DelPermInfo b)) => NFData (RolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: RolePermInfo b -> () #
(Backend b, ToJSON (InsPermInfo b), ToJSON (SelPermInfo b), ToJSON (UpdPermInfo b), ToJSON (DelPermInfo b)) => ToJSON (RolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: RolePermInfo b -> Value toEncoding :: RolePermInfo b -> Encoding toJSONList :: [RolePermInfo b] -> Value toEncodingList :: [RolePermInfo b] -> Encoding
type Rep (RolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (RolePermInfo b) = D1 ('MetaData "RolePermInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "RolePermInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_permIns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (InsPermInfo b))) :: S1 ('MetaSel ('Just "_permSel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (SelPermInfo b)))) :: (S1 ('MetaSel ('Just "_permUpd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (UpdPermInfo b))) :*: S1 ('MetaSel ('Just "_permDel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (DelPermInfo b))))))

permUpd :: forall b. Lens' (RolePermInfo b) (Maybe (UpdPermInfo b)) Source #

permSel :: forall b. Lens' (RolePermInfo b) (Maybe (SelPermInfo b)) Source #

permIns :: forall b. Lens' (RolePermInfo b) (Maybe (InsPermInfo b)) Source #

permDel :: forall b. Lens' (RolePermInfo b) (Maybe (DelPermInfo b)) Source #

type RolePermInfoMap b = HashMap RoleName (RolePermInfo b) Source #

hasuraJSON ''TableConstraint)

data ViewInfo Source #

Constructors

ViewInfo
Fields viIsUpdatable :: Bool viIsDeletable :: Bool viIsInsertable :: Bool

Instances

Instances details

Eq ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: ViewInfo -> ViewInfo -> Bool # (/=) :: ViewInfo -> ViewInfo -> Bool #
Show ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> ViewInfo -> ShowS # show :: ViewInfo -> String # showList :: [ViewInfo] -> ShowS #
Generic ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep ViewInfo :: Type -> Type # Methods from :: ViewInfo -> Rep ViewInfo x # to :: Rep ViewInfo x -> ViewInfo #
NFData ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: ViewInfo -> () #
FromJSON ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser ViewInfo parseJSONList :: Value -> Parser [ViewInfo]
ToJSON ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: ViewInfo -> Value toEncoding :: ViewInfo -> Encoding toJSONList :: [ViewInfo] -> Value toEncodingList :: [ViewInfo] -> Encoding
Cacheable ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> ViewInfo -> ViewInfo -> Bool Source #
type Rep ViewInfo Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep ViewInfo = D1 ('MetaData "ViewInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ViewInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "viIsUpdatable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "viIsDeletable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "viIsInsertable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

isMutable :: (ViewInfo -> Bool) -> Maybe ViewInfo -> Bool Source #

data ColumnConfig Source #

Constructors

ColumnConfig
Fields _ccfgCustomName :: Maybe Name _ccfgComment :: Comment

Instances

Instances details

Eq ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: ColumnConfig -> ColumnConfig -> Bool # (/=) :: ColumnConfig -> ColumnConfig -> Bool #
Show ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> ColumnConfig -> ShowS # show :: ColumnConfig -> String # showList :: [ColumnConfig] -> ShowS #
Generic ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep ColumnConfig :: Type -> Type # Methods from :: ColumnConfig -> Rep ColumnConfig x # to :: Rep ColumnConfig x -> ColumnConfig #
Semigroup ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (<>) :: ColumnConfig -> ColumnConfig -> ColumnConfig # sconcat :: NonEmpty ColumnConfig -> ColumnConfig # stimes :: Integral b => b -> ColumnConfig -> ColumnConfig #
Monoid ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods mempty :: ColumnConfig # mappend :: ColumnConfig -> ColumnConfig -> ColumnConfig # mconcat :: [ColumnConfig] -> ColumnConfig #
NFData ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: ColumnConfig -> () #
FromJSON ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser ColumnConfig parseJSONList :: Value -> Parser [ColumnConfig]
ToJSON ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: ColumnConfig -> Value toEncoding :: ColumnConfig -> Encoding toJSONList :: [ColumnConfig] -> Value toEncodingList :: [ColumnConfig] -> Encoding
Cacheable ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> ColumnConfig -> ColumnConfig -> Bool Source #
type Rep ColumnConfig Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep ColumnConfig = D1 ('MetaData "ColumnConfig" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ColumnConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ccfgCustomName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :*: S1 ('MetaSel ('Just "_ccfgComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Comment)))

data TableConfig b Source #

Constructors

TableConfig
Fields _tcCustomRootFields :: TableCustomRootFields _tcColumnConfig :: HashMap (Column b) ColumnConfig _tcCustomName :: Maybe Name _tcComment :: Comment

Instances

Instances details

Backend b => Eq (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: TableConfig b -> TableConfig b -> Bool # (/=) :: TableConfig b -> TableConfig b -> Bool #
Backend b => Show (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> TableConfig b -> ShowS # show :: TableConfig b -> String # showList :: [TableConfig b] -> ShowS #
Generic (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (TableConfig b) :: Type -> Type # Methods from :: TableConfig b -> Rep (TableConfig b) x # to :: Rep (TableConfig b) x -> TableConfig b #
Backend b => NFData (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: TableConfig b -> () #
Backend b => FromJSON (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (TableConfig b) parseJSONList :: Value -> Parser [TableConfig b]
Backend b => ToJSON (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: TableConfig b -> Value toEncoding :: TableConfig b -> Encoding toJSONList :: [TableConfig b] -> Value toEncodingList :: [TableConfig b] -> Encoding
Backend b => Cacheable (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> TableConfig b -> TableConfig b -> Bool Source #
type Rep (TableConfig b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (TableConfig b) = D1 ('MetaData "TableConfig" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TableConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_tcCustomRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TableCustomRootFields) :: S1 ('MetaSel ('Just "_tcColumnConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap (Column b) ColumnConfig))) :: (S1 ('MetaSel ('Just "_tcCustomName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Name)) :*: S1 ('MetaSel ('Just "_tcComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Comment))))

tcCustomRootFields :: forall b. Lens' (TableConfig b) TableCustomRootFields Source #

tcCustomName :: forall b. Lens' (TableConfig b) (Maybe Name) Source #

tcComment :: forall b. Lens' (TableConfig b) Comment Source #

tcColumnConfig :: forall b b. Lens (TableConfig b) (TableConfig b) (HashMap (Column b) ColumnConfig) (HashMap (Column b) ColumnConfig) Source #

emptyTableConfig :: TableConfig b Source #

data Constraint (b :: BackendType) Source #

Constructors

Constraint
Fields _cName :: ConstraintName b _cOid :: OID

Instances

Instances details

Backend b => Eq (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: Constraint b -> Constraint b -> Bool # (/=) :: Constraint b -> Constraint b -> Bool #
Backend b => Show (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> Constraint b -> ShowS # show :: Constraint b -> String # showList :: [Constraint b] -> ShowS #
Generic (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (Constraint b) :: Type -> Type # Methods from :: Constraint b -> Rep (Constraint b) x # to :: Rep (Constraint b) x -> Constraint b #
Backend b => NFData (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: Constraint b -> () #
Backend b => Hashable (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods hashWithSalt :: Int -> Constraint b -> Int hash :: Constraint b -> Int
Backend b => FromJSON (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (Constraint b) parseJSONList :: Value -> Parser [Constraint b]
Backend b => ToJSON (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: Constraint b -> Value toEncoding :: Constraint b -> Encoding toJSONList :: [Constraint b] -> Value toEncodingList :: [Constraint b] -> Encoding
Backend b => Cacheable (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> Constraint b -> Constraint b -> Bool Source #
type Rep (Constraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (Constraint b) = D1 ('MetaData "Constraint" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "Constraint" 'PrefixI 'True) (S1 ('MetaSel ('Just "_cName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ConstraintName b)) :*: S1 ('MetaSel ('Just "_cOid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OID)))

data PrimaryKey (b :: BackendType) a Source #

Constructors

PrimaryKey
Fields _pkConstraint :: Constraint b _pkColumns :: NESeq a

Instances

Instances details

Foldable (PrimaryKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods fold :: Monoid m => PrimaryKey b m -> m # foldMap :: Monoid m => (a -> m) -> PrimaryKey b a -> m # foldMap' :: Monoid m => (a -> m) -> PrimaryKey b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> PrimaryKey b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> PrimaryKey b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> PrimaryKey b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> PrimaryKey b a -> b0 # foldr1 :: (a -> a -> a) -> PrimaryKey b a -> a # foldl1 :: (a -> a -> a) -> PrimaryKey b a -> a # toList :: PrimaryKey b a -> [a] # null :: PrimaryKey b a -> Bool # length :: PrimaryKey b a -> Int # elem :: Eq a => a -> PrimaryKey b a -> Bool # maximum :: Ord a => PrimaryKey b a -> a # minimum :: Ord a => PrimaryKey b a -> a # sum :: Num a => PrimaryKey b a -> a # product :: Num a => PrimaryKey b a -> a #
(Backend b, Eq a) => Eq (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: PrimaryKey b a -> PrimaryKey b a -> Bool # (/=) :: PrimaryKey b a -> PrimaryKey b a -> Bool #
(Backend b, Show a) => Show (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> PrimaryKey b a -> ShowS # show :: PrimaryKey b a -> String # showList :: [PrimaryKey b a] -> ShowS #
Generic (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (PrimaryKey b a) :: Type -> Type # Methods from :: PrimaryKey b a -> Rep (PrimaryKey b a) x # to :: Rep (PrimaryKey b a) x -> PrimaryKey b a #
(Backend b, NFData a) => NFData (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: PrimaryKey b a -> () #
(Backend b, Hashable (NESeq a)) => Hashable (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods hashWithSalt :: Int -> PrimaryKey b a -> Int hash :: PrimaryKey b a -> Int
(Backend b, FromJSON a) => FromJSON (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (PrimaryKey b a) parseJSONList :: Value -> Parser [PrimaryKey b a]
(Backend b, ToJSON a) => ToJSON (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: PrimaryKey b a -> Value toEncoding :: PrimaryKey b a -> Encoding toJSONList :: [PrimaryKey b a] -> Value toEncodingList :: [PrimaryKey b a] -> Encoding
(Backend b, Cacheable a) => Cacheable (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> PrimaryKey b a -> PrimaryKey b a -> Bool Source #
type Rep (PrimaryKey b a) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (PrimaryKey b a) = D1 ('MetaData "PrimaryKey" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "PrimaryKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pkConstraint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Constraint b)) :*: S1 ('MetaSel ('Just "_pkColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NESeq a))))

pkConstraint :: forall b a b. Lens (PrimaryKey b a) (PrimaryKey b a) (Constraint b) (Constraint b) Source #

pkColumns :: forall b a a. Lens (PrimaryKey b a) (PrimaryKey b a) (NESeq a) (NESeq a) Source #

data UniqueConstraint (b :: BackendType) Source #

Data type modelling uniqueness constraints. Occasionally this will include primary keys, although those are tracked separately in TableCoreInfoG.

For more information about unique constraints, visit the postgresql documentation: https://www.postgresql.org/docs/current/ddl-constraints.html#DDL-CONSTRAINTS-UNIQUE-CONSTRAINTS.

Constructors

UniqueConstraint
Fields _ucConstraint :: Constraint b The postgresql name and object id of a unique constraint. _ucColumns :: HashSet (Column b) The set of columns which should be unique for this particular constraint. Used for permissions calculation.

Instances

Instances details

Backend b => Eq (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: UniqueConstraint b -> UniqueConstraint b -> Bool # (/=) :: UniqueConstraint b -> UniqueConstraint b -> Bool #
Backend b => Show (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> UniqueConstraint b -> ShowS # show :: UniqueConstraint b -> String # showList :: [UniqueConstraint b] -> ShowS #
Generic (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (UniqueConstraint b) :: Type -> Type # Methods from :: UniqueConstraint b -> Rep (UniqueConstraint b) x # to :: Rep (UniqueConstraint b) x -> UniqueConstraint b #
Backend b => NFData (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: UniqueConstraint b -> () #
Backend b => Hashable (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods hashWithSalt :: Int -> UniqueConstraint b -> Int hash :: UniqueConstraint b -> Int
Backend b => FromJSON (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (UniqueConstraint b) parseJSONList :: Value -> Parser [UniqueConstraint b]
Backend b => ToJSON (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: UniqueConstraint b -> Value toEncoding :: UniqueConstraint b -> Encoding toJSONList :: [UniqueConstraint b] -> Value toEncodingList :: [UniqueConstraint b] -> Encoding
Backend b => Cacheable (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> UniqueConstraint b -> UniqueConstraint b -> Bool Source #
type Rep (UniqueConstraint b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (UniqueConstraint b) = D1 ('MetaData "UniqueConstraint" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "UniqueConstraint" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ucConstraint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Constraint b)) :*: S1 ('MetaSel ('Just "_ucColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (Column b)))))

data ForeignKey (b :: BackendType) Source #

Constructors

ForeignKey
Fields _fkConstraint :: Constraint b _fkForeignTable :: TableName b _fkColumnMapping :: NEHashMap (Column b) (Column b)

Instances

Instances details

Backend b => Eq (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: ForeignKey b -> ForeignKey b -> Bool # (/=) :: ForeignKey b -> ForeignKey b -> Bool #
Backend b => Show (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> ForeignKey b -> ShowS # show :: ForeignKey b -> String # showList :: [ForeignKey b] -> ShowS #
Generic (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (ForeignKey b) :: Type -> Type # Methods from :: ForeignKey b -> Rep (ForeignKey b) x # to :: Rep (ForeignKey b) x -> ForeignKey b #
Backend b => NFData (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: ForeignKey b -> () #
Backend b => Hashable (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods hashWithSalt :: Int -> ForeignKey b -> Int hash :: ForeignKey b -> Int
Backend b => FromJSON (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (ForeignKey b) parseJSONList :: Value -> Parser [ForeignKey b]
Backend b => ToJSON (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: ForeignKey b -> Value toEncoding :: ForeignKey b -> Encoding toJSONList :: [ForeignKey b] -> Value toEncodingList :: [ForeignKey b] -> Encoding
Backend b => Cacheable (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> ForeignKey b -> ForeignKey b -> Bool Source #
type Rep (ForeignKey b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (ForeignKey b) = D1 ('MetaData "ForeignKey" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ForeignKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "_fkConstraint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Constraint b)) :: (S1 ('MetaSel ('Just "_fkForeignTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)) :: S1 ('MetaSel ('Just "_fkColumnMapping") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NEHashMap (Column b) (Column b))))))

data TableCoreInfoG (b :: BackendType) field primaryKeyColumn Source #

The field and primaryKeyColumn type parameters vary as the schema cache is built and more information is accumulated. See also TableCoreInfo.

Constructors

TableCoreInfo

Fields

_tciName :: TableName b
_tciDescription :: Maybe PGDescription
_tciFieldInfoMap :: FieldInfoMap field
_tciPrimaryKey :: Maybe (PrimaryKey b primaryKeyColumn)
_tciUniqueConstraints :: HashSet (UniqueConstraint b)
Does not include the primary key; use tciUniqueOrPrimaryKeyConstraints if you need both.
_tciForeignKeys :: HashSet (ForeignKey b)
_tciViewInfo :: Maybe ViewInfo
_tciEnumValues :: Maybe EnumValues
_tciCustomConfig :: TableConfig b
_tciExtraTableMetadata :: ExtraTableMetadata b
_tciApolloFederationConfig :: Maybe ApolloFederationConfig

Instances

Instances details

(Eq field, Eq pkCol, Backend b) => Eq (TableCoreInfoG b field pkCol) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: TableCoreInfoG b field pkCol -> TableCoreInfoG b field pkCol -> Bool # (/=) :: TableCoreInfoG b field pkCol -> TableCoreInfoG b field pkCol -> Bool #
Generic (TableCoreInfoG b field primaryKeyColumn) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (TableCoreInfoG b field primaryKeyColumn) :: Type -> Type # Methods from :: TableCoreInfoG b field primaryKeyColumn -> Rep (TableCoreInfoG b field primaryKeyColumn) x # to :: Rep (TableCoreInfoG b field primaryKeyColumn) x -> TableCoreInfoG b field primaryKeyColumn #
(Backend b, Generic pkCol, ToJSON field, ToJSON pkCol) => ToJSON (TableCoreInfoG b field pkCol) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: TableCoreInfoG b field pkCol -> Value toEncoding :: TableCoreInfoG b field pkCol -> Encoding toJSONList :: [TableCoreInfoG b field pkCol] -> Value toEncodingList :: [TableCoreInfoG b field pkCol] -> Encoding
(Cacheable field, Cacheable pkCol, Backend b) => Cacheable (TableCoreInfoG b field pkCol) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> TableCoreInfoG b field pkCol -> TableCoreInfoG b field pkCol -> Bool Source #
type Rep (TableCoreInfoG b field primaryKeyColumn) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (TableCoreInfoG b field primaryKeyColumn) = D1 ('MetaData "TableCoreInfoG" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TableCoreInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_tciName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableName b)) :: S1 ('MetaSel ('Just "_tciDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PGDescription))) :: (S1 ('MetaSel ('Just "_tciFieldInfoMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (FieldInfoMap field)) :: (S1 ('MetaSel ('Just "_tciPrimaryKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (PrimaryKey b primaryKeyColumn))) :: S1 ('MetaSel ('Just "_tciUniqueConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (UniqueConstraint b)))))) :: ((S1 ('MetaSel ('Just "_tciForeignKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (ForeignKey b))) :: (S1 ('MetaSel ('Just "_tciViewInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ViewInfo)) :: S1 ('MetaSel ('Just "_tciEnumValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe EnumValues)))) :: (S1 ('MetaSel ('Just "_tciCustomConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableConfig b)) :: (S1 ('MetaSel ('Just "_tciExtraTableMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ExtraTableMetadata b)) :: S1 ('MetaSel ('Just "_tciApolloFederationConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ApolloFederationConfig)))))))

tciViewInfo :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe ViewInfo) Source #

tciUniqueConstraints :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (HashSet (UniqueConstraint b)) Source #

tciPrimaryKey :: forall b field primaryKeyColumn primaryKeyColumn. Lens (TableCoreInfoG b field primaryKeyColumn) (TableCoreInfoG b field primaryKeyColumn) (Maybe (PrimaryKey b primaryKeyColumn)) (Maybe (PrimaryKey b primaryKeyColumn)) Source #

tciName :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (TableName b) Source #

tciForeignKeys :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (HashSet (ForeignKey b)) Source #

tciFieldInfoMap :: forall b field primaryKeyColumn field. Lens (TableCoreInfoG b field primaryKeyColumn) (TableCoreInfoG b field primaryKeyColumn) (FieldInfoMap field) (FieldInfoMap field) Source #

tciExtraTableMetadata :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (ExtraTableMetadata b) Source #

tciEnumValues :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe EnumValues) Source #

tciDescription :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe PGDescription) Source #

tciCustomConfig :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (TableConfig b) Source #

tciApolloFederationConfig :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) (Maybe ApolloFederationConfig) Source #

type TableCoreInfo b = TableCoreInfoG b (FieldInfo b) (ColumnInfo b) Source #

Fully-processed table info that includes non-column fields.

tciUniqueOrPrimaryKeyConstraints :: forall b f. (Eq (Column b), Hashable (Column b)) => TableCoreInfoG b f (ColumnInfo b) -> Maybe (NonEmpty (UniqueConstraint b)) Source #

data TableInfo (b :: BackendType) Source #

Constructors

TableInfo
Fields _tiCoreInfo :: TableCoreInfo b _tiRolePermInfoMap :: RolePermInfoMap b _tiEventTriggerInfoMap :: EventTriggerInfoMap b _tiAdminRolePermInfo :: RolePermInfo b

Instances

Instances details

Generic (TableInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (TableInfo b) :: Type -> Type # Methods from :: TableInfo b -> Rep (TableInfo b) x # to :: Rep (TableInfo b) x -> TableInfo b #
(Backend b, ToJSON (EventTriggerInfoMap b), ToJSON (RolePermInfo b), ToJSON (RolePermInfoMap b), ToJSON (TableCoreInfo b)) => ToJSON (TableInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods toJSON :: TableInfo b -> Value toEncoding :: TableInfo b -> Encoding toJSONList :: [TableInfo b] -> Value toEncodingList :: [TableInfo b] -> Encoding
type Rep (TableInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (TableInfo b) = D1 ('MetaData "TableInfo" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "TableInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_tiCoreInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TableCoreInfo b)) :: S1 ('MetaSel ('Just "_tiRolePermInfoMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RolePermInfoMap b))) :: (S1 ('MetaSel ('Just "_tiEventTriggerInfoMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (EventTriggerInfoMap b)) :*: S1 ('MetaSel ('Just "_tiAdminRolePermInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RolePermInfo b)))))

tiRolePermInfoMap :: forall b. Lens' (TableInfo b) (RolePermInfoMap b) Source #

tiEventTriggerInfoMap :: forall b. Lens' (TableInfo b) (EventTriggerInfoMap b) Source #

tiCoreInfo :: forall b. Lens' (TableInfo b) (TableCoreInfo b) Source #

tiAdminRolePermInfo :: forall b. Lens' (TableInfo b) (RolePermInfo b) Source #

tiName :: Lens' (TableInfo b) (TableName b) Source #

tableInfoName :: TableInfo b -> TableName b Source #

tableArrayRelationships :: TableInfo b -> [RelInfo b] Source #

getRolePermInfo :: RoleName -> TableInfo b -> RolePermInfo b Source #

type TableCoreCache b = HashMap (TableName b) (TableCoreInfo b) Source #

type TableCache b = HashMap (TableName b) (TableInfo b) Source #

type TableEventTriggers b = HashMap (TableName b) [TriggerName] Source #

newtype ForeignKeyMetadata (b :: BackendType) Source #

Metadata of a Postgres foreign key constraint which is being extracted from database via 'src-rsr/pg_table_metadata.sql'

Constructors

ForeignKeyMetadata
Fields unForeignKeyMetadata :: ForeignKey b

Instances

Instances details

Backend b => Eq (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: ForeignKeyMetadata b -> ForeignKeyMetadata b -> Bool # (/=) :: ForeignKeyMetadata b -> ForeignKeyMetadata b -> Bool #
Backend b => Show (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> ForeignKeyMetadata b -> ShowS # show :: ForeignKeyMetadata b -> String # showList :: [ForeignKeyMetadata b] -> ShowS #
Backend b => NFData (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: ForeignKeyMetadata b -> () #
Backend b => Hashable (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods hashWithSalt :: Int -> ForeignKeyMetadata b -> Int hash :: ForeignKeyMetadata b -> Int
Backend b => FromJSON (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (ForeignKeyMetadata b) parseJSONList :: Value -> Parser [ForeignKeyMetadata b]
Backend b => Cacheable (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> ForeignKeyMetadata b -> ForeignKeyMetadata b -> Bool Source #

data DBTableMetadata (b :: BackendType) Source #

Metadata of any Backend table which is being extracted from source database

Constructors

DBTableMetadata
Fields _ptmiOid :: OID _ptmiColumns :: [RawColumnInfo b] _ptmiPrimaryKey :: Maybe (PrimaryKey b (Column b)) _ptmiUniqueConstraints :: HashSet (UniqueConstraint b) Does not include the primary key _ptmiForeignKeys :: HashSet (ForeignKeyMetadata b) _ptmiViewInfo :: Maybe ViewInfo _ptmiDescription :: Maybe PGDescription _ptmiExtraTableMetadata :: ExtraTableMetadata b

Instances

Instances details

Backend b => Eq (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods (==) :: DBTableMetadata b -> DBTableMetadata b -> Bool # (/=) :: DBTableMetadata b -> DBTableMetadata b -> Bool #
Backend b => Show (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods showsPrec :: Int -> DBTableMetadata b -> ShowS # show :: DBTableMetadata b -> String # showList :: [DBTableMetadata b] -> ShowS #
Generic (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Associated Types type Rep (DBTableMetadata b) :: Type -> Type # Methods from :: DBTableMetadata b -> Rep (DBTableMetadata b) x # to :: Rep (DBTableMetadata b) x -> DBTableMetadata b #
Backend b => NFData (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods rnf :: DBTableMetadata b -> () #
Backend b => FromJSON (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods parseJSON :: Value -> Parser (DBTableMetadata b) parseJSONList :: Value -> Parser [DBTableMetadata b]
Backend b => Cacheable (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table Methods unchanged :: Accesses -> DBTableMetadata b -> DBTableMetadata b -> Bool Source #
type Rep (DBTableMetadata b) Source #
Instance details Defined in Hasura.RQL.Types.Table type Rep (DBTableMetadata b) = D1 ('MetaData "DBTableMetadata" "Hasura.RQL.Types.Table" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "DBTableMetadata" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_ptmiOid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OID) :: S1 ('MetaSel ('Just "_ptmiColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [RawColumnInfo b])) :: (S1 ('MetaSel ('Just "_ptmiPrimaryKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (PrimaryKey b (Column b)))) :: S1 ('MetaSel ('Just "_ptmiUniqueConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (UniqueConstraint b))))) :: ((S1 ('MetaSel ('Just "_ptmiForeignKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet (ForeignKeyMetadata b))) :: S1 ('MetaSel ('Just "_ptmiViewInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ViewInfo))) :: (S1 ('MetaSel ('Just "_ptmiDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PGDescription)) :*: S1 ('MetaSel ('Just "_ptmiExtraTableMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ExtraTableMetadata b))))))

type DBTablesMetadata b = HashMap (TableName b) (DBTableMetadata b) Source #

getFieldInfoM :: TableInfo b -> FieldName -> Maybe (FieldInfo b) Source #

getColumnInfoM :: TableInfo b -> FieldName -> Maybe (ColumnInfo b) Source #

askFieldInfo :: MonadError QErr m => FieldInfoMap fieldInfo -> FieldName -> m fieldInfo Source #

askColumnType :: (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Column backend -> Text -> m (ColumnType backend) Source #

askColInfo :: forall m backend. (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Column backend -> Text -> m (ColumnInfo backend) Source #

askComputedFieldInfo :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> ComputedFieldName -> m (ComputedFieldInfo backend) Source #

assertColumnExists :: forall backend m. (MonadError QErr m, Backend backend) => FieldInfoMap (FieldInfo backend) -> Text -> Column backend -> m () Source #

askRelType :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> RelName -> Text -> m (RelInfo backend) Source #

askRemoteRel :: MonadError QErr m => FieldInfoMap (FieldInfo backend) -> RelName -> m (RemoteFieldInfo (DBJoinField backend)) Source #

mkAdminRolePermInfo :: Backend b => TableCoreInfo b -> RolePermInfo b Source #

TableCustomRootFields
Fields _tcrfSelect :: CustomRootField _tcrfSelectByPk :: CustomRootField _tcrfSelectAggregate :: CustomRootField _tcrfSelectStream :: CustomRootField _tcrfInsert :: CustomRootField _tcrfInsertOne :: CustomRootField _tcrfUpdate :: CustomRootField _tcrfUpdateByPk :: CustomRootField _tcrfUpdateMany :: CustomRootField _tcrfDelete :: CustomRootField _tcrfDeleteByPk :: CustomRootField