Database.Beam.Backend.SQL.BeamExtensions

Some functionality is useful enough to be provided across backends, but is not standardized. For example, many RDBMS systems provide ways of fetching auto-incrementing or defaulting fields on INSERT or UPDATE.

Beam provides type classes that some backends instantiate that provide this support. This uses direct means on sufficiently advanced backends and is emulated on others.

Documentation

class MonadBeam be m => MonadBeamInsertReturning be m | m -> be where

MonadBeams that support returning the newly created rows of an INSERT statement. Useful for discovering the real value of a defaulted value.

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> m [table Identity]

Instances

(MonadBeamInsertReturning be m, Monoid r) => MonadBeamInsertReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> WriterT r m [table Identity]

(MonadBeamInsertReturning be m, Monoid r) => MonadBeamInsertReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> WriterT r m [table Identity]

MonadBeamInsertReturning be m => MonadBeamInsertReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> StateT r m [table Identity]

MonadBeamInsertReturning be m => MonadBeamInsertReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> StateT r m [table Identity]

MonadBeamInsertReturning be m => MonadBeamInsertReturning be (ExceptT e m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> ExceptT e m [table Identity]

MonadBeamInsertReturning be m => MonadBeamInsertReturning be (ReaderT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> ReaderT r m [table Identity]

MonadBeamInsertReturning be m => MonadBeamInsertReturning be (ContT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> ContT r m [table Identity]

(MonadBeamInsertReturning be m, Monoid w) => MonadBeamInsertReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> RWST r w s m [table Identity]

(MonadBeamInsertReturning be m, Monoid w) => MonadBeamInsertReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runInsertReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlInsert be table -> RWST r w s m [table Identity]

class MonadBeam be m => MonadBeamUpdateReturning be m | m -> be where

MonadBeams that support returning the updated rows of an UPDATE statement. Useful for discovering the new values of the updated rows.

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> m [table Identity]

Instances

(MonadBeamUpdateReturning be m, Monoid r) => MonadBeamUpdateReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> WriterT r m [table Identity]

(MonadBeamUpdateReturning be m, Monoid r) => MonadBeamUpdateReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> WriterT r m [table Identity]

MonadBeamUpdateReturning be m => MonadBeamUpdateReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> StateT r m [table Identity]

MonadBeamUpdateReturning be m => MonadBeamUpdateReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> StateT r m [table Identity]

MonadBeamUpdateReturning be m => MonadBeamUpdateReturning be (ExceptT e m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> ExceptT e m [table Identity]

MonadBeamUpdateReturning be m => MonadBeamUpdateReturning be (ReaderT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> ReaderT r m [table Identity]

MonadBeamUpdateReturning be m => MonadBeamUpdateReturning be (ContT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> ContT r m [table Identity]

(MonadBeamUpdateReturning be m, Monoid w) => MonadBeamUpdateReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> RWST r w s m [table Identity]

(MonadBeamUpdateReturning be m, Monoid w) => MonadBeamUpdateReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runUpdateReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlUpdate be table -> RWST r w s m [table Identity]

class MonadBeam be m => MonadBeamDeleteReturning be m | m -> be where

MonadBeams that suppert returning rows that will be deleted by the given DELETE statement. Useful for deallocating resources based on the value of deleted rows.

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> m [table Identity]

Instances

(MonadBeamDeleteReturning be m, Monoid r) => MonadBeamDeleteReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> WriterT r m [table Identity]

(MonadBeamDeleteReturning be m, Monoid r) => MonadBeamDeleteReturning be (WriterT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> WriterT r m [table Identity]

MonadBeamDeleteReturning be m => MonadBeamDeleteReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> StateT r m [table Identity]

MonadBeamDeleteReturning be m => MonadBeamDeleteReturning be (StateT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> StateT r m [table Identity]

MonadBeamDeleteReturning be m => MonadBeamDeleteReturning be (ExceptT e m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> ExceptT e m [table Identity]

MonadBeamDeleteReturning be m => MonadBeamDeleteReturning be (ReaderT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> ReaderT r m [table Identity]

MonadBeamDeleteReturning be m => MonadBeamDeleteReturning be (ContT r m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> ContT r m [table Identity]

(MonadBeamDeleteReturning be m, Monoid w) => MonadBeamDeleteReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> RWST r w s m [table Identity]

(MonadBeamDeleteReturning be m, Monoid w) => MonadBeamDeleteReturning be (RWST r w s m)

Defined in Database.Beam.Backend.SQL.BeamExtensions

Methods

runDeleteReturningList :: (Beamable table, Projectible be (table (QExpr be ())), FromBackendRow be (table Identity)) => SqlDelete be table -> RWST r w s m [table Identity]

newtype SqlSerial a

Constructors

SqlSerial

Fields

• unSerial :: a

Instances

FromBackendRow be x => FromBackendRow be (SqlSerial x)

Defined in Database.Beam.Backend.SQL.Row

Methods

fromBackendRow :: FromBackendRowM be (SqlSerial x)

valuesNeeded :: Proxy be -> Proxy (SqlSerial x) -> Int

HasSqlValueSyntax syntax x => HasSqlValueSyntax syntax (SqlSerial x)

Defined in Database.Beam.Backend.SQL.SQL92

Methods

sqlValueSyntax :: SqlSerial x -> syntax

HasSqlQuantifiedEqualityCheck syntax a => HasSqlQuantifiedEqualityCheck syntax (SqlSerial a)

Defined in Database.Beam.Query.Ord

Methods

sqlQEqE :: Proxy (SqlSerial a) -> Proxy syntax -> Maybe (BeamSqlBackendExpressionQuantifierSyntax syntax) -> BeamSqlBackendExpressionSyntax syntax -> BeamSqlBackendExpressionSyntax syntax -> BeamSqlBackendExpressionSyntax syntax

sqlQNeqE :: Proxy (SqlSerial a) -> Proxy syntax -> Maybe (BeamSqlBackendExpressionQuantifierSyntax syntax) -> BeamSqlBackendExpressionSyntax syntax -> BeamSqlBackendExpressionSyntax syntax -> BeamSqlBackendExpressionSyntax syntax

HasSqlEqualityCheck be a => HasSqlEqualityCheck be (SqlSerial a)

Defined in Database.Beam.Query.Ord

Methods

sqlEqE :: Proxy (SqlSerial a) -> Proxy be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be

sqlNeqE :: Proxy (SqlSerial a) -> Proxy be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be

sqlEqTriE :: Proxy (SqlSerial a) -> Proxy be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be

sqlNeqTriE :: Proxy (SqlSerial a) -> Proxy be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be

Enum a => Enum (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

succ :: SqlSerial a -> SqlSerial a

pred :: SqlSerial a -> SqlSerial a

toEnum :: Int -> SqlSerial a

fromEnum :: SqlSerial a -> Int

enumFrom :: SqlSerial a -> [SqlSerial a]

enumFromThen :: SqlSerial a -> SqlSerial a -> [SqlSerial a]

enumFromTo :: SqlSerial a -> SqlSerial a -> [SqlSerial a]

enumFromThenTo :: SqlSerial a -> SqlSerial a -> SqlSerial a -> [SqlSerial a]

Eq a => Eq (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

(==) :: SqlSerial a -> SqlSerial a -> Bool

(/=) :: SqlSerial a -> SqlSerial a -> Bool

Integral a => Integral (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

quot :: SqlSerial a -> SqlSerial a -> SqlSerial a

rem :: SqlSerial a -> SqlSerial a -> SqlSerial a

div :: SqlSerial a -> SqlSerial a -> SqlSerial a

mod :: SqlSerial a -> SqlSerial a -> SqlSerial a

quotRem :: SqlSerial a -> SqlSerial a -> (SqlSerial a, SqlSerial a)

divMod :: SqlSerial a -> SqlSerial a -> (SqlSerial a, SqlSerial a)

toInteger :: SqlSerial a -> Integer

Num a => Num (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

(+) :: SqlSerial a -> SqlSerial a -> SqlSerial a

(-) :: SqlSerial a -> SqlSerial a -> SqlSerial a

(*) :: SqlSerial a -> SqlSerial a -> SqlSerial a

negate :: SqlSerial a -> SqlSerial a

abs :: SqlSerial a -> SqlSerial a

signum :: SqlSerial a -> SqlSerial a

fromInteger :: Integer -> SqlSerial a

Ord a => Ord (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

compare :: SqlSerial a -> SqlSerial a -> Ordering

(<) :: SqlSerial a -> SqlSerial a -> Bool

(<=) :: SqlSerial a -> SqlSerial a -> Bool

(>) :: SqlSerial a -> SqlSerial a -> Bool

(>=) :: SqlSerial a -> SqlSerial a -> Bool

max :: SqlSerial a -> SqlSerial a -> SqlSerial a

min :: SqlSerial a -> SqlSerial a -> SqlSerial a

Read a => Read (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

readsPrec :: Int -> ReadS (SqlSerial a)

readList :: ReadS [SqlSerial a]

readPrec :: ReadPrec (SqlSerial a)

readListPrec :: ReadPrec [SqlSerial a]

Real a => Real (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

toRational :: SqlSerial a -> Rational

Show a => Show (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

showsPrec :: Int -> SqlSerial a -> ShowS

show :: SqlSerial a -> String

showList :: [SqlSerial a] -> ShowS

ToJSON a => ToJSON (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

toJSON :: SqlSerial a -> Value

toEncoding :: SqlSerial a -> Encoding

toJSONList :: [SqlSerial a] -> Value

toEncodingList :: [SqlSerial a] -> Encoding

FromJSON a => FromJSON (SqlSerial a)

Defined in Database.Beam.Backend.SQL.Types

Methods

parseJSON :: Value -> Parser (SqlSerial a)

parseJSONList :: Value -> Parser [SqlSerial a]