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
- 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
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 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 #
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 Integer Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Integer -> 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 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 ByteString Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: ByteString -> Value Source #
HasSqlValueSyntax Value String Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: String -> Value Source #
HasSqlValueSyntax Value UTCTime Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: UTCTime -> Value Source #
HasSqlValueSyntax Value Text Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Text -> 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 Day Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Day -> Value Source #
HasSqlValueSyntax Value SqlNull Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: SqlNull -> Value 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 SqlSyntaxBuilder Int32 Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Int32 -> SqlSyntaxBuilder Source #
HasSqlValueSyntax SqlSyntaxBuilder Text Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: Text -> SqlSyntaxBuilder Source #
HasSqlValueSyntax SqlSyntaxBuilder SqlNull Source #
Instance details Defined in Database.Beam.Backend.SQL.Builder Methods sqlValueSyntax :: SqlNull -> SqlSyntaxBuilder 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 Value x => HasSqlValueSyntax Value ( Maybe x) Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Maybe x -> Value 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 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

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 #

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

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 #