Safe Haskell	None
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 Sql92InsertSyntax cmd
- type Sql92UpdateSyntax cmd
- type Sql92DeleteSyntax cmd
- 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 Sql92SelectOrderingSyntax select
- 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 Sql92SelectTableExpressionSyntax select
- type Sql92SelectTableProjectionSyntax select
- type Sql92SelectTableFromSyntax select
- type Sql92SelectTableGroupingSyntax select
- type Sql92SelectTableSetQuantifierSyntax select
- selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax select) -> Sql92SelectTableProjectionSyntax select -> Maybe (Sql92SelectTableFromSyntax select) -> Maybe (Sql92SelectTableExpressionSyntax select) -> Maybe (Sql92SelectTableGroupingSyntax select) -> Maybe (Sql92SelectTableExpressionSyntax select) -> select
- unionTables :: Bool -> select -> select -> select
- intersectTables :: Bool -> select -> select -> select
- exceptTable :: Bool -> select -> select -> select
class (IsSql92InsertValuesSyntax (Sql92InsertValuesSyntax insert), IsSql92TableNameSyntax (Sql92InsertTableNameSyntax insert)) => IsSql92InsertSyntax insert where
- type Sql92InsertValuesSyntax insert
- type Sql92InsertTableNameSyntax insert
- insertStmt :: Sql92InsertTableNameSyntax insert -> [Text] -> Sql92InsertValuesSyntax insert -> insert
class IsSql92ExpressionSyntax (Sql92InsertValuesExpressionSyntax insertValues) => IsSql92InsertValuesSyntax insertValues where
- type Sql92InsertValuesExpressionSyntax insertValues
- type Sql92InsertValuesSelectSyntax insertValues
- 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 Sql92UpdateFieldNameSyntax update
- type Sql92UpdateExpressionSyntax update
- 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 Sql92DeleteExpressionSyntax delete
- 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 :: quantifier
- 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 Sql92ExpressionValueSyntax expr
- type Sql92ExpressionSelectSyntax expr
- type Sql92ExpressionFieldNameSyntax expr
- type Sql92ExpressionCastTargetSyntax expr
- type Sql92ExpressionExtractFieldSyntax expr
- valueE :: Sql92ExpressionValueSyntax expr -> expr
- rowE :: [expr] -> expr
- quantifierListE :: [expr] -> expr
- coalesceE :: [expr] -> expr
- caseE :: [(expr, expr)] -> expr -> expr
- fieldE :: Sql92ExpressionFieldNameSyntax expr -> expr
- betweenE :: expr -> expr -> expr -> expr
- andE :: expr -> expr -> expr
- orE :: expr -> expr -> expr
- addE :: expr -> expr -> expr
- subE :: expr -> expr -> expr
- mulE :: expr -> expr -> expr
- divE :: expr -> expr -> expr
- likeE :: expr -> expr -> expr
- modE :: expr -> expr -> expr
- overlapsE :: expr -> expr -> expr
- nullIfE :: expr -> expr -> expr
- positionE :: expr -> expr -> expr
- eqE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- neqE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- ltE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- gtE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- leE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- geE :: Maybe (Sql92ExpressionQuantifierSyntax expr) -> expr -> expr -> expr
- eqMaybeE :: expr -> expr -> expr -> expr
- neqMaybeE :: expr -> expr -> expr -> expr
- castE :: expr -> Sql92ExpressionCastTargetSyntax expr -> expr
- notE :: expr -> expr
- negateE :: expr -> expr
- isNullE :: expr -> expr
- isNotNullE :: expr -> expr
- isTrueE :: expr -> expr
- isNotTrueE :: expr -> expr
- isFalseE :: expr -> expr
- isNotFalseE :: expr -> expr
- isUnknownE :: expr -> expr
- isNotUnknownE :: expr -> expr
- charLengthE :: expr -> expr
- octetLengthE :: expr -> expr
- bitLengthE :: expr -> expr
- lowerE :: expr -> expr
- upperE :: expr -> expr
- trimE :: expr -> expr
- absE :: expr -> expr
- extractE :: Sql92ExpressionExtractFieldSyntax expr -> expr -> expr
- existsE :: Sql92ExpressionSelectSyntax expr -> expr
- uniqueE :: Sql92ExpressionSelectSyntax expr -> expr
- 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
- countAllE :: expr
- countE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
- avgE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
- maxE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
- minE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
- sumE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr
class IsSql92AggregationSetQuantifierSyntax q where
- setQuantifierDistinct :: q
- setQuantifierAll :: q
class IsSql92ExpressionSyntax (Sql92ProjectionExpressionSyntax proj) => IsSql92ProjectionSyntax proj where
- type Sql92ProjectionExpressionSyntax proj
- projExprs :: [(Sql92ProjectionExpressionSyntax proj, Maybe Text)] -> proj
class IsSql92OrderingSyntax ord where
- type Sql92OrderingExpressionSyntax ord
- ascOrdering :: Sql92OrderingExpressionSyntax ord -> ord
- descOrdering :: Sql92OrderingExpressionSyntax ord -> ord
class IsSql92SchemaNameSyntax schemaName where
- schemaName :: Text -> schemaName
class IsSql92TableNameSyntax tblName where
- tableName :: Maybe Text -> Text -> tblName
class IsSql92TableNameSyntax (Sql92TableSourceTableNameSyntax tblSource) => IsSql92TableSourceSyntax tblSource where
- type Sql92TableSourceSelectSyntax tblSource
- type Sql92TableSourceExpressionSyntax tblSource
- type Sql92TableSourceTableNameSyntax tblSource
- tableNamed :: Sql92TableSourceTableNameSyntax tblSource -> tblSource
- tableFromSubSelect :: Sql92TableSourceSelectSyntax tblSource -> tblSource
- tableFromValues :: [[Sql92TableSourceExpressionSyntax tblSource]] -> tblSource
class IsSql92GroupingSyntax grouping where
- type Sql92GroupingExpressionSyntax grouping
- groupByExpressions :: [Sql92GroupingExpressionSyntax grouping] -> grouping
class (IsSql92TableSourceSyntax (Sql92FromTableSourceSyntax from), IsSql92ExpressionSyntax (Sql92FromExpressionSyntax from)) => IsSql92FromSyntax from where
- type Sql92FromTableSourceSyntax from
- type Sql92FromExpressionSyntax from
- fromTable :: Sql92FromTableSourceSyntax from -> Maybe (Text, Maybe [Text]) -> from
- innerJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from
- leftJoin :: from -> from -> Maybe (Sql92FromExpressionSyntax from) -> from
- 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 Source #

type Sql92InsertSyntax cmd Source #

type Sql92UpdateSyntax cmd Source #

type Sql92DeleteSyntax cmd 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectSyntax Command = Select
type Sql92InsertSyntax Command
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertSyntax Command = Insert
type Sql92UpdateSyntax Command
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateSyntax Command = Update
type Sql92DeleteSyntax Command
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteSyntax Command = Delete

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92InsertSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92InsertSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92UpdateSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92UpdateSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92DeleteSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92DeleteSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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

Associated Types

type Sql92SelectSelectTableSyntax select Source #

type Sql92SelectOrderingSyntax select 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectSelectTableSyntax Select = SelectTable
type Sql92SelectOrderingSyntax Select
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectOrderingSyntax Select = Ordering

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectSelectTableSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectOrderingSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectOrderingSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

selectStmt :: Sql92SelectSelectTableSyntax SqlSyntaxBuilder -> [Sql92SelectOrderingSyntax SqlSyntaxBuilder] -> Maybe Integer -> Maybe Integer -> SqlSyntaxBuilder Source #

Associated Types

type Sql92SelectTableSelectSyntax select Source #

type Sql92SelectTableExpressionSyntax select Source #

type Sql92SelectTableProjectionSyntax select Source #

type Sql92SelectTableFromSyntax select Source #

type Sql92SelectTableGroupingSyntax select Source #

type Sql92SelectTableSetQuantifierSyntax select 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableSelectSyntax SelectTable = Select
type Sql92SelectTableExpressionSyntax SelectTable
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableExpressionSyntax SelectTable = Expression
type Sql92SelectTableProjectionSyntax SelectTable
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableProjectionSyntax SelectTable = Projection
type Sql92SelectTableFromSyntax SelectTable
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableFromSyntax SelectTable = From
type Sql92SelectTableGroupingSyntax SelectTable
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableGroupingSyntax SelectTable = Grouping
type Sql92SelectTableSetQuantifierSyntax SelectTable
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableSetQuantifierSyntax SelectTable = SetQuantifier

IsSql92SelectTableSyntax SqlSyntaxBuilder Source #

Instance details

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql92SelectTableSelectSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableSelectSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectTableExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectTableProjectionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableProjectionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectTableFromSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableFromSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectTableGroupingSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableGroupingSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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

Associated Types

type Sql92InsertValuesSyntax insert Source #

type Sql92InsertTableNameSyntax insert 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesSyntax Insert = InsertValues
type Sql92InsertTableNameSyntax Insert
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertTableNameSyntax Insert = TableName

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92InsertValuesSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92InsertTableNameSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92InsertTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

insertStmt :: Sql92InsertTableNameSyntax SqlSyntaxBuilder -> [Text] -> Sql92InsertValuesSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

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

Associated Types

type Sql92InsertValuesExpressionSyntax insertValues Source #

type Sql92InsertValuesSelectSyntax insertValues 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesExpressionSyntax InsertValues = Expression
type Sql92InsertValuesSelectSyntax InsertValues
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesSelectSyntax InsertValues = Select

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92InsertValuesExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92InsertValuesSelectSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92InsertValuesSelectSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 Source #

type Sql92UpdateFieldNameSyntax update Source #

type Sql92UpdateExpressionSyntax update 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateTableNameSyntax Update = TableName
type Sql92UpdateFieldNameSyntax Update
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateFieldNameSyntax Update = FieldName
type Sql92UpdateExpressionSyntax Update
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateExpressionSyntax Update = Expression

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92UpdateTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92UpdateFieldNameSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92UpdateFieldNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92UpdateExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92UpdateExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 Source #

type Sql92DeleteExpressionSyntax delete 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteTableNameSyntax Delete = TableName
type Sql92DeleteExpressionSyntax Delete
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteExpressionSyntax Delete = Expression

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92DeleteTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92DeleteExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92DeleteExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 Source #

type Sql92ExpressionValueSyntax expr Source #

type Sql92ExpressionSelectSyntax expr Source #

type Sql92ExpressionFieldNameSyntax expr Source #

type Sql92ExpressionCastTargetSyntax expr Source #

type Sql92ExpressionExtractFieldSyntax expr 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionQuantifierSyntax Expression = ComparatorQuantifier
type Sql92ExpressionValueSyntax Expression
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionValueSyntax Expression = Value
type Sql92ExpressionSelectSyntax Expression
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionSelectSyntax Expression = Select
type Sql92ExpressionFieldNameSyntax Expression
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionFieldNameSyntax Expression = FieldName
type Sql92ExpressionCastTargetSyntax Expression
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionCastTargetSyntax Expression = DataType
type Sql92ExpressionExtractFieldSyntax Expression
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionExtractFieldSyntax Expression = ExtractField

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ExpressionValueSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionValueSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ExpressionSelectSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionSelectSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92AggregationSetQuantifierSyntax Expression = SetQuantifier

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ProjectionExpressionSyntax Projection = Expression

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92ProjectionExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

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

class IsSql92OrderingSyntax ord where Source #

Associated Types

type Sql92OrderingExpressionSyntax ord 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92OrderingExpressionSyntax Ordering = Expression

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92OrderingExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

ascOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

descOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

class IsSql92SchemaNameSyntax schemaName where Source #

Methods

schemaName Source #

Arguments

:: Text	Schema name
-> schemaName

Instances

Instances details

IsSql92SchemaNameSyntax SchemaName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods schemaName :: Text -> SchemaName Source #
IsSql92SchemaNameSyntax SqlSyntaxBuilder Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods schemaName :: Text -> 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 Source #

type Sql92TableSourceExpressionSyntax tblSource Source #

type Sql92TableSourceTableNameSyntax tblSource 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceSelectSyntax TableSource = Select
type Sql92TableSourceExpressionSyntax TableSource
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceExpressionSyntax TableSource = Expression
type Sql92TableSourceTableNameSyntax TableSource
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceTableNameSyntax TableSource = TableName

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92TableSourceSelectSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92TableSourceExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92TableSourceExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92TableSourceTableNameSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92TableSourceTableNameSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

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 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
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92GroupingExpressionSyntax Grouping = Expression

Methods

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

IsSql92GroupingSyntax SqlSyntaxBuilder Source #

Instance details

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql92GroupingExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92GroupingExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

Methods

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

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

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 #

Instances

Instances details

IsSql92FromSyntax From Source #

Instance details

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92FromTableSourceSyntax From
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92FromTableSourceSyntax From = TableSource
type Sql92FromExpressionSyntax From
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92FromExpressionSyntax From = Expression

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
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92FromTableSourceSyntax SqlSyntaxBuilder = SqlSyntaxBuilder
type Sql92FromExpressionSyntax SqlSyntaxBuilder
Instance details Defined in Database.Beam.Backend.SQL.Builder type Sql92FromExpressionSyntax SqlSyntaxBuilder = SqlSyntaxBuilder

class IsSql92FromSyntax from => IsSql92FromOuterJoinSyntax from where Source #

Methods

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