Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.Table.Cache

Synopsis

newtype GraphQLType = GraphQLType {
- unGraphQLType :: GType
}
isListType :: GraphQLType -> Bool
isNullableType :: GraphQLType -> Bool
data CustomRootField = CustomRootField {
- _crfName :: Maybe Name
- _crfComment :: Comment
}
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 (StructuredColumnInfo 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) (StructuredColumnInfo 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) -> [StructuredColumnInfo 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
- ipiValidateInput :: Maybe (ValidateInput ResolvedWebhook)
}
data CombinedSelPermInfo (b :: BackendType) = CombinedSelPermInfo {
- cspiCols :: [HashMap (Column b) (AnnRedactionExpPartialSQL b)]
- cspiComputedFields :: [HashMap ComputedFieldName (AnnRedactionExpPartialSQL 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) (AnnRedactionExpPartialSQL b)
- spiComputedFields :: HashMap ComputedFieldName (AnnRedactionExpPartialSQL 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
- upiValidateInput :: Maybe (ValidateInput ResolvedWebhook)
}
data DelPermInfo (b :: BackendType) = DelPermInfo {
- dpiTable :: TableName b
- dpiFilter :: AnnBoolExpPartialSQL b
- dpiBackendOnly :: !Bool
- dpiRequiredHeaders :: HashSet Text
- dpiValidateInput :: Maybe (ValidateInput ResolvedWebhook)
}
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
- _tciRawColumns :: [RawColumnInfo b]
}
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))
tciRawColumns :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) [RawColumnInfo 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. 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

newtype GraphQLType Source #

A wrapper around GType which allows us to define custom JSON instances.

TODO: this name is ambiguous, and conflicts with Hasura.RQL.DDL.RemoteSchema.Permission.GraphQLType; it should perhaps be renamed, made internal to this module, or removed altogether?

Constructors

GraphQLType
Fields unGraphQLType :: GType

Instances

Instances details

FromJSON GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser GraphQLType Source # parseJSONList :: Value -> Parser [GraphQLType] Source #
ToJSON GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: GraphQLType -> Value Source # toEncoding :: GraphQLType -> Encoding Source # toJSONList :: [GraphQLType] -> Value Source # toEncodingList :: [GraphQLType] -> Encoding Source #
HasCodec GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods codec :: JSONCodec GraphQLType Source # listCodecForStringCompatibility :: JSONCodec [GraphQLType] Source #
Generic GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep GraphQLType :: Type -> Type # Methods from :: GraphQLType -> Rep GraphQLType x # to :: Rep GraphQLType x -> GraphQLType #
Show GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> GraphQLType -> ShowS # show :: GraphQLType -> String # showList :: [GraphQLType] -> ShowS #
NFData GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: GraphQLType -> () #
Eq GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: GraphQLType -> GraphQLType -> Bool # (/=) :: GraphQLType -> GraphQLType -> Bool #
Ord GraphQLType Source #
Instance details Defined in Hasura.Table.Cache Methods compare :: GraphQLType -> GraphQLType -> Ordering # (<) :: GraphQLType -> GraphQLType -> Bool # (<=) :: GraphQLType -> GraphQLType -> Bool # (>) :: GraphQLType -> GraphQLType -> Bool # (>=) :: GraphQLType -> GraphQLType -> Bool # max :: GraphQLType -> GraphQLType -> GraphQLType # min :: GraphQLType -> GraphQLType -> GraphQLType #
type Rep GraphQLType Source #
Instance details Defined in Hasura.Table.Cache type Rep GraphQLType = D1 ('MetaData "GraphQLType" "Hasura.Table.Cache" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "GraphQLType" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGraphQLType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GType)))

isListType :: GraphQLType -> Bool Source #

isNullableType :: GraphQLType -> Bool Source #

data CustomRootField Source #

Constructors

CustomRootField
Fields _crfName :: Maybe Name _crfComment :: Comment

Instances

Instances details

FromJSON CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser CustomRootField Source # parseJSONList :: Value -> Parser [CustomRootField] Source #
ToJSON CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: CustomRootField -> Value Source # toEncoding :: CustomRootField -> Encoding Source # toJSONList :: [CustomRootField] -> Value Source # toEncodingList :: [CustomRootField] -> Encoding Source #
HasCodec CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods codec :: JSONCodec CustomRootField Source # listCodecForStringCompatibility :: JSONCodec [CustomRootField] Source #
Generic CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep CustomRootField :: Type -> Type # Methods from :: CustomRootField -> Rep CustomRootField x # to :: Rep CustomRootField x -> CustomRootField #
Show CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> CustomRootField -> ShowS # show :: CustomRootField -> String # showList :: [CustomRootField] -> ShowS #
NFData CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: CustomRootField -> () #
Eq CustomRootField Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: CustomRootField -> CustomRootField -> Bool # (/=) :: CustomRootField -> CustomRootField -> Bool #
type Rep CustomRootField Source #
Instance details Defined in Hasura.Table.Cache type Rep CustomRootField = D1 ('MetaData "CustomRootField" "Hasura.Table.Cache" "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)))

data TableCustomRootFields Source #

Instances

Instances details

FromJSON TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser TableCustomRootFields Source # parseJSONList :: Value -> Parser [TableCustomRootFields] Source #
ToJSON TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: TableCustomRootFields -> Value Source # toEncoding :: TableCustomRootFields -> Encoding Source # toJSONList :: [TableCustomRootFields] -> Value Source # toEncodingList :: [TableCustomRootFields] -> Encoding Source #
HasCodec TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods codec :: JSONCodec TableCustomRootFields Source # listCodecForStringCompatibility :: JSONCodec [TableCustomRootFields] Source #
Generic TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep TableCustomRootFields :: Type -> Type # Methods from :: TableCustomRootFields -> Rep TableCustomRootFields x # to :: Rep TableCustomRootFields x -> TableCustomRootFields #
Show TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> TableCustomRootFields -> ShowS # show :: TableCustomRootFields -> String # showList :: [TableCustomRootFields] -> ShowS #
NFData TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: TableCustomRootFields -> () #
Eq TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: TableCustomRootFields -> TableCustomRootFields -> Bool # (/=) :: TableCustomRootFields -> TableCustomRootFields -> Bool #
type Rep TableCustomRootFields Source #
Instance details Defined in Hasura.Table.Cache type Rep TableCustomRootFields = D1 ('MetaData "TableCustomRootFields" "Hasura.Table.Cache" "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 (StructuredColumnInfo b)
FIRelationship (RelInfo b)
FIComputedField (ComputedFieldInfo b)
FIRemoteRelationship (RemoteFieldInfo (DBJoinField b))

Instances

Instances details

Backend b => ToJSON (FieldInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: FieldInfo b -> Value Source # toEncoding :: FieldInfo b -> Encoding Source # toJSONList :: [FieldInfo b] -> Value Source # toEncodingList :: [FieldInfo b] -> Encoding Source #
Generic (FieldInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Eq (FieldInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: FieldInfo b -> FieldInfo b -> Bool # (/=) :: FieldInfo b -> FieldInfo b -> Bool #
type Rep (FieldInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (FieldInfo b) = D1 ('MetaData "FieldInfo" "Hasura.Table.Cache" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "FIColumn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (StructuredColumnInfo 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) (StructuredColumnInfo 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) -> [StructuredColumnInfo 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 ipiValidateInput :: Maybe (ValidateInput ResolvedWebhook)

Instances

Instances details

(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: InsPermInfo b -> Value Source # toEncoding :: InsPermInfo b -> Encoding Source # toJSONList :: [InsPermInfo b] -> Value Source # toEncodingList :: [InsPermInfo b] -> Encoding Source #
Generic (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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, Show (AnnBoolExpPartialSQL b)) => Show (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> InsPermInfo b -> ShowS # show :: InsPermInfo b -> String # showList :: [InsPermInfo b] -> ShowS #
(Backend b, NFData (AnnBoolExpPartialSQL b), NFData (PreSetColsPartial b)) => NFData (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: InsPermInfo b -> () #
(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: InsPermInfo b -> InsPermInfo b -> Bool # (/=) :: InsPermInfo b -> InsPermInfo b -> Bool #
type Rep (InsPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (InsPermInfo b) = D1 ('MetaData "InsPermInfo" "Hasura.Table.Cache" "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)) :*: S1 ('MetaSel ('Just "ipiValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput ResolvedWebhook)))))))

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

Instances

Instances details

Backend b => Semigroup (CombinedSelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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) (AnnRedactionExpPartialSQL b)
HashMap of accessible columns to the role, the Column may be mapped to an AnnRedactionExpPartialSQL, which is RedactIfFalse only in the case of an inherited role, for a non-inherited role, it will always be NoRedaction. The RedactIfFalse bool exp will determine if the column should be nullified in a row, when there aren't requisite permissions.
spiComputedFields :: HashMap ComputedFieldName (AnnRedactionExpPartialSQL b)
HashMap of accessible computed fields to the role, mapped to AnnRedactionExpPartialSQL, 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, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: SelPermInfo b -> Value Source # toEncoding :: SelPermInfo b -> Encoding Source # toJSONList :: [SelPermInfo b] -> Value Source # toEncodingList :: [SelPermInfo b] -> Encoding Source #
Generic (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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, Show (AnnBoolExpPartialSQL b)) => Show (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> SelPermInfo b -> ShowS # show :: SelPermInfo b -> String # showList :: [SelPermInfo b] -> ShowS #
(Backend b, NFData (AnnBoolExpPartialSQL b)) => NFData (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: SelPermInfo b -> () #
(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: SelPermInfo b -> SelPermInfo b -> Bool # (/=) :: SelPermInfo b -> SelPermInfo b -> Bool #
type Rep (SelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (SelPermInfo b) = D1 ('MetaData "SelPermInfo" "Hasura.Table.Cache" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SelPermInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "spiCols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap (Column b) (AnnRedactionExpPartialSQL b))) :: S1 ('MetaSel ('Just "spiComputedFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap ComputedFieldName (AnnRedactionExpPartialSQL 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 upiValidateInput :: Maybe (ValidateInput ResolvedWebhook)

Instances

Instances details

(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: UpdPermInfo b -> Value Source # toEncoding :: UpdPermInfo b -> Encoding Source # toJSONList :: [UpdPermInfo b] -> Value Source # toEncodingList :: [UpdPermInfo b] -> Encoding Source #
Generic (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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, Show (AnnBoolExpPartialSQL b)) => Show (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> UpdPermInfo b -> ShowS # show :: UpdPermInfo b -> String # showList :: [UpdPermInfo b] -> ShowS #
(Backend b, NFData (AnnBoolExpPartialSQL b), NFData (PreSetColsPartial b)) => NFData (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: UpdPermInfo b -> () #
(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: UpdPermInfo b -> UpdPermInfo b -> Bool # (/=) :: UpdPermInfo b -> UpdPermInfo b -> Bool #
type Rep (UpdPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (UpdPermInfo b) = D1 ('MetaData "UpdPermInfo" "Hasura.Table.Cache" "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)) :*: S1 ('MetaSel ('Just "upiValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput ResolvedWebhook)))))))

data DelPermInfo (b :: BackendType) Source #

Constructors

DelPermInfo
Fields dpiTable :: TableName b dpiFilter :: AnnBoolExpPartialSQL b dpiBackendOnly :: !Bool dpiRequiredHeaders :: HashSet Text dpiValidateInput :: Maybe (ValidateInput ResolvedWebhook)

Instances

Instances details

(Backend b, ToJSON (AnnBoolExpPartialSQL b)) => ToJSON (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: DelPermInfo b -> Value Source # toEncoding :: DelPermInfo b -> Encoding Source # toJSONList :: [DelPermInfo b] -> Value Source # toEncodingList :: [DelPermInfo b] -> Encoding Source #
Generic (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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, Show (AnnBoolExpPartialSQL b)) => Show (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> DelPermInfo b -> ShowS # show :: DelPermInfo b -> String # showList :: [DelPermInfo b] -> ShowS #
(Backend b, NFData (AnnBoolExpPartialSQL b)) => NFData (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: DelPermInfo b -> () #
(Backend b, Eq (AnnBoolExpPartialSQL b)) => Eq (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: DelPermInfo b -> DelPermInfo b -> Bool # (/=) :: DelPermInfo b -> DelPermInfo b -> Bool #
type Rep (DelPermInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (DelPermInfo b) = D1 ('MetaData "DelPermInfo" "Hasura.Table.Cache" "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)) :: S1 ('MetaSel ('Just "dpiValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput ResolvedWebhook)))))))

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

(Backend b, ToJSON (InsPermInfo b), ToJSON (SelPermInfo b), ToJSON (UpdPermInfo b), ToJSON (DelPermInfo b)) => ToJSON (RolePermInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: RolePermInfo b -> Value Source # toEncoding :: RolePermInfo b -> Encoding Source # toJSONList :: [RolePermInfo b] -> Value Source # toEncodingList :: [RolePermInfo b] -> Encoding Source #
Generic (RolePermInfo b) Source #
Instance details Defined in Hasura.Table.Cache 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.Table.Cache Methods rnf :: RolePermInfo b -> () #
type Rep (RolePermInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (RolePermInfo b) = D1 ('MetaData "RolePermInfo" "Hasura.Table.Cache" "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

FromJSON ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser ViewInfo Source # parseJSONList :: Value -> Parser [ViewInfo] Source #
ToJSON ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: ViewInfo -> Value Source # toEncoding :: ViewInfo -> Encoding Source # toJSONList :: [ViewInfo] -> Value Source # toEncodingList :: [ViewInfo] -> Encoding Source #
Generic ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep ViewInfo :: Type -> Type # Methods from :: ViewInfo -> Rep ViewInfo x # to :: Rep ViewInfo x -> ViewInfo #
Show ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> ViewInfo -> ShowS # show :: ViewInfo -> String # showList :: [ViewInfo] -> ShowS #
NFData ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: ViewInfo -> () #
Eq ViewInfo Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: ViewInfo -> ViewInfo -> Bool # (/=) :: ViewInfo -> ViewInfo -> Bool #
type Rep ViewInfo Source #
Instance details Defined in Hasura.Table.Cache type Rep ViewInfo = D1 ('MetaData "ViewInfo" "Hasura.Table.Cache" "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

FromJSON ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser ColumnConfig Source # parseJSONList :: Value -> Parser [ColumnConfig] Source #
ToJSON ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: ColumnConfig -> Value Source # toEncoding :: ColumnConfig -> Encoding Source # toJSONList :: [ColumnConfig] -> Value Source # toEncodingList :: [ColumnConfig] -> Encoding Source #
HasCodec ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods codec :: JSONCodec ColumnConfig Source # listCodecForStringCompatibility :: JSONCodec [ColumnConfig] Source #
Monoid ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods mempty :: ColumnConfig # mappend :: ColumnConfig -> ColumnConfig -> ColumnConfig # mconcat :: [ColumnConfig] -> ColumnConfig #
Semigroup ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods (<>) :: ColumnConfig -> ColumnConfig -> ColumnConfig # sconcat :: NonEmpty ColumnConfig -> ColumnConfig # stimes :: Integral b => b -> ColumnConfig -> ColumnConfig #
Generic ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep ColumnConfig :: Type -> Type # Methods from :: ColumnConfig -> Rep ColumnConfig x # to :: Rep ColumnConfig x -> ColumnConfig #
Show ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> ColumnConfig -> ShowS # show :: ColumnConfig -> String # showList :: [ColumnConfig] -> ShowS #
NFData ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: ColumnConfig -> () #
Eq ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: ColumnConfig -> ColumnConfig -> Bool # (/=) :: ColumnConfig -> ColumnConfig -> Bool #
type Rep ColumnConfig Source #
Instance details Defined in Hasura.Table.Cache type Rep ColumnConfig = D1 ('MetaData "ColumnConfig" "Hasura.Table.Cache" "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 => FromJSON (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (TableConfig b) Source # parseJSONList :: Value -> Parser [TableConfig b] Source #
Backend b => ToJSON (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: TableConfig b -> Value Source # toEncoding :: TableConfig b -> Encoding Source # toJSONList :: [TableConfig b] -> Value Source # toEncodingList :: [TableConfig b] -> Encoding Source #
Backend b => HasCodec (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods codec :: JSONCodec (TableConfig b) Source # listCodecForStringCompatibility :: JSONCodec [TableConfig b] Source #
Generic (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Show (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> TableConfig b -> ShowS # show :: TableConfig b -> String # showList :: [TableConfig b] -> ShowS #
Backend b => NFData (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: TableConfig b -> () #
Backend b => Eq (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: TableConfig b -> TableConfig b -> Bool # (/=) :: TableConfig b -> TableConfig b -> Bool #
type Rep (TableConfig b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (TableConfig b) = D1 ('MetaData "TableConfig" "Hasura.Table.Cache" "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 => FromJSON (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (Constraint b) Source # parseJSONList :: Value -> Parser [Constraint b] Source #
Backend b => ToJSON (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: Constraint b -> Value Source # toEncoding :: Constraint b -> Encoding Source # toJSONList :: [Constraint b] -> Value Source # toEncodingList :: [Constraint b] -> Encoding Source #
Generic (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Show (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> Constraint b -> ShowS # show :: Constraint b -> String # showList :: [Constraint b] -> ShowS #
Backend b => NFData (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: Constraint b -> () #
Backend b => Eq (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: Constraint b -> Constraint b -> Bool # (/=) :: Constraint b -> Constraint b -> Bool #
Backend b => Hashable (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods hashWithSalt :: Int -> Constraint b -> Int Source # hash :: Constraint b -> Int Source #
type Rep (Constraint b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (Constraint b) = D1 ('MetaData "Constraint" "Hasura.Table.Cache" "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.Table.Cache 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, FromJSON a) => FromJSON (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (PrimaryKey b a) Source # parseJSONList :: Value -> Parser [PrimaryKey b a] Source #
(Backend b, ToJSON a) => ToJSON (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: PrimaryKey b a -> Value Source # toEncoding :: PrimaryKey b a -> Encoding Source # toJSONList :: [PrimaryKey b a] -> Value Source # toEncodingList :: [PrimaryKey b a] -> Encoding Source #
Generic (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache 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, Show a) => Show (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> PrimaryKey b a -> ShowS # show :: PrimaryKey b a -> String # showList :: [PrimaryKey b a] -> ShowS #
(Backend b, NFData a) => NFData (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: PrimaryKey b a -> () #
(Backend b, Eq a) => Eq (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: PrimaryKey b a -> PrimaryKey b a -> Bool # (/=) :: PrimaryKey b a -> PrimaryKey b a -> Bool #
(Eq a, Backend b, Hashable (NESeq a)) => Hashable (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache Methods hashWithSalt :: Int -> PrimaryKey b a -> Int Source # hash :: PrimaryKey b a -> Int Source #
type Rep (PrimaryKey b a) Source #
Instance details Defined in Hasura.Table.Cache type Rep (PrimaryKey b a) = D1 ('MetaData "PrimaryKey" "Hasura.Table.Cache" "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 => FromJSON (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (UniqueConstraint b) Source # parseJSONList :: Value -> Parser [UniqueConstraint b] Source #
Backend b => ToJSON (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: UniqueConstraint b -> Value Source # toEncoding :: UniqueConstraint b -> Encoding Source # toJSONList :: [UniqueConstraint b] -> Value Source # toEncodingList :: [UniqueConstraint b] -> Encoding Source #
Generic (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Show (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> UniqueConstraint b -> ShowS # show :: UniqueConstraint b -> String # showList :: [UniqueConstraint b] -> ShowS #
Backend b => NFData (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: UniqueConstraint b -> () #
Backend b => Eq (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: UniqueConstraint b -> UniqueConstraint b -> Bool # (/=) :: UniqueConstraint b -> UniqueConstraint b -> Bool #
Backend b => Hashable (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache Methods hashWithSalt :: Int -> UniqueConstraint b -> Int Source # hash :: UniqueConstraint b -> Int Source #
type Rep (UniqueConstraint b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (UniqueConstraint b) = D1 ('MetaData "UniqueConstraint" "Hasura.Table.Cache" "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 => FromJSON (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (ForeignKey b) Source # parseJSONList :: Value -> Parser [ForeignKey b] Source #
Backend b => ToJSON (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: ForeignKey b -> Value Source # toEncoding :: ForeignKey b -> Encoding Source # toJSONList :: [ForeignKey b] -> Value Source # toEncodingList :: [ForeignKey b] -> Encoding Source #
Generic (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Show (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> ForeignKey b -> ShowS # show :: ForeignKey b -> String # showList :: [ForeignKey b] -> ShowS #
Backend b => NFData (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: ForeignKey b -> () #
Backend b => Eq (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: ForeignKey b -> ForeignKey b -> Bool # (/=) :: ForeignKey b -> ForeignKey b -> Bool #
Backend b => Hashable (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache Methods hashWithSalt :: Int -> ForeignKey b -> Int Source # hash :: ForeignKey b -> Int Source #
type Rep (ForeignKey b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (ForeignKey b) = D1 ('MetaData "ForeignKey" "Hasura.Table.Cache" "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
_tciRawColumns :: [RawColumnInfo b]

Instances

Instances details

(Backend b, Generic pkCol, ToJSON field, ToJSON pkCol) => ToJSON (TableCoreInfoG b field pkCol) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: TableCoreInfoG b field pkCol -> Value Source # toEncoding :: TableCoreInfoG b field pkCol -> Encoding Source # toJSONList :: [TableCoreInfoG b field pkCol] -> Value Source # toEncodingList :: [TableCoreInfoG b field pkCol] -> Encoding Source #
Generic (TableCoreInfoG b field primaryKeyColumn) Source #
Instance details Defined in Hasura.Table.Cache 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 #
(Eq field, Eq pkCol, Backend b) => Eq (TableCoreInfoG b field pkCol) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: TableCoreInfoG b field pkCol -> TableCoreInfoG b field pkCol -> Bool # (/=) :: TableCoreInfoG b field pkCol -> TableCoreInfoG b field pkCol -> Bool #
type Rep (TableCoreInfoG b field primaryKeyColumn) Source #
Instance details Defined in Hasura.Table.Cache type Rep (TableCoreInfoG b field primaryKeyColumn) = D1 ('MetaData "TableCoreInfoG" "Hasura.Table.Cache" "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)) :*: S1 ('MetaSel ('Just "_tciRawColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [RawColumnInfo b]))))))

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 #

tciRawColumns :: forall b field primaryKeyColumn. Lens' (TableCoreInfoG b field primaryKeyColumn) [RawColumnInfo 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. 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

(Backend b, ToJSON (EventTriggerInfoMap b), ToJSON (RolePermInfo b), ToJSON (RolePermInfoMap b), ToJSON (TableCoreInfo b)) => ToJSON (TableInfo b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: TableInfo b -> Value Source # toEncoding :: TableInfo b -> Encoding Source # toJSONList :: [TableInfo b] -> Value Source # toEncodingList :: [TableInfo b] -> Encoding Source #
Generic (TableInfo b) Source #
Instance details Defined in Hasura.Table.Cache Associated Types type Rep (TableInfo b) :: Type -> Type # Methods from :: TableInfo b -> Rep (TableInfo b) x # to :: Rep (TableInfo b) x -> TableInfo b #
type Rep (TableInfo b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (TableInfo b) = D1 ('MetaData "TableInfo" "Hasura.Table.Cache" "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 => FromJSON (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (ForeignKeyMetadata b) Source # parseJSONList :: Value -> Parser [ForeignKeyMetadata b] Source #
Backend b => ToJSON (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: ForeignKeyMetadata b -> Value Source # toEncoding :: ForeignKeyMetadata b -> Encoding Source # toJSONList :: [ForeignKeyMetadata b] -> Value Source # toEncodingList :: [ForeignKeyMetadata b] -> Encoding Source #
Backend b => Show (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.Table.Cache 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.Table.Cache Methods rnf :: ForeignKeyMetadata b -> () #
Backend b => Eq (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: ForeignKeyMetadata b -> ForeignKeyMetadata b -> Bool # (/=) :: ForeignKeyMetadata b -> ForeignKeyMetadata b -> Bool #
Backend b => Hashable (ForeignKeyMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods hashWithSalt :: Int -> ForeignKeyMetadata b -> Int Source # hash :: ForeignKeyMetadata b -> Int 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 => FromJSON (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods parseJSON :: Value -> Parser (DBTableMetadata b) Source # parseJSONList :: Value -> Parser [DBTableMetadata b] Source #
Backend b => ToJSON (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods toJSON :: DBTableMetadata b -> Value Source # toEncoding :: DBTableMetadata b -> Encoding Source # toJSONList :: [DBTableMetadata b] -> Value Source # toEncodingList :: [DBTableMetadata b] -> Encoding Source #
Generic (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache 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 => Show (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods showsPrec :: Int -> DBTableMetadata b -> ShowS # show :: DBTableMetadata b -> String # showList :: [DBTableMetadata b] -> ShowS #
Backend b => NFData (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods rnf :: DBTableMetadata b -> () #
Backend b => Eq (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache Methods (==) :: DBTableMetadata b -> DBTableMetadata b -> Bool # (/=) :: DBTableMetadata b -> DBTableMetadata b -> Bool #
type Rep (DBTableMetadata b) Source #
Instance details Defined in Hasura.Table.Cache type Rep (DBTableMetadata b) = D1 ('MetaData "DBTableMetadata" "Hasura.Table.Cache" "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