Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.Backends.Postgres.Execute.Mutation

Description

Postgres Execute Mutation

Generic combinators for translating and excecuting IR mutation statements. Used by the specific mutation modules, e.g. Insert.

See Execute.

Synopsis

data MutateResp (b :: BackendType) a = MutateResp {
- _mrAffectedRows :: Int
- _mrReturningColumns :: [ColumnValues b a]
}
execUpdateQuery :: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (AnnotatedUpdate ('Postgres pgKind), Seq PrepArg) -> m EncJSON
execDeleteQuery :: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (AnnDel ('Postgres pgKind), Seq PrepArg) -> m EncJSON
execInsertQuery :: (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (InsertQueryP1 ('Postgres pgKind), Seq PrepArg) -> m EncJSON
executeMutationOutputQuery :: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => QualifiedTable -> [ColumnInfo ('Postgres pgKind)] -> Maybe Int -> MutationCTE -> MutationOutput ('Postgres pgKind) -> StringifyNumbers -> Maybe NamingCase -> [PrepArg] -> m EncJSON
mutateAndFetchCols :: forall pgKind. (Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind) => QualifiedTable -> [ColumnInfo ('Postgres pgKind)] -> (MutationCTE, Seq PrepArg) -> StringifyNumbers -> Maybe NamingCase -> TxE QErr (MutateResp ('Postgres pgKind) TxtEncodedVal)
type ValidateInputPayloadVersion = Int
validateInputPayloadVersion :: ValidateInputPayloadVersion
newtype ValidateInputErrorResponse = ValidateInputErrorResponse {
- _vierMessage :: Text
}
data HttpHandlerLog = HttpHandlerLog {
- _hhlUrl :: Text
- _hhlRequest :: Value
- _hhlRequestHeaders :: [HeaderConf]
- _hhlResponse :: Value
- _hhlResponseStatus :: Int
}
data ValidateInsertInputLog = VIILHttpHandler HttpHandlerLog
type InsertValidationPayloadMap pgKind = InsOrdHashMap (TableName ('Postgres pgKind)) ([AnnotatedInsertRow ('Postgres pgKind) (UnpreparedValue ('Postgres pgKind))], ValidateInput ResolvedWebhook)
validateUpdateMutation :: forall pgKind m. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> AnnotatedUpdateG ('Postgres pgKind) Void (UnpreparedValue ('Postgres pgKind)) -> Maybe (HashMap Name (Value Variable)) -> m ()
validateDeleteMutation :: forall m pgKind. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> AnnDelG ('Postgres pgKind) Void (UnpreparedValue ('Postgres pgKind)) -> Maybe (HashMap Name (Value Variable)) -> m ()
validateMutation :: forall m. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> Value -> m ()

Documentation

data MutateResp (b :: BackendType) a Source #

Constructors

MutateResp
Fields _mrAffectedRows :: Int _mrReturningColumns :: [ColumnValues b a]

Instances

Instances details

(Backend b, FromJSON a) => FromJSON (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods parseJSON :: Value -> Parser (MutateResp b a) Source # parseJSONList :: Value -> Parser [MutateResp b a] Source #
(Backend b, ToJSON a) => ToJSON (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods toJSON :: MutateResp b a -> Value Source # toEncoding :: MutateResp b a -> Encoding Source # toJSONList :: [MutateResp b a] -> Value Source # toEncodingList :: [MutateResp b a] -> Encoding Source #
Generic (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Associated Types type Rep (MutateResp b a) :: Type -> Type # Methods from :: MutateResp b a -> Rep (MutateResp b a) x # to :: Rep (MutateResp b a) x -> MutateResp b a #
(Backend b, Show a) => Show (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods showsPrec :: Int -> MutateResp b a -> ShowS # show :: MutateResp b a -> String # showList :: [MutateResp b a] -> ShowS #
(Backend b, Eq a) => Eq (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods (==) :: MutateResp b a -> MutateResp b a -> Bool # (/=) :: MutateResp b a -> MutateResp b a -> Bool #
type Rep (MutateResp b a) Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation type Rep (MutateResp b a) = D1 ('MetaData "MutateResp" "Hasura.Backends.Postgres.Execute.Mutation" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "MutateResp" 'PrefixI 'True) (S1 ('MetaSel ('Just "_mrAffectedRows") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "_mrReturningColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ColumnValues b a])))

execUpdateQuery :: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (AnnotatedUpdate ('Postgres pgKind), Seq PrepArg) -> m EncJSON Source #

execDeleteQuery :: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (AnnDel ('Postgres pgKind), Seq PrepArg) -> m EncJSON Source #

execInsertQuery :: (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m) => StringifyNumbers -> Maybe NamingCase -> UserInfo -> (InsertQueryP1 ('Postgres pgKind), Seq PrepArg) -> m EncJSON Source #

executeMutationOutputQuery Source #

Arguments

:: forall pgKind m. (MonadTx m, Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind, MonadReader QueryTagsComment m)
=> QualifiedTable
-> [ColumnInfo ('Postgres pgKind)]
-> Maybe Int
-> MutationCTE
-> MutationOutput ('Postgres pgKind)
-> StringifyNumbers
-> Maybe NamingCase
-> [PrepArg]	Prepared params
-> m EncJSON

mutateAndFetchCols :: forall pgKind. (Backend ('Postgres pgKind), PostgresAnnotatedFieldJSON pgKind) => QualifiedTable -> [ColumnInfo ('Postgres pgKind)] -> (MutationCTE, Seq PrepArg) -> StringifyNumbers -> Maybe NamingCase -> TxE QErr (MutateResp ('Postgres pgKind) TxtEncodedVal) Source #

type ValidateInputPayloadVersion = Int Source #

validateInputPayloadVersion :: ValidateInputPayloadVersion Source #

newtype ValidateInputErrorResponse Source #

Constructors

ValidateInputErrorResponse
Fields _vierMessage :: Text

Instances

Instances details

FromJSON ValidateInputErrorResponse Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods parseJSON :: Value -> Parser ValidateInputErrorResponse Source # parseJSONList :: Value -> Parser [ValidateInputErrorResponse] Source #
ToJSON ValidateInputErrorResponse Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods toJSON :: ValidateInputErrorResponse -> Value Source # toEncoding :: ValidateInputErrorResponse -> Encoding Source # toJSONList :: [ValidateInputErrorResponse] -> Value Source # toEncodingList :: [ValidateInputErrorResponse] -> Encoding Source #
Show ValidateInputErrorResponse Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods showsPrec :: Int -> ValidateInputErrorResponse -> ShowS # show :: ValidateInputErrorResponse -> String # showList :: [ValidateInputErrorResponse] -> ShowS #
Eq ValidateInputErrorResponse Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods (==) :: ValidateInputErrorResponse -> ValidateInputErrorResponse -> Bool # (/=) :: ValidateInputErrorResponse -> ValidateInputErrorResponse -> Bool #

data HttpHandlerLog Source #

Constructors

HttpHandlerLog
Fields _hhlUrl :: Text _hhlRequest :: Value _hhlRequestHeaders :: [HeaderConf] _hhlResponse :: Value _hhlResponseStatus :: Int

Instances

Instances details

ToJSON HttpHandlerLog Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods toJSON :: HttpHandlerLog -> Value Source # toEncoding :: HttpHandlerLog -> Encoding Source # toJSONList :: [HttpHandlerLog] -> Value Source # toEncodingList :: [HttpHandlerLog] -> Encoding Source #
Show HttpHandlerLog Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods showsPrec :: Int -> HttpHandlerLog -> ShowS # show :: HttpHandlerLog -> String # showList :: [HttpHandlerLog] -> ShowS #

data ValidateInsertInputLog Source #

Constructors

VIILHttpHandler HttpHandlerLog

Instances

Instances details

ToJSON ValidateInsertInputLog Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods toJSON :: ValidateInsertInputLog -> Value Source # toEncoding :: ValidateInsertInputLog -> Encoding Source # toJSONList :: [ValidateInsertInputLog] -> Value Source # toEncodingList :: [ValidateInsertInputLog] -> Encoding Source #
ToEngineLog ValidateInsertInputLog Hasura Source #
Instance details Defined in Hasura.Backends.Postgres.Execute.Mutation Methods toEngineLog :: ValidateInsertInputLog -> (LogLevel, EngineLogType Hasura, Value) Source #

type InsertValidationPayloadMap pgKind = InsOrdHashMap (TableName ('Postgres pgKind)) ([AnnotatedInsertRow ('Postgres pgKind) (UnpreparedValue ('Postgres pgKind))], ValidateInput ResolvedWebhook) Source #

Map of table name and the value that is being inserted for that table This map is helpful for collecting all the insert mutation arguments for the nested tables and then sending them all at onve to the input validation webhook.

validateUpdateMutation :: forall pgKind m. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> AnnotatedUpdateG ('Postgres pgKind) Void (UnpreparedValue ('Postgres pgKind)) -> Maybe (HashMap Name (Value Variable)) -> m () Source #

validateDeleteMutation :: forall m pgKind. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> AnnDelG ('Postgres pgKind) Void (UnpreparedValue ('Postgres pgKind)) -> Maybe (HashMap Name (Value Variable)) -> m () Source #

validateMutation :: forall m. (MonadError QErr m, MonadIO m, MonadTrace m) => Environment -> Manager -> Logger Hasura -> UserInfo -> ResolvedWebhook -> [HeaderConf] -> Timeout -> Bool -> [Header] -> Value -> m () Source #