Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Beam.Backend.SQL.SQL92

Contents

Finally tagless style

Description

Finally tagless encoding of SQL92 syntax

Synopsis

class HasSqlValueSyntax expr ty where
- sqlValueSyntax :: ty -> expr
autoSqlValueSyntax :: (HasSqlValueSyntax expr String, Show a) => a -> expr
type Sql92SelectExpressionSyntax select = Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select)
type Sql92SelectProjectionSyntax select = Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax select)
type Sql92SelectGroupingSyntax select = Sql92SelectTableGroupingSyntax (Sql92SelectSelectTableSyntax select)
type Sql92SelectFromSyntax select = Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select)
type Sql92InsertExpressionSyntax select = Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax select)
type Sql92TableNameSyntax select = Sql92TableSourceTableNameSyntax (Sql92FromTableSourceSyntax (Sql92SelectFromSyntax select))
type Sql92ValueSyntax cmdSyntax = Sql92ExpressionValueSyntax (Sql92ExpressionSyntax cmdSyntax)
type Sql92ExpressionSyntax cmdSyntax = Sql92SelectExpressionSyntax (Sql92SelectSyntax cmdSyntax)
type Sql92ExtractFieldSyntax cmdSyntax = Sql92ExpressionExtractFieldSyntax (Sql92ExpressionSyntax cmdSyntax)
type Sql92HasValueSyntax cmdSyntax = HasSqlValueSyntax (Sql92ValueSyntax cmdSyntax)
type Sql92SelectSanityCheck select = (Sql92FromExpressionSyntax (Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select)) ~ Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select), Sql92TableSourceSelectSyntax (Sql92FromTableSourceSyntax (Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select))) ~ select, Sql92ProjectionExpressionSyntax (Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax select)) ~ Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select), Sql92OrderingExpressionSyntax (Sql92SelectOrderingSyntax select) ~ Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select), Sql92TableSourceExpressionSyntax (Sql92FromTableSourceSyntax (Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select))) ~ Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select))
type Sql92SanityCheck cmd = (Sql92SelectSanityCheck (Sql92SelectSyntax cmd), Sql92ExpressionValueSyntax (Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd))) ~ Sql92ValueSyntax cmd, Sql92ExpressionValueSyntax (Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd)) ~ Sql92ValueSyntax cmd, Sql92ExpressionValueSyntax (Sql92DeleteExpressionSyntax (Sql92DeleteSyntax cmd)) ~ Sql92ValueSyntax cmd, Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax (Sql92SelectSyntax cmd)) ~ Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd)), Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax (Sql92SelectSyntax cmd)) ~ Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd), Sql92DeleteExpressionSyntax (Sql92DeleteSyntax cmd) ~ Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd), Sql92ExpressionSelectSyntax (Sql92InsertExpressionSyntax (Sql92InsertSyntax cmd)) ~ Sql92SelectSyntax cmd, Sql92InsertValuesSelectSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd)) ~ Sql92SelectSyntax cmd, Sql92UpdateFieldNameSyntax (Sql92UpdateSyntax cmd) ~ Sql92ExpressionFieldNameSyntax (Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd))))
type Sql92ReasonableMarshaller be = (FromBackendRow be SqlNull, FromBackendRow be Text, FromBackendRow be Bool, FromBackendRow be Char, FromBackendRow be Int16, FromBackendRow be Int32, FromBackendRow be Int64, FromBackendRow be LocalTime)
class Sql92DisplaySyntax syntax where
- displaySyntax :: syntax -> String
class (IsSql92SelectSyntax (Sql92SelectSyntax cmd), IsSql92InsertSyntax (Sql92InsertSyntax cmd), IsSql92UpdateSyntax (Sql92UpdateSyntax cmd), IsSql92DeleteSyntax (Sql92DeleteSyntax cmd)) => IsSql92Syntax cmd where
- type Sql92SelectSyntax cmd :: Type
- type Sql92InsertSyntax cmd :: Type
- type Sql92UpdateSyntax cmd :: Type
- type Sql92DeleteSyntax cmd :: Type
- selectCmd :: Sql92SelectSyntax cmd -> cmd
- insertCmd :: Sql92InsertSyntax cmd -> cmd
- updateCmd :: Sql92UpdateSyntax cmd -> cmd
- deleteCmd :: Sql92DeleteSyntax cmd -> cmd
class (IsSql92SelectTableSyntax (Sql92SelectSelectTableSyntax select), IsSql92OrderingSyntax (Sql92SelectOrderingSyntax select)) => IsSql92SelectSyntax select where
- type Sql92SelectSelectTableSyntax select :: Type
- type Sql92SelectOrderingSyntax select :: Type
- selectStmt :: Sql92SelectSelectTableSyntax select -> [Sql92SelectOrderingSyntax select] -> Maybe Integer -> Maybe Integer -> select
class (IsSql92ExpressionSyntax (Sql92SelectTableExpressionSyntax select), IsSql92AggregationExpressionSyntax (Sql92SelectTableExpressionSyntax select), IsSql92ProjectionSyntax (Sql92SelectTableProjectionSyntax select), IsSql92FromSyntax (Sql92SelectTableFromSyntax select), IsSql92GroupingSyntax (Sql92SelectTableGroupingSyntax select), IsSql92AggregationSetQuantifierSyntax (Sql92SelectTableSetQuantifierSyntax select), Sql92GroupingExpressionSyntax (Sql92SelectTableGroupingSyntax select) ~ Sql92SelectTableExpressionSyntax select, Sql92FromExpressionSyntax (Sql92SelectTableFromSyntax select) ~ Sql92SelectTableExpressionSyntax select, Sql92SelectSelectTableSyntax (Sql92SelectTableSelectSyntax select) ~ select, Eq (Sql92SelectTableExpressionSyntax select)) => IsSql92SelectTableSyntax select where
- type Sql92SelectTableSelectSyntax select :: Type
- type Sql92SelectTableExpressionSyntax select :: Type
- type Sql92SelectTableProjectionSyntax select :: Type
- type Sql92SelectTableFromSyntax select :: Type
- type Sql92SelectTableGroupingSyntax select :: Type
- type Sql92SelectTableSetQuantifierSyntax select :: Type
- selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax select) -> Sql92SelectTableProjectionSyntax select -> Maybe (Sql92SelectTableFromSyntax select) -> Maybe (Sql92SelectTableExpressionSyntax select) -> Maybe (Sql92SelectTableGroupingSyntax select) -> Maybe (Sql92SelectTableExpressionSyntax select) -> select
- unionTables, intersectTables, exceptTable :: Bool -> select -> select -> select
class (IsSql92InsertValuesSyntax (Sql92InsertValuesSyntax insert), IsSql92TableNameSyntax (Sql92InsertTableNameSyntax insert)) => IsSql92InsertSyntax insert where
- type Sql92InsertValuesSyntax insert :: Type
- type Sql92InsertTableNameSyntax insert :: Type
- insertStmt :: Sql92InsertTableNameSyntax insert -> [Text] -> Sql92InsertValuesSyntax insert -> insert
class IsSql92ExpressionSyntax (Sql92InsertValuesExpressionSyntax insertValues) => IsSql92InsertValuesSyntax insertValues where
- type Sql92InsertValuesExpressionSyntax insertValues :: Type
- type Sql92InsertValuesSelectSyntax insertValues :: Type
- insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax insertValues]] -> insertValues
- insertFromSql :: Sql92InsertValuesSelectSyntax insertValues -> insertValues
class (IsSql92ExpressionSyntax (Sql92UpdateExpressionSyntax update), IsSql92FieldNameSyntax (Sql92UpdateFieldNameSyntax update), IsSql92TableNameSyntax (Sql92UpdateTableNameSyntax update)) => IsSql92UpdateSyntax update where
- type Sql92UpdateTableNameSyntax update :: Type
- type Sql92UpdateFieldNameSyntax update :: Type
- type Sql92UpdateExpressionSyntax update :: Type
- updateStmt :: Sql92UpdateTableNameSyntax update -> [(Sql92UpdateFieldNameSyntax update, Sql92UpdateExpressionSyntax update)] -> Maybe (Sql92UpdateExpressionSyntax update) -> update
class (IsSql92TableNameSyntax (Sql92DeleteTableNameSyntax delete), IsSql92ExpressionSyntax (Sql92DeleteExpressionSyntax delete)) => IsSql92DeleteSyntax delete where
- type Sql92DeleteTableNameSyntax delete :: Type
- type Sql92DeleteExpressionSyntax delete :: Type
- deleteStmt :: Sql92DeleteTableNameSyntax delete -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax delete) -> delete
- deleteSupportsAlias :: Proxy delete -> Bool
class IsSql92FieldNameSyntax fn where
- qualifiedField :: Text -> Text -> fn
- unqualifiedField :: Text -> fn
class IsSql92QuantifierSyntax quantifier where
- quantifyOverAll, quantifyOverAny :: quantifier
class IsSql92ExtractFieldSyntax extractField where
- secondsField :: extractField
- minutesField :: extractField
- hourField :: extractField
- dayField :: extractField
- monthField :: extractField
- yearField :: extractField
class IsSql92DataTypeSyntax dataType where
- domainType :: Text -> dataType
- charType :: Maybe Word -> Maybe Text -> dataType
- varCharType :: Maybe Word -> Maybe Text -> dataType
- nationalCharType :: Maybe Word -> dataType
- nationalVarCharType :: Maybe Word -> dataType
- bitType :: Maybe Word -> dataType
- varBitType :: Maybe Word -> dataType
- numericType :: Maybe (Word, Maybe Word) -> dataType
- decimalType :: Maybe (Word, Maybe Word) -> dataType
- intType :: dataType
- smallIntType :: dataType
- floatType :: Maybe Word -> dataType
- doubleType :: dataType
- realType :: dataType
- dateType :: dataType
- timeType :: Maybe Word -> Bool -> dataType
- timestampType :: Maybe Word -> Bool -> dataType
class (HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Int32, HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Bool, IsSql92FieldNameSyntax (Sql92ExpressionFieldNameSyntax expr), IsSql92QuantifierSyntax (Sql92ExpressionQuantifierSyntax expr), IsSql92DataTypeSyntax (Sql92ExpressionCastTargetSyntax expr), IsSql92ExtractFieldSyntax (Sql92ExpressionExtractFieldSyntax expr), Typeable expr) => IsSql92ExpressionSyntax expr where
- type Sql92ExpressionQuantifierSyntax expr :: Type
- type Sql92ExpressionValueSyntax expr :: Type
- type Sql92ExpressionSelectSyntax expr :: Type
- type Sql92ExpressionFieldNameSyntax expr :: Type
- type Sql92ExpressionCastTargetSyntax expr :: Type
- type Sql92ExpressionExtractFieldSyntax expr :: Type
- valueE :: Sql92ExpressionValueSyntax expr -> expr
- rowE, quantifierListE, coalesceE :: [expr] -> expr
- caseE :: [(expr, expr)] -> expr -> expr
- fieldE :: Sql92ExpressionFieldNameSyntax expr -> expr
- betweenE :: expr -> expr -> expr -> expr
- andE, orE, addE, subE, mulE, divE, likeE, modE, overlapsE, nullIfE, positionE :: expr -> expr -> expr
- eqE, neqE, ltE, gtE, leE, geE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- eqMaybeE, neqMaybeE :: expr -> expr -> expr -> expr
- castE :: expr -> Sql92ExpressionCastTargetSyntax expr -> expr
- notE, negateE, isNullE, isNotNullE, isTrueE, isNotTrueE, isFalseE, isNotFalseE, isUnknownE, isNotUnknownE, charLengthE, octetLengthE, bitLengthE, lowerE, upperE, trimE :: expr -> expr
- absE :: expr -> expr
- extractE :: Sql92ExpressionExtractFieldSyntax expr -> expr -> expr
- existsE, uniqueE, subqueryE :: Sql92ExpressionSelectSyntax expr -> expr
- currentTimestampE :: expr
- defaultE :: expr
- inE :: expr -> [expr] -> expr
- inSelectE :: expr -> Sql92ExpressionSelectSyntax expr -> expr
class IsSql92AggregationSetQuantifierSyntax (Sql92AggregationSetQuantifierSyntax expr) => IsSql92AggregationExpressionSyntax expr where
- type Sql92AggregationSetQuantifierSyntax expr :: Type
- countAllE :: expr
- countE, avgE, maxE, minE, sumE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
class IsSql92AggregationSetQuantifierSyntax q where
- setQuantifierDistinct, setQuantifierAll :: q
class IsSql92ExpressionSyntax (Sql92ProjectionExpressionSyntax proj) => IsSql92ProjectionSyntax proj where
- type Sql92ProjectionExpressionSyntax proj :: Type
- projExprs :: [(Sql92ProjectionExpressionSyntax proj, Maybe Text)] -> proj
class IsSql92OrderingSyntax ord where
- type Sql92OrderingExpressionSyntax ord :: Type
- ascOrdering, descOrdering :: Sql92OrderingExpressionSyntax ord -> ord
class IsSql92TableNameSyntax tblName where
- tableName :: Maybe Text -> Text -> tblName
class IsSql92TableNameSyntax (Sql92TableSourceTableNameSyntax tblSource) => IsSql92TableSourceSyntax tblSource where
- type Sql92TableSourceSelectSyntax tblSource :: Type
- type Sql92TableSourceExpressionSyntax tblSource :: Type
- type Sql92TableSourceTableNameSyntax tblSource :: Type
- tableNamed :: Sql92TableSourceTableNameSyntax tblSource -> tblSource
- tableFromSubSelect :: Sql92TableSourceSelectSyntax tblSource -> tblSource
- tableFromValues :: [[Sql92TableSourceExpressionSyntax tblSource]] -> tblSource
class IsSql92GroupingSyntax grouping where
- type Sql92GroupingExpressionSyntax grouping :: Type
- groupByExpressions :: [Sql92GroupingExpressionSyntax grouping] -> grouping
class (IsSql92TableSourceSyntax (Sql92FromTableSourceSyntax from), IsSql92ExpressionSyntax (Sql92FromExpressionSyntax from)) => IsSql92FromSyntax from where
- type Sql92FromTableSourceSyntax from :: Type
- type Sql92FromExpressionSyntax from :: Type
- fromTable :: Sql92FromTableSourceSyntax from -> Maybe (Text, Maybe [Text]) -> from
- innerJoin, leftJoin, rightJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from
class IsSql92FromSyntax from => IsSql92FromOuterJoinSyntax from where
- outerJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from

Finally tagless style

class HasSqlValueSyntax expr ty where Source #

Methods

sqlValueSyntax :: ty -> expr Source #

Instances

Instances details

HasSqlValueSyntax Value Int16 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int16 -> Value Source #
HasSqlValueSyntax Value Int32 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int32 -> Value Source #
HasSqlValueSyntax Value Int64 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int64 -> Value Source #
HasSqlValueSyntax Value Word16 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word16 -> Value Source #
HasSqlValueSyntax Value Word32 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word32 -> Value Source #
HasSqlValueSyntax Value Word64 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word64 -> Value Source #
HasSqlValueSyntax Value SqlNull Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: SqlNull -> Value Source #
HasSqlValueSyntax Value ByteString Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: ByteString -> Value Source #
HasSqlValueSyntax Value Text Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Text -> Value Source #
HasSqlValueSyntax Value Day Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Day -> Value Source #
HasSqlValueSyntax Value UTCTime Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: UTCTime -> Value Source #
HasSqlValueSyntax Value LocalTime Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: LocalTime -> Value Source #
HasSqlValueSyntax Value TimeOfDay Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: TimeOfDay -> Value Source #
HasSqlValueSyntax Value String Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: String -> Value Source #
HasSqlValueSyntax Value Integer Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Integer -> Value Source #
HasSqlValueSyntax Value Bool Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Bool -> Value Source #
HasSqlValueSyntax Value Double Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Double -> Value Source #
(TypeError (PreferExplicitSize Int Int32) :: Constraint) => HasSqlValueSyntax Value Int Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int -> Value Source #
(TypeError (PreferExplicitSize Word Word32) :: Constraint) => HasSqlValueSyntax Value Word Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word -> Value Source #
HasSqlValueSyntax SqlSyntaxBuilder Int32 Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Int32 -> SqlSyntaxBuilder Source #
HasSqlValueSyntax SqlSyntaxBuilder SqlNull Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: SqlNull -> SqlSyntaxBuilder Source #
HasSqlValueSyntax SqlSyntaxBuilder Text Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Text -> SqlSyntaxBuilder Source #
HasSqlValueSyntax SqlSyntaxBuilder Bool Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Bool -> SqlSyntaxBuilder Source #
(TypeError (PreferExplicitSize Int Int32) :: Constraint) => HasSqlValueSyntax SqlSyntaxBuilder Int Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Int -> SqlSyntaxBuilder Source #
HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x) Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Maybe x -> Value Source #
HasSqlValueSyntax syntax x => HasSqlValueSyntax syntax (SqlSerial x) Source #
Instance details Defined in Database.Beam.Backend.SQL.SQL92 Methods sqlValueSyntax :: SqlSerial x -> syntax Source #
HasSqlValueSyntax vs t => HasSqlValueSyntax vs (Tagged tag t) Source #
Instance details Defined in Database.Beam.Backend.SQL.SQL92 Methods sqlValueSyntax :: Tagged tag t -> vs Source #

autoSqlValueSyntax :: (HasSqlValueSyntax expr String, Show a) => a -> expr Source #

type Sql92SelectExpressionSyntax select = Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select) Source #

type Sql92SelectProjectionSyntax select = Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax select) Source #

type Sql92SelectGroupingSyntax select = Sql92SelectTableGroupingSyntax (Sql92SelectSelectTableSyntax select) Source #

type Sql92SelectFromSyntax select = Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select) Source #

type Sql92InsertExpressionSyntax select = Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax select) Source #

type Sql92TableNameSyntax select = Sql92TableSourceTableNameSyntax (Sql92FromTableSourceSyntax (Sql92SelectFromSyntax select)) Source #

type Sql92ValueSyntax cmdSyntax = Sql92ExpressionValueSyntax (Sql92ExpressionSyntax cmdSyntax) Source #

type Sql92ExpressionSyntax cmdSyntax = Sql92SelectExpressionSyntax (Sql92SelectSyntax cmdSyntax) Source #

type Sql92ExtractFieldSyntax cmdSyntax = Sql92ExpressionExtractFieldSyntax (Sql92ExpressionSyntax cmdSyntax) Source #

type Sql92HasValueSyntax cmdSyntax = HasSqlValueSyntax (Sql92ValueSyntax cmdSyntax) Source #

type Sql92SanityCheck cmd = (Sql92SelectSanityCheck (Sql92SelectSyntax cmd), Sql92ExpressionValueSyntax (Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd))) ~ Sql92ValueSyntax cmd, Sql92ExpressionValueSyntax (Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd)) ~ Sql92ValueSyntax cmd, Sql92ExpressionValueSyntax (Sql92DeleteExpressionSyntax (Sql92DeleteSyntax cmd)) ~ Sql92ValueSyntax cmd, Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax (Sql92SelectSyntax cmd)) ~ Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd)), Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax (Sql92SelectSyntax cmd)) ~ Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd), Sql92DeleteExpressionSyntax (Sql92DeleteSyntax cmd) ~ Sql92UpdateExpressionSyntax (Sql92UpdateSyntax cmd), Sql92ExpressionSelectSyntax (Sql92InsertExpressionSyntax (Sql92InsertSyntax cmd)) ~ Sql92SelectSyntax cmd, Sql92InsertValuesSelectSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd)) ~ Sql92SelectSyntax cmd, Sql92UpdateFieldNameSyntax (Sql92UpdateSyntax cmd) ~ Sql92ExpressionFieldNameSyntax (Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax (Sql92InsertSyntax cmd)))) Source #

type Sql92ReasonableMarshaller be = (FromBackendRow be SqlNull, FromBackendRow be Text, FromBackendRow be Bool, FromBackendRow be Char, FromBackendRow be Int16, FromBackendRow be Int32, FromBackendRow be Int64, FromBackendRow be LocalTime) Source #

class Sql92DisplaySyntax syntax where Source #

Type classes for syntaxes which can be displayed

Methods

displaySyntax :: syntax -> String Source #

Render the syntax as a String, representing the SQL expression it stands for

class (IsSql92SelectSyntax (Sql92SelectSyntax cmd), IsSql92InsertSyntax (Sql92InsertSyntax cmd), IsSql92UpdateSyntax (Sql92UpdateSyntax cmd), IsSql92DeleteSyntax (Sql92DeleteSyntax cmd)) => IsSql92Syntax cmd where Source #

Associated Types

type Sql92SelectSyntax cmd :: Type Source #

type Sql92InsertSyntax cmd :: Type Source #

type Sql92UpdateSyntax cmd :: Type Source #

type Sql92DeleteSyntax cmd :: Type Source #

Methods

selectCmd :: Sql92SelectSyntax cmd -> cmd Source #

insertCmd :: Sql92InsertSyntax cmd -> cmd Source #

updateCmd :: Sql92UpdateSyntax cmd -> cmd Source #

deleteCmd :: Sql92DeleteSyntax cmd -> cmd Source #

Instances

Instances details

IsSql92Syntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectSyntax Command Source # type Sql92InsertSyntax Command Source # type Sql92UpdateSyntax Command Source # type Sql92DeleteSyntax Command Source # Methods selectCmd :: Sql92SelectSyntax Command -> Command Source # insertCmd :: Sql92InsertSyntax Command -> Command Source # updateCmd :: Sql92UpdateSyntax Command -> Command Source # deleteCmd :: Sql92DeleteSyntax Command -> Command Source #
IsSql92Syntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92SelectSyntax SqlSyntaxBuilder Source # type Sql92InsertSyntax SqlSyntaxBuilder Source # type Sql92UpdateSyntax SqlSyntaxBuilder Source # type Sql92DeleteSyntax SqlSyntaxBuilder Source # Methods selectCmd :: Sql92SelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # insertCmd :: Sql92InsertSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # updateCmd :: Sql92UpdateSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # deleteCmd :: Sql92DeleteSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class (IsSql92SelectTableSyntax (Sql92SelectSelectTableSyntax select), IsSql92OrderingSyntax (Sql92SelectOrderingSyntax select)) => IsSql92SelectSyntax select where Source #

Associated Types

type Sql92SelectSelectTableSyntax select :: Type Source #

type Sql92SelectOrderingSyntax select :: Type Source #

Methods

selectStmt Source #

Arguments

:: Sql92SelectSelectTableSyntax select
-> [Sql92SelectOrderingSyntax select]
-> Maybe Integer	LIMIT
-> Maybe Integer	OFFSET
-> select

Instances

Instances details

IsSql92SelectSyntax Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectSelectTableSyntax Select Source # type Sql92SelectOrderingSyntax Select Source # Methods selectStmt :: Sql92SelectSelectTableSyntax Select -> [Sql92SelectOrderingSyntax Select] -> Maybe Integer -> Maybe Integer -> Select Source #
IsSql92SelectSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92SelectSelectTableSyntax SqlSyntaxBuilder Source # type Sql92SelectOrderingSyntax SqlSyntaxBuilder Source # Methods selectStmt :: Sql92SelectSelectTableSyntax SqlSyntaxBuilder -> [Sql92SelectOrderingSyntax SqlSyntaxBuilder] -> Maybe Integer -> Maybe Integer -> SqlSyntaxBuilder Source #

Associated Types

type Sql92SelectTableSelectSyntax select :: Type Source #

type Sql92SelectTableExpressionSyntax select :: Type Source #

type Sql92SelectTableProjectionSyntax select :: Type Source #

type Sql92SelectTableFromSyntax select :: Type Source #

type Sql92SelectTableGroupingSyntax select :: Type Source #

type Sql92SelectTableSetQuantifierSyntax select :: Type Source #

Methods

selectTableStmt Source #

Arguments

:: Maybe (Sql92SelectTableSetQuantifierSyntax select)
-> Sql92SelectTableProjectionSyntax select
-> Maybe (Sql92SelectTableFromSyntax select)
-> Maybe (Sql92SelectTableExpressionSyntax select)	Where clause
-> Maybe (Sql92SelectTableGroupingSyntax select)
-> Maybe (Sql92SelectTableExpressionSyntax select)	having clause
-> select

unionTables :: Bool -> select -> select -> select Source #

intersectTables :: Bool -> select -> select -> select Source #

exceptTable :: Bool -> select -> select -> select Source #

Instances

Instances details

IsSql92SelectTableSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectTableSelectSyntax SelectTable Source # type Sql92SelectTableExpressionSyntax SelectTable Source # type Sql92SelectTableProjectionSyntax SelectTable Source # type Sql92SelectTableFromSyntax SelectTable Source # type Sql92SelectTableGroupingSyntax SelectTable Source # type Sql92SelectTableSetQuantifierSyntax SelectTable Source # Methods selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SelectTable) -> Sql92SelectTableProjectionSyntax SelectTable -> Maybe (Sql92SelectTableFromSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> Maybe (Sql92SelectTableGroupingSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> SelectTable Source # unionTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # intersectTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # exceptTable :: Bool -> SelectTable -> SelectTable -> SelectTable Source #
IsSql92SelectTableSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92SelectTableSelectSyntax SqlSyntaxBuilder Source # type Sql92SelectTableExpressionSyntax SqlSyntaxBuilder Source # type Sql92SelectTableProjectionSyntax SqlSyntaxBuilder Source # type Sql92SelectTableFromSyntax SqlSyntaxBuilder Source # type Sql92SelectTableGroupingSyntax SqlSyntaxBuilder Source # type Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder Source # Methods selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder) -> Sql92SelectTableProjectionSyntax SqlSyntaxBuilder -> Maybe (Sql92SelectTableFromSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableExpressionSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableGroupingSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source # unionTables :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # intersectTables :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # exceptTable :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class (IsSql92InsertValuesSyntax (Sql92InsertValuesSyntax insert), IsSql92TableNameSyntax (Sql92InsertTableNameSyntax insert)) => IsSql92InsertSyntax insert where Source #

Associated Types

type Sql92InsertValuesSyntax insert :: Type Source #

type Sql92InsertTableNameSyntax insert :: Type Source #

Methods

insertStmt Source #

Arguments

:: Sql92InsertTableNameSyntax insert
-> [Text]	Fields
-> Sql92InsertValuesSyntax insert
-> insert

Instances

Instances details

IsSql92InsertSyntax Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92InsertValuesSyntax Insert Source # type Sql92InsertTableNameSyntax Insert Source # Methods insertStmt :: Sql92InsertTableNameSyntax Insert -> [Text] -> Sql92InsertValuesSyntax Insert -> Insert Source #
IsSql92InsertSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92InsertValuesSyntax SqlSyntaxBuilder Source # type Sql92InsertTableNameSyntax SqlSyntaxBuilder Source # Methods insertStmt :: Sql92InsertTableNameSyntax SqlSyntaxBuilder -> [Text] -> Sql92InsertValuesSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class IsSql92ExpressionSyntax (Sql92InsertValuesExpressionSyntax insertValues) => IsSql92InsertValuesSyntax insertValues where Source #

Associated Types

type Sql92InsertValuesExpressionSyntax insertValues :: Type Source #

type Sql92InsertValuesSelectSyntax insertValues :: Type Source #

Methods

insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax insertValues]] -> insertValues Source #

insertFromSql :: Sql92InsertValuesSelectSyntax insertValues -> insertValues Source #

Instances

Instances details

IsSql92InsertValuesSyntax InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92InsertValuesExpressionSyntax InsertValues Source # type Sql92InsertValuesSelectSyntax InsertValues Source # Methods insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax InsertValues]] -> InsertValues Source # insertFromSql :: Sql92InsertValuesSelectSyntax InsertValues -> InsertValues Source #
IsSql92InsertValuesSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92InsertValuesExpressionSyntax SqlSyntaxBuilder Source # type Sql92InsertValuesSelectSyntax SqlSyntaxBuilder Source # Methods insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax SqlSyntaxBuilder]] -> SqlSyntaxBuilder Source # insertFromSql :: Sql92InsertValuesSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class (IsSql92ExpressionSyntax (Sql92UpdateExpressionSyntax update), IsSql92FieldNameSyntax (Sql92UpdateFieldNameSyntax update), IsSql92TableNameSyntax (Sql92UpdateTableNameSyntax update)) => IsSql92UpdateSyntax update where Source #

Associated Types

type Sql92UpdateTableNameSyntax update :: Type Source #

type Sql92UpdateFieldNameSyntax update :: Type Source #

type Sql92UpdateExpressionSyntax update :: Type Source #

Methods

updateStmt Source #

Arguments

:: Sql92UpdateTableNameSyntax update
-> [(Sql92UpdateFieldNameSyntax update, Sql92UpdateExpressionSyntax update)]
-> Maybe (Sql92UpdateExpressionSyntax update)	WHERE
-> update

Instances

Instances details

IsSql92UpdateSyntax Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92UpdateTableNameSyntax Update Source # type Sql92UpdateFieldNameSyntax Update Source # type Sql92UpdateExpressionSyntax Update Source # Methods updateStmt :: Sql92UpdateTableNameSyntax Update -> [(Sql92UpdateFieldNameSyntax Update, Sql92UpdateExpressionSyntax Update)] -> Maybe (Sql92UpdateExpressionSyntax Update) -> Update Source #
IsSql92UpdateSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92UpdateTableNameSyntax SqlSyntaxBuilder Source # type Sql92UpdateFieldNameSyntax SqlSyntaxBuilder Source # type Sql92UpdateExpressionSyntax SqlSyntaxBuilder Source # Methods updateStmt :: Sql92UpdateTableNameSyntax SqlSyntaxBuilder -> [(Sql92UpdateFieldNameSyntax SqlSyntaxBuilder, Sql92UpdateExpressionSyntax SqlSyntaxBuilder)] -> Maybe (Sql92UpdateExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source #

class (IsSql92TableNameSyntax (Sql92DeleteTableNameSyntax delete), IsSql92ExpressionSyntax (Sql92DeleteExpressionSyntax delete)) => IsSql92DeleteSyntax delete where Source #

Minimal complete definition

deleteStmt

Associated Types

type Sql92DeleteTableNameSyntax delete :: Type Source #

type Sql92DeleteExpressionSyntax delete :: Type Source #

Methods

deleteStmt :: Sql92DeleteTableNameSyntax delete -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax delete) -> delete Source #

deleteSupportsAlias :: Proxy delete -> Bool Source #

Whether or not the DELETE command supports aliases

Instances

Instances details

IsSql92DeleteSyntax Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92DeleteTableNameSyntax Delete Source # type Sql92DeleteExpressionSyntax Delete Source # Methods deleteStmt :: Sql92DeleteTableNameSyntax Delete -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax Delete) -> Delete Source # deleteSupportsAlias :: Proxy Delete -> Bool Source #
IsSql92DeleteSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92DeleteTableNameSyntax SqlSyntaxBuilder Source # type Sql92DeleteExpressionSyntax SqlSyntaxBuilder Source # Methods deleteStmt :: Sql92DeleteTableNameSyntax SqlSyntaxBuilder -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source # deleteSupportsAlias :: Proxy SqlSyntaxBuilder -> Bool Source #

class IsSql92FieldNameSyntax fn where Source #

Methods

qualifiedField :: Text -> Text -> fn Source #

unqualifiedField :: Text -> fn Source #

Instances

Instances details

IsSql92FieldNameSyntax FieldName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods qualifiedField :: Text -> Text -> FieldName Source # unqualifiedField :: Text -> FieldName Source #
IsSql92FieldNameSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods qualifiedField :: Text -> Text -> SqlSyntaxBuilder Source # unqualifiedField :: Text -> SqlSyntaxBuilder Source #

class IsSql92QuantifierSyntax quantifier where Source #

Methods

quantifyOverAll :: quantifier Source #

quantifyOverAny :: quantifier Source #

Instances

Instances details

IsSql92QuantifierSyntax ComparatorQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods quantifyOverAll :: ComparatorQuantifier Source # quantifyOverAny :: ComparatorQuantifier Source #
IsSql92QuantifierSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods quantifyOverAll :: SqlSyntaxBuilder Source # quantifyOverAny :: SqlSyntaxBuilder Source #

class IsSql92ExtractFieldSyntax extractField where Source #

Methods

secondsField :: extractField Source #

minutesField :: extractField Source #

hourField :: extractField Source #

dayField :: extractField Source #

monthField :: extractField Source #

yearField :: extractField Source #

Instances

Instances details

IsSql92ExtractFieldSyntax ExtractField Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods secondsField :: ExtractField Source # minutesField :: ExtractField Source # hourField :: ExtractField Source # dayField :: ExtractField Source # monthField :: ExtractField Source # yearField :: ExtractField Source #
IsSql92ExtractFieldSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods secondsField :: SqlSyntaxBuilder Source # minutesField :: SqlSyntaxBuilder Source # hourField :: SqlSyntaxBuilder Source # dayField :: SqlSyntaxBuilder Source # monthField :: SqlSyntaxBuilder Source # yearField :: SqlSyntaxBuilder Source #

class IsSql92DataTypeSyntax dataType where Source #

Methods

domainType :: Text -> dataType Source #

charType :: Maybe Word -> Maybe Text -> dataType Source #

varCharType :: Maybe Word -> Maybe Text -> dataType Source #

nationalCharType :: Maybe Word -> dataType Source #

nationalVarCharType :: Maybe Word -> dataType Source #

bitType :: Maybe Word -> dataType Source #

varBitType :: Maybe Word -> dataType Source #

numericType :: Maybe (Word, Maybe Word) -> dataType Source #

decimalType :: Maybe (Word, Maybe Word) -> dataType Source #

intType :: dataType Source #

smallIntType :: dataType Source #

floatType :: Maybe Word -> dataType Source #

doubleType :: dataType Source #

realType :: dataType Source #

dateType :: dataType Source #

timeType Source #

Arguments

:: Maybe Word
-> Bool	With time zone
-> dataType

timestampType Source #

Arguments

:: Maybe Word
-> Bool	With time zone
-> dataType

Instances

Instances details

IsSql92DataTypeSyntax DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods domainType :: Text -> DataType Source # charType :: Maybe Word -> Maybe Text -> DataType Source # varCharType :: Maybe Word -> Maybe Text -> DataType Source # nationalCharType :: Maybe Word -> DataType Source # nationalVarCharType :: Maybe Word -> DataType Source # bitType :: Maybe Word -> DataType Source # varBitType :: Maybe Word -> DataType Source # numericType :: Maybe (Word, Maybe Word) -> DataType Source # decimalType :: Maybe (Word, Maybe Word) -> DataType Source # intType :: DataType Source # smallIntType :: DataType Source # floatType :: Maybe Word -> DataType Source # doubleType :: DataType Source # realType :: DataType Source # dateType :: DataType Source # timeType :: Maybe Word -> Bool -> DataType Source # timestampType :: Maybe Word -> Bool -> DataType Source #
IsSql92DataTypeSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods domainType :: Text -> SqlSyntaxBuilder Source # charType :: Maybe Word -> Maybe Text -> SqlSyntaxBuilder Source # varCharType :: Maybe Word -> Maybe Text -> SqlSyntaxBuilder Source # nationalCharType :: Maybe Word -> SqlSyntaxBuilder Source # nationalVarCharType :: Maybe Word -> SqlSyntaxBuilder Source # bitType :: Maybe Word -> SqlSyntaxBuilder Source # varBitType :: Maybe Word -> SqlSyntaxBuilder Source # numericType :: Maybe (Word, Maybe Word) -> SqlSyntaxBuilder Source # decimalType :: Maybe (Word, Maybe Word) -> SqlSyntaxBuilder Source # intType :: SqlSyntaxBuilder Source # smallIntType :: SqlSyntaxBuilder Source # floatType :: Maybe Word -> SqlSyntaxBuilder Source # doubleType :: SqlSyntaxBuilder Source # realType :: SqlSyntaxBuilder Source # dateType :: SqlSyntaxBuilder Source # timeType :: Maybe Word -> Bool -> SqlSyntaxBuilder Source # timestampType :: Maybe Word -> Bool -> SqlSyntaxBuilder Source #

class (HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Int32, HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Bool, IsSql92FieldNameSyntax (Sql92ExpressionFieldNameSyntax expr), IsSql92QuantifierSyntax (Sql92ExpressionQuantifierSyntax expr), IsSql92DataTypeSyntax (Sql92ExpressionCastTargetSyntax expr), IsSql92ExtractFieldSyntax (Sql92ExpressionExtractFieldSyntax expr), Typeable expr) => IsSql92ExpressionSyntax expr where Source #

Minimal complete definition

valueE, rowE, coalesceE, caseE, fieldE, andE, orE, addE, subE, mulE, divE, likeE, modE, overlapsE, nullIfE, positionE, eqE, neqE, ltE, gtE, leE, geE, castE, notE, negateE, isNullE, isNotNullE, isTrueE, isNotTrueE, isFalseE, isNotFalseE, isUnknownE, isNotUnknownE, charLengthE, octetLengthE, bitLengthE, lowerE, upperE, trimE, absE, extractE, existsE, uniqueE, subqueryE, currentTimestampE, defaultE, inE, inSelectE

Associated Types

type Sql92ExpressionQuantifierSyntax expr :: Type Source #

type Sql92ExpressionValueSyntax expr :: Type Source #

type Sql92ExpressionSelectSyntax expr :: Type Source #

type Sql92ExpressionFieldNameSyntax expr :: Type Source #

type Sql92ExpressionCastTargetSyntax expr :: Type Source #

type Sql92ExpressionExtractFieldSyntax expr :: Type Source #

Methods

valueE :: Sql92ExpressionValueSyntax expr -> expr Source #

rowE :: [expr] -> expr Source #

quantifierListE :: [expr] -> expr Source #

coalesceE :: [expr] -> expr Source #

caseE :: [(expr, expr)] -> expr -> expr Source #

fieldE :: Sql92ExpressionFieldNameSyntax expr -> expr Source #

betweenE :: expr -> expr -> expr -> expr Source #

andE :: expr -> expr -> expr Source #

orE :: expr -> expr -> expr Source #

addE :: expr -> expr -> expr Source #

subE :: expr -> expr -> expr Source #

mulE :: expr -> expr -> expr Source #

divE :: expr -> expr -> expr Source #

likeE :: expr -> expr -> expr Source #

modE :: expr -> expr -> expr Source #

overlapsE :: expr -> expr -> expr Source #

nullIfE :: expr -> expr -> expr Source #

positionE :: expr -> expr -> expr Source #

eqE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

neqE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

ltE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

gtE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

leE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

geE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr Source #

eqMaybeE :: expr -> expr -> expr -> expr Source #

Compare the first and second argument for nullable equality, if they are both not null, return the result of the third expression

Some backends, like beam-postgres totally ignore the third result, because all equality there is sensible.

neqMaybeE :: expr -> expr -> expr -> expr Source #

Compare the first and second argument for nullable equality, if they are both not null, return the result of the third expression

Some backends, like beam-postgres totally ignore the third result, because all equality there is sensible.

castE :: expr -> Sql92ExpressionCastTargetSyntax expr -> expr Source #

notE :: expr -> expr Source #

negateE :: expr -> expr Source #

isNullE :: expr -> expr Source #

isNotNullE :: expr -> expr Source #

isTrueE :: expr -> expr Source #

isNotTrueE :: expr -> expr Source #

isFalseE :: expr -> expr Source #

isNotFalseE :: expr -> expr Source #

isUnknownE :: expr -> expr Source #

isNotUnknownE :: expr -> expr Source #

charLengthE :: expr -> expr Source #

octetLengthE :: expr -> expr Source #

bitLengthE :: expr -> expr Source #

lowerE :: expr -> expr Source #

upperE :: expr -> expr Source #

trimE :: expr -> expr Source #

absE :: expr -> expr Source #

Included so that we can easily write a Num instance, but not defined in SQL92. Implementations that do not support this, should use CASE .. WHEN ..

extractE :: Sql92ExpressionExtractFieldSyntax expr -> expr -> expr Source #

existsE :: Sql92ExpressionSelectSyntax expr -> expr Source #

uniqueE :: Sql92ExpressionSelectSyntax expr -> expr Source #

subqueryE :: Sql92ExpressionSelectSyntax expr -> expr Source #

currentTimestampE :: expr Source #

defaultE :: expr Source #

inE :: expr -> [expr] -> expr Source #

inSelectE :: expr -> Sql92ExpressionSelectSyntax expr -> expr Source #

Instances

Instances details

IsSql92ExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92ExpressionQuantifierSyntax Expression Source # type Sql92ExpressionValueSyntax Expression Source # type Sql92ExpressionSelectSyntax Expression Source # type Sql92ExpressionFieldNameSyntax Expression Source # type Sql92ExpressionCastTargetSyntax Expression Source # type Sql92ExpressionExtractFieldSyntax Expression Source # Methods valueE :: Sql92ExpressionValueSyntax Expression -> Expression Source # rowE :: [Expression] -> Expression Source # quantifierListE :: [Expression] -> Expression Source # coalesceE :: [Expression] -> Expression Source # caseE :: [(Expression, Expression)] -> Expression -> Expression Source # fieldE :: Sql92ExpressionFieldNameSyntax Expression -> Expression Source # betweenE :: Expression -> Expression -> Expression -> Expression Source # andE :: Expression -> Expression -> Expression Source # orE :: Expression -> Expression -> Expression Source # addE :: Expression -> Expression -> Expression Source # subE :: Expression -> Expression -> Expression Source # mulE :: Expression -> Expression -> Expression Source # divE :: Expression -> Expression -> Expression Source # likeE :: Expression -> Expression -> Expression Source # modE :: Expression -> Expression -> Expression Source # overlapsE :: Expression -> Expression -> Expression Source # nullIfE :: Expression -> Expression -> Expression Source # positionE :: Expression -> Expression -> Expression Source # eqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # neqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # ltE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # gtE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # leE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # geE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # eqMaybeE :: Expression -> Expression -> Expression -> Expression Source # neqMaybeE :: Expression -> Expression -> Expression -> Expression Source # castE :: Expression -> Sql92ExpressionCastTargetSyntax Expression -> Expression Source # notE :: Expression -> Expression Source # negateE :: Expression -> Expression Source # isNullE :: Expression -> Expression Source # isNotNullE :: Expression -> Expression Source # isTrueE :: Expression -> Expression Source # isNotTrueE :: Expression -> Expression Source # isFalseE :: Expression -> Expression Source # isNotFalseE :: Expression -> Expression Source # isUnknownE :: Expression -> Expression Source # isNotUnknownE :: Expression -> Expression Source # charLengthE :: Expression -> Expression Source # octetLengthE :: Expression -> Expression Source # bitLengthE :: Expression -> Expression Source # lowerE :: Expression -> Expression Source # upperE :: Expression -> Expression Source # trimE :: Expression -> Expression Source # absE :: Expression -> Expression Source # extractE :: Sql92ExpressionExtractFieldSyntax Expression -> Expression -> Expression Source # existsE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # uniqueE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # subqueryE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # currentTimestampE :: Expression Source # defaultE :: Expression Source # inE :: Expression -> [Expression] -> Expression Source # inSelectE :: Expression -> Sql92ExpressionSelectSyntax Expression -> Expression Source #
IsSql92ExpressionSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder Source # type Sql92ExpressionValueSyntax SqlSyntaxBuilder Source # type Sql92ExpressionSelectSyntax SqlSyntaxBuilder Source # type Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder Source # type Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder Source # type Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder Source # Methods valueE :: Sql92ExpressionValueSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # rowE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder Source # quantifierListE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder Source # coalesceE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder Source # caseE :: [(SqlSyntaxBuilder, SqlSyntaxBuilder)] -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # fieldE :: Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # betweenE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # andE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # orE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # addE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # subE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # mulE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # divE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # likeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # modE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # overlapsE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # nullIfE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # positionE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # eqE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # neqE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # ltE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # gtE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # leE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # geE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # eqMaybeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # neqMaybeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # castE :: SqlSyntaxBuilder -> Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # notE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # negateE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isNullE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isNotNullE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isTrueE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isNotTrueE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isFalseE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isNotFalseE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isUnknownE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # isNotUnknownE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # charLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # octetLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # bitLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # lowerE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # upperE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # trimE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # absE :: SqlSyntaxBuilder -> SqlSyntaxBuilder Source # extractE :: Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # existsE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # uniqueE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # subqueryE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # currentTimestampE :: SqlSyntaxBuilder Source # defaultE :: SqlSyntaxBuilder Source # inE :: SqlSyntaxBuilder -> [SqlSyntaxBuilder] -> SqlSyntaxBuilder Source # inSelectE :: SqlSyntaxBuilder -> Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class IsSql92AggregationSetQuantifierSyntax (Sql92AggregationSetQuantifierSyntax expr) => IsSql92AggregationExpressionSyntax expr where Source #

Associated Types

type Sql92AggregationSetQuantifierSyntax expr :: Type Source #

Methods

countAllE :: expr Source #

countE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #

avgE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #

maxE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #

minE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #

sumE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #

Instances

Instances details

IsSql92AggregationExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92AggregationSetQuantifierSyntax Expression Source # Methods countAllE :: Expression Source # countE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # avgE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # maxE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # minE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # sumE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source #
IsSql92AggregationExpressionSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder Source # Methods countAllE :: SqlSyntaxBuilder Source # countE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # avgE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # maxE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # minE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source # sumE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class IsSql92AggregationSetQuantifierSyntax q where Source #

Methods

setQuantifierDistinct :: q Source #

setQuantifierAll :: q Source #

Instances

Instances details

IsSql92AggregationSetQuantifierSyntax SetQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods setQuantifierDistinct :: SetQuantifier Source # setQuantifierAll :: SetQuantifier Source #
IsSql92AggregationSetQuantifierSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods setQuantifierDistinct :: SqlSyntaxBuilder Source # setQuantifierAll :: SqlSyntaxBuilder Source #

class IsSql92ExpressionSyntax (Sql92ProjectionExpressionSyntax proj) => IsSql92ProjectionSyntax proj where Source #

Associated Types

type Sql92ProjectionExpressionSyntax proj :: Type Source #

Methods

projExprs :: [(Sql92ProjectionExpressionSyntax proj, Maybe Text)] -> proj Source #

Instances

Instances details

IsSql92ProjectionSyntax Projection Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92ProjectionExpressionSyntax Projection Source # Methods projExprs :: [(Sql92ProjectionExpressionSyntax Projection, Maybe Text)] -> Projection Source #
IsSql92ProjectionSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92ProjectionExpressionSyntax SqlSyntaxBuilder Source # Methods projExprs :: [(Sql92ProjectionExpressionSyntax SqlSyntaxBuilder, Maybe Text)] -> SqlSyntaxBuilder Source #

class IsSql92OrderingSyntax ord where Source #

Associated Types

type Sql92OrderingExpressionSyntax ord :: Type Source #

Methods

ascOrdering :: Sql92OrderingExpressionSyntax ord -> ord Source #

descOrdering :: Sql92OrderingExpressionSyntax ord -> ord Source #

Instances

Instances details

IsSql92OrderingSyntax Ordering Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92OrderingExpressionSyntax Ordering Source # Methods ascOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source # descOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source #
IsSql92OrderingSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92OrderingExpressionSyntax SqlSyntaxBuilder Source # Methods ascOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # descOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class IsSql92TableNameSyntax tblName where Source #

Methods

tableName Source #

Arguments

:: Maybe Text	Schema
-> Text	Table name
-> tblName

Instances

Instances details

IsSql92TableNameSyntax TableName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods tableName :: Maybe Text -> Text -> TableName Source #
IsSql92TableNameSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods tableName :: Maybe Text -> Text -> SqlSyntaxBuilder Source #

class IsSql92TableNameSyntax (Sql92TableSourceTableNameSyntax tblSource) => IsSql92TableSourceSyntax tblSource where Source #

Associated Types

type Sql92TableSourceSelectSyntax tblSource :: Type Source #

type Sql92TableSourceExpressionSyntax tblSource :: Type Source #

type Sql92TableSourceTableNameSyntax tblSource :: Type Source #

Methods

tableNamed :: Sql92TableSourceTableNameSyntax tblSource -> tblSource Source #

tableFromSubSelect :: Sql92TableSourceSelectSyntax tblSource -> tblSource Source #

tableFromValues :: [[Sql92TableSourceExpressionSyntax tblSource]] -> tblSource Source #

Instances

Instances details

IsSql92TableSourceSyntax TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92TableSourceSelectSyntax TableSource Source # type Sql92TableSourceExpressionSyntax TableSource Source # type Sql92TableSourceTableNameSyntax TableSource Source # Methods tableNamed :: Sql92TableSourceTableNameSyntax TableSource -> TableSource Source # tableFromSubSelect :: Sql92TableSourceSelectSyntax TableSource -> TableSource Source # tableFromValues :: [[Sql92TableSourceExpressionSyntax TableSource]] -> TableSource Source #
IsSql92TableSourceSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92TableSourceSelectSyntax SqlSyntaxBuilder Source # type Sql92TableSourceExpressionSyntax SqlSyntaxBuilder Source # type Sql92TableSourceTableNameSyntax SqlSyntaxBuilder Source # Methods tableNamed :: Sql92TableSourceTableNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # tableFromSubSelect :: Sql92TableSourceSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source # tableFromValues :: [[Sql92TableSourceExpressionSyntax SqlSyntaxBuilder]] -> SqlSyntaxBuilder Source #

class IsSql92GroupingSyntax grouping where Source #

Associated Types

type Sql92GroupingExpressionSyntax grouping :: Type Source #

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax grouping] -> grouping Source #

Instances

Instances details

IsSql92GroupingSyntax Grouping Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92GroupingExpressionSyntax Grouping Source # Methods groupByExpressions :: [Sql92GroupingExpressionSyntax Grouping] -> Grouping Source #
IsSql92GroupingSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92GroupingExpressionSyntax SqlSyntaxBuilder Source # Methods groupByExpressions :: [Sql92GroupingExpressionSyntax SqlSyntaxBuilder] -> SqlSyntaxBuilder Source #

class (IsSql92TableSourceSyntax (Sql92FromTableSourceSyntax from), IsSql92ExpressionSyntax (Sql92FromExpressionSyntax from)) => IsSql92FromSyntax from where Source #

Associated Types

type Sql92FromTableSourceSyntax from :: Type Source #

type Sql92FromExpressionSyntax from :: Type Source #

Methods

fromTable :: Sql92FromTableSourceSyntax from -> Maybe (Text, Maybe [Text]) -> from Source #

innerJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from Source #

leftJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from Source #

rightJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from Source #

Instances

Instances details

IsSql92FromSyntax From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92FromTableSourceSyntax From Source # type Sql92FromExpressionSyntax From Source # Methods fromTable :: Sql92FromTableSourceSyntax From -> Maybe (Text, Maybe [Text]) -> From Source # innerJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # leftJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # rightJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source #
IsSql92FromSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Associated Types type Sql92FromTableSourceSyntax SqlSyntaxBuilder Source # type Sql92FromExpressionSyntax SqlSyntaxBuilder Source # Methods fromTable :: Sql92FromTableSourceSyntax SqlSyntaxBuilder -> Maybe (Text, Maybe [Text]) -> SqlSyntaxBuilder Source # innerJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source # leftJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source # rightJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder Source #

class IsSql92FromSyntax from => IsSql92FromOuterJoinSyntax from where Source #

Methods

outerJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from Source #