Modulebeam-core-0.11.1.0Haskell2010

Database.Beam.Backend.SQL.SQL92

Finally tagless encoding of SQL92 syntax

Contents

Finally tagless style

Synopsis

class HasSqlValueSyntax
value autoSqlValueSyntax
type Sql92SelectExpressionSyntax
type Sql92SelectProjectionSyntax
type Sql92SelectGroupingSyntax
type Sql92SelectFromSyntax
type Sql92InsertExpressionSyntax
type Sql92TableNameSyntax
type Sql92ValueSyntax
type Sql92ExpressionSyntax
type Sql92ExtractFieldSyntax
type Sql92HasValueSyntax
type Sql92SelectSanityCheck
type Sql92SanityCheck
type Sql92ReasonableMarshaller
class Sql92DisplaySyntax
class IsSql92Syntax
class IsSql92SelectSyntax
class IsSql92SelectTableSyntax
class IsSql92InsertSyntax
class IsSql92InsertValuesSyntax
class IsSql92UpdateSyntax
class IsSql92DeleteSyntax
class IsSql92FieldNameSyntax
class IsSql92QuantifierSyntax
class IsSql92ExtractFieldSyntax
class IsSql92DataTypeSyntax
class IsSql92ExpressionSyntax
class IsSql92AggregationExpressionSyntax
class IsSql92AggregationSetQuantifierSyntax
class IsSql92ProjectionSyntax
class IsSql92OrderingSyntax
class IsSql92SchemaNameSyntax
class IsSql92TableNameSyntax
class IsSql92TableSourceSyntax
class IsSql92GroupingSyntax
class IsSql92FromSyntax
class IsSql92FromOuterJoinSyntax

Packagebeam-core-0.11.1.0
Exports38
LanguageHaskell2010
LicenceMIT
SourceSQL92.hs

Finally tagless style

classclass HasSqlValueSyntax expr ty where

Methods

sqlValueSyntax :: ty -> expr

Instances27HasSqlValueSyntax, …

HasSqlValueSyntax Value SqlNullDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value ByteStringDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value StringDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value IntegerDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Int16Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Int32Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Int64Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value BoolDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value DoubleDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Word16Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Word32Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value Word64Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value TextDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value DayDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value UTCTimeDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value LocalTimeDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value TimeOfDayDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax SqlSyntaxBuilder SqlNullDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder
HasSqlValueSyntax SqlSyntaxBuilder Int32Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder
HasSqlValueSyntax SqlSyntaxBuilder BoolDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder
HasSqlValueSyntax SqlSyntaxBuilder TextDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder
TypeError (PreferExplicitSize Int Int32) => HasSqlValueSyntax Value IntDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
TypeError (PreferExplicitSize Int Int32) => HasSqlValueSyntax SqlSyntaxBuilder IntDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder
TypeError (PreferExplicitSize Word Word32) => HasSqlValueSyntax Value WordDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x)Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
HasSqlValueSyntax syntax x => HasSqlValueSyntax syntax (SqlSerial x)Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.SQL92
HasSqlValueSyntax vs t => HasSqlValueSyntax vs (Tagged tag t)Defined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.SQL92

valueautoSqlValueSyntax :: (HasSqlValueSyntax expr String, Show a) => a -> expr

typetype Sql92SelectExpressionSyntax select = Sql92SelectTableExpressionSyntax (Sql92SelectSelectTableSyntax select)

typetype Sql92SelectProjectionSyntax select = Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax select)

typetype Sql92SelectGroupingSyntax select = Sql92SelectTableGroupingSyntax (Sql92SelectSelectTableSyntax select)

typetype Sql92SelectFromSyntax select = Sql92SelectTableFromSyntax (Sql92SelectSelectTableSyntax select)

typetype Sql92InsertExpressionSyntax select = Sql92InsertValuesExpressionSyntax (Sql92InsertValuesSyntax select)

type

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

typetype Sql92ValueSyntax cmdSyntax = Sql92ExpressionValueSyntax (Sql92ExpressionSyntax cmdSyntax)

typetype Sql92ExpressionSyntax cmdSyntax = Sql92SelectExpressionSyntax (Sql92SelectSyntax cmdSyntax)

typetype Sql92ExtractFieldSyntax cmdSyntax = Sql92ExpressionExtractFieldSyntax (Sql92ExpressionSyntax cmdSyntax)

typetype Sql92HasValueSyntax cmdSyntax = HasSqlValueSyntax (Sql92ValueSyntax cmdSyntax)

type

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

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

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)

classclass Sql92DisplaySyntax syntax where

Source#

Type classes for syntaxes which can be displayed

Methods

displaySyntax :: syntax -> String
Render the syntax as a String, representing the SQL expression it stands for

class

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

Associated types

type family Sql92SelectSyntax cmd
type family Sql92InsertSyntax cmd
type family Sql92UpdateSyntax cmd
type family Sql92DeleteSyntax cmd

Methods

selectCmd :: Sql92SelectSyntax cmd -> cmd
insertCmd :: Sql92InsertSyntax cmd -> cmd
updateCmd :: Sql92UpdateSyntax cmd -> cmd
deleteCmd :: Sql92DeleteSyntax cmd -> cmd

Instances2IsSql92Syntax

IsSql92Syntax CommandDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92Syntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92SelectSelectTableSyntax select
type family Sql92SelectOrderingSyntax select

Methods

selectStmt :: Sql92SelectSelectTableSyntax select -> [Sql92SelectOrderingSyntax select] -> Maybe Integer -> Maybe Integer -> select

Instances2IsSql92SelectSyntax

IsSql92SelectSyntax SelectDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92SelectSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92SelectTableSelectSyntax select
type family Sql92SelectTableExpressionSyntax select
type family Sql92SelectTableProjectionSyntax select
type family Sql92SelectTableFromSyntax select
type family Sql92SelectTableGroupingSyntax select
type family Sql92SelectTableSetQuantifierSyntax select

Methods

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

Instances2IsSql92SelectTableSyntax

IsSql92SelectTableSyntax SelectTableDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92SelectTableSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92InsertValuesSyntax insert
type family Sql92InsertTableNameSyntax insert

Methods

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

Instances2IsSql92InsertSyntax

IsSql92InsertSyntax InsertDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92InsertSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

class IsSql92ExpressionSyntax (Sql92InsertValuesExpressionSyntax insertValues) => IsSql92InsertValuesSyntax insertValues where

Associated types

type family Sql92InsertValuesExpressionSyntax insertValues
type family Sql92InsertValuesSelectSyntax insertValues

Methods

insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax insertValues]] -> insertValues
insertFromSql :: Sql92InsertValuesSelectSyntax insertValues -> insertValues

Instances2IsSql92InsertValuesSyntax

IsSql92InsertValuesSyntax InsertValuesDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92InsertValuesSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92UpdateTableNameSyntax update
type family Sql92UpdateFieldNameSyntax update
type family Sql92UpdateExpressionSyntax update

Methods

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

Instances2IsSql92UpdateSyntax

IsSql92UpdateSyntax UpdateDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92UpdateSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92DeleteTableNameSyntax delete
type family Sql92DeleteExpressionSyntax delete

Methods

deleteStmt :: Sql92DeleteTableNameSyntax delete -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax delete) -> delete
deleteSupportsAlias :: Proxy delete -> Bool
Whether or not the DELETE command supports aliases

Instances2IsSql92DeleteSyntax

IsSql92DeleteSyntax DeleteDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92DeleteSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92FieldNameSyntax fn where

Methods

qualifiedField :: Text -> Text -> fn
unqualifiedField :: Text -> fn

Instances2IsSql92FieldNameSyntax

IsSql92FieldNameSyntax FieldNameDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92FieldNameSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92QuantifierSyntax quantifier where

Methods

quantifyOverAll :: quantifier
quantifyOverAny :: quantifier

Instances2IsSql92QuantifierSyntax

IsSql92QuantifierSyntax ComparatorQuantifierDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92QuantifierSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92ExtractFieldSyntax extractField where

Methods

secondsField :: extractField
minutesField :: extractField
hourField :: extractField
dayField :: extractField
weekField :: extractField
monthField :: extractField
yearField :: extractField

Instances2IsSql92ExtractFieldSyntax

IsSql92ExtractFieldSyntax ExtractFieldDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92ExtractFieldSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92DataTypeSyntax dataType where

Methods

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

Instances2IsSql92DataTypeSyntax

IsSql92DataTypeSyntax DataTypeDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92DataTypeSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92ExpressionQuantifierSyntax expr
type family Sql92ExpressionValueSyntax expr
type family Sql92ExpressionSelectSyntax expr
type family Sql92ExpressionFieldNameSyntax expr
type family Sql92ExpressionCastTargetSyntax expr
type family Sql92ExpressionExtractFieldSyntax expr

Methods

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

Instances2IsSql92ExpressionSyntax

IsSql92ExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92ExpressionSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

class IsSql92AggregationSetQuantifierSyntax (Sql92AggregationSetQuantifierSyntax expr) => IsSql92AggregationExpressionSyntax expr where

Associated types

type family Sql92AggregationSetQuantifierSyntax expr

Methods

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

Instances2IsSql92AggregationExpressionSyntax

IsSql92AggregationExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92AggregationExpressionSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92AggregationSetQuantifierSyntax q where

Instances2IsSql92AggregationSetQuantifierSyntax

IsSql92AggregationSetQuantifierSyntax SetQuantifierDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92AggregationSetQuantifierSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92ExpressionSyntax (Sql92ProjectionExpressionSyntax proj) => IsSql92ProjectionSyntax proj where

Associated types

type family Sql92ProjectionExpressionSyntax proj

Methods

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

Instances2IsSql92ProjectionSyntax

IsSql92ProjectionSyntax ProjectionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92ProjectionSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92OrderingSyntax ord where

Associated types

type family Sql92OrderingExpressionSyntax ord

Methods

ascOrdering :: Sql92OrderingExpressionSyntax ord -> ord
descOrdering :: Sql92OrderingExpressionSyntax ord -> ord

Instances2IsSql92OrderingSyntax

IsSql92OrderingSyntax OrderingDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92OrderingSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92SchemaNameSyntax schemaName where

Methods

schemaName :: Text -> schemaName

Instances2IsSql92SchemaNameSyntax

IsSql92SchemaNameSyntax SchemaNameDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92SchemaNameSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92TableNameSyntax tblName where

Methods

tableName :: Maybe Text -> Text -> tblName

Instances2IsSql92TableNameSyntax

IsSql92TableNameSyntax TableNameDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92TableNameSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92TableNameSyntax (Sql92TableSourceTableNameSyntax tblSource) => IsSql92TableSourceSyntax tblSource where

Associated types

type family Sql92TableSourceSelectSyntax tblSource
type family Sql92TableSourceExpressionSyntax tblSource
type family Sql92TableSourceTableNameSyntax tblSource

Methods

tableNamed :: Sql92TableSourceTableNameSyntax tblSource -> tblSource
tableFromSubSelect :: Sql92TableSourceSelectSyntax tblSource -> tblSource
tableFromValues :: [[Sql92TableSourceExpressionSyntax tblSource]] -> tblSource

Instances2IsSql92TableSourceSyntax

IsSql92TableSourceSyntax TableSourceDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92TableSourceSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92GroupingSyntax grouping where

Associated types

type family Sql92GroupingExpressionSyntax grouping

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax grouping] -> grouping

Instances2IsSql92GroupingSyntax

IsSql92GroupingSyntax GroupingDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92GroupingSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

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

Associated types

type family Sql92FromTableSourceSyntax from
type family Sql92FromExpressionSyntax from

Methods

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

Instances2IsSql92FromSyntax

IsSql92FromSyntax FromDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql92FromSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql92FromSyntax from => IsSql92FromOuterJoinSyntax from where

Methods

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