Safe Haskell	None
Language	Haskell2010

Hasura.Backends.MSSQL.Types.Update

Description

MSSQL Types Update

This module defines the Update-related IR types specific to MSSQL.

Synopsis

data BackendUpdate v = BackendUpdate {
- updateOperations :: HashMap ColumnName (UpdateOperator v)
}
data UpdateOperator v
- = UpdateSet v
- | UpdateInc v
type UpdateSet = HashMap ColumnName (UpdateOperator Expression)
type UpdateOutput = Output Inserted
data Update = Update {
- updateTable :: Aliased TableName
- updateSet :: UpdateSet
- updateOutput :: UpdateOutput
- updateTempTable :: TempTable
- updateWhere :: Where
}

Documentation

data BackendUpdate v Source #

The MSSQL-specific data of an Update expression.

This is parameterised over v which enables different phases of IR transformation to maintain the overall structure while enriching/transforming the data at the leaves.

Constructors

BackendUpdate
Fields updateOperations :: HashMap ColumnName (UpdateOperator v) The update operations to perform on each column. This HashMap will also contain the update operators for the presets. They are populated as part of the schema building in `msBuildTableUpdateMutationFields` in the call to `buildUpdateOperators`.

Instances

Instances details

Functor BackendUpdate Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods fmap :: (a -> b) -> BackendUpdate a -> BackendUpdate b # (<$) :: a -> BackendUpdate b -> BackendUpdate a #
Foldable BackendUpdate Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods fold :: Monoid m => BackendUpdate m -> m # foldMap :: Monoid m => (a -> m) -> BackendUpdate a -> m # foldMap' :: Monoid m => (a -> m) -> BackendUpdate a -> m # foldr :: (a -> b -> b) -> b -> BackendUpdate a -> b # foldr' :: (a -> b -> b) -> b -> BackendUpdate a -> b # foldl :: (b -> a -> b) -> b -> BackendUpdate a -> b # foldl' :: (b -> a -> b) -> b -> BackendUpdate a -> b # foldr1 :: (a -> a -> a) -> BackendUpdate a -> a # foldl1 :: (a -> a -> a) -> BackendUpdate a -> a # toList :: BackendUpdate a -> [a] # null :: BackendUpdate a -> Bool # length :: BackendUpdate a -> Int # elem :: Eq a => a -> BackendUpdate a -> Bool # maximum :: Ord a => BackendUpdate a -> a # minimum :: Ord a => BackendUpdate a -> a # sum :: Num a => BackendUpdate a -> a # product :: Num a => BackendUpdate a -> a #
Traversable BackendUpdate Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods traverse :: Applicative f => (a -> f b) -> BackendUpdate a -> f (BackendUpdate b) # sequenceA :: Applicative f => BackendUpdate (f a) -> f (BackendUpdate a) # mapM :: Monad m => (a -> m b) -> BackendUpdate a -> m (BackendUpdate b) # sequence :: Monad m => BackendUpdate (m a) -> m (BackendUpdate a) #
Data v => Data (BackendUpdate v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BackendUpdate v -> c (BackendUpdate v) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BackendUpdate v) # toConstr :: BackendUpdate v -> Constr # dataTypeOf :: BackendUpdate v -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BackendUpdate v)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BackendUpdate v)) # gmapT :: (forall b. Data b => b -> b) -> BackendUpdate v -> BackendUpdate v # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BackendUpdate v -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BackendUpdate v -> r # gmapQ :: (forall d. Data d => d -> u) -> BackendUpdate v -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BackendUpdate v -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BackendUpdate v -> m (BackendUpdate v) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BackendUpdate v -> m (BackendUpdate v) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BackendUpdate v -> m (BackendUpdate v) #
Generic (BackendUpdate v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Associated Types type Rep (BackendUpdate v) :: Type -> Type # Methods from :: BackendUpdate v -> Rep (BackendUpdate v) x # to :: Rep (BackendUpdate v) x -> BackendUpdate v #
type Rep (BackendUpdate v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update type Rep (BackendUpdate v) = D1 ('MetaData "BackendUpdate" "Hasura.Backends.MSSQL.Types.Update" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "BackendUpdate" 'PrefixI 'True) (S1 ('MetaSel ('Just "updateOperations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashMap ColumnName (UpdateOperator v)))))

data UpdateOperator v Source #

The various update operators supported by MSSQL, i.e. the _set, _inc operators that appear in the schema.

TODO: Docs for MSSQL! See Update Mutations User docs

Constructors

UpdateSet v
UpdateInc v

Instances

Instances details

Functor UpdateOperator Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods fmap :: (a -> b) -> UpdateOperator a -> UpdateOperator b # (<$) :: a -> UpdateOperator b -> UpdateOperator a #
Foldable UpdateOperator Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods fold :: Monoid m => UpdateOperator m -> m # foldMap :: Monoid m => (a -> m) -> UpdateOperator a -> m # foldMap' :: Monoid m => (a -> m) -> UpdateOperator a -> m # foldr :: (a -> b -> b) -> b -> UpdateOperator a -> b # foldr' :: (a -> b -> b) -> b -> UpdateOperator a -> b # foldl :: (b -> a -> b) -> b -> UpdateOperator a -> b # foldl' :: (b -> a -> b) -> b -> UpdateOperator a -> b # foldr1 :: (a -> a -> a) -> UpdateOperator a -> a # foldl1 :: (a -> a -> a) -> UpdateOperator a -> a # toList :: UpdateOperator a -> [a] # null :: UpdateOperator a -> Bool # length :: UpdateOperator a -> Int # elem :: Eq a => a -> UpdateOperator a -> Bool # maximum :: Ord a => UpdateOperator a -> a # minimum :: Ord a => UpdateOperator a -> a # sum :: Num a => UpdateOperator a -> a # product :: Num a => UpdateOperator a -> a #
Traversable UpdateOperator Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods traverse :: Applicative f => (a -> f b) -> UpdateOperator a -> f (UpdateOperator b) # sequenceA :: Applicative f => UpdateOperator (f a) -> f (UpdateOperator a) # mapM :: Monad m => (a -> m b) -> UpdateOperator a -> m (UpdateOperator b) # sequence :: Monad m => UpdateOperator (m a) -> m (UpdateOperator a) #
Data v => Data (UpdateOperator v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UpdateOperator v -> c (UpdateOperator v) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UpdateOperator v) # toConstr :: UpdateOperator v -> Constr # dataTypeOf :: UpdateOperator v -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (UpdateOperator v)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UpdateOperator v)) # gmapT :: (forall b. Data b => b -> b) -> UpdateOperator v -> UpdateOperator v # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UpdateOperator v -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UpdateOperator v -> r # gmapQ :: (forall d. Data d => d -> u) -> UpdateOperator v -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UpdateOperator v -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UpdateOperator v -> m (UpdateOperator v) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UpdateOperator v -> m (UpdateOperator v) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UpdateOperator v -> m (UpdateOperator v) #
Generic (UpdateOperator v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update Associated Types type Rep (UpdateOperator v) :: Type -> Type # Methods from :: UpdateOperator v -> Rep (UpdateOperator v) x # to :: Rep (UpdateOperator v) x -> UpdateOperator v #
type Rep (UpdateOperator v) Source #
Instance details Defined in Hasura.Backends.MSSQL.Types.Update type Rep (UpdateOperator v) = D1 ('MetaData "UpdateOperator" "Hasura.Backends.MSSQL.Types.Update" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "UpdateSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 v)) :+: C1 ('MetaCons "UpdateInc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 v)))

type UpdateSet = HashMap ColumnName (UpdateOperator Expression) Source #

type UpdateOutput = Output Inserted Source #

data Update Source #

UPDATE [table_alias] SET [table_alias].column = value OUTPUT INSERTED.column INTO #updated FROM [table_name] AS [table_alias] WHERE filter-expression

Constructors

Update
Fields updateTable :: Aliased TableName updateSet :: UpdateSet updateOutput :: UpdateOutput updateTempTable :: TempTable updateWhere :: Where