Database.Beam.Backend.SQL.SQL92

Finally tagless encoding of SQL92 syntax

Documentation

class BeamSqlBackend be => BeamSql92Backend be

Finally tagless style

class HasSqlValueSyntax expr ty where

Minimal complete definition

sqlValueSyntax

Methods

sqlValueSyntax :: ty -> expr

Instances

HasSqlValueSyntax Value Bool

Methods

sqlValueSyntax :: Bool -> Value

HasSqlValueSyntax Value Double

Methods

sqlValueSyntax :: Double -> Value

HasSqlValueSyntax Value Int

Methods

sqlValueSyntax :: Int -> Value

HasSqlValueSyntax Value Int16

Methods

sqlValueSyntax :: Int16 -> Value

HasSqlValueSyntax Value Int32

Methods

sqlValueSyntax :: Int32 -> Value

HasSqlValueSyntax Value Int64

Methods

sqlValueSyntax :: Int64 -> Value

HasSqlValueSyntax Value Integer

Methods

sqlValueSyntax :: Integer -> Value

HasSqlValueSyntax Value Word

Methods

sqlValueSyntax :: Word -> Value

HasSqlValueSyntax Value Word16

Methods

sqlValueSyntax :: Word16 -> Value

HasSqlValueSyntax Value Word32

Methods

sqlValueSyntax :: Word32 -> Value

HasSqlValueSyntax Value Word64

Methods

sqlValueSyntax :: Word64 -> Value

HasSqlValueSyntax Value ByteString

Methods

sqlValueSyntax :: ByteString -> Value

HasSqlValueSyntax Value String

Methods

sqlValueSyntax :: String -> Value

HasSqlValueSyntax Value Text

Methods

sqlValueSyntax :: Text -> Value

HasSqlValueSyntax Value UTCTime

Methods

sqlValueSyntax :: UTCTime -> Value

HasSqlValueSyntax Value LocalTime

Methods

sqlValueSyntax :: LocalTime -> Value

HasSqlValueSyntax Value TimeOfDay

Methods

sqlValueSyntax :: TimeOfDay -> Value

HasSqlValueSyntax Value Day

Methods

sqlValueSyntax :: Day -> Value

HasSqlValueSyntax Value SqlNull

Methods

sqlValueSyntax :: SqlNull -> Value

HasSqlValueSyntax SqlSyntaxBuilder Bool

Methods

sqlValueSyntax :: Bool -> SqlSyntaxBuilder

HasSqlValueSyntax SqlSyntaxBuilder Int

Methods

sqlValueSyntax :: Int -> SqlSyntaxBuilder

HasSqlValueSyntax SqlSyntaxBuilder Int32

Methods

sqlValueSyntax :: Int32 -> SqlSyntaxBuilder

HasSqlValueSyntax SqlSyntaxBuilder Text

Methods

sqlValueSyntax :: Text -> SqlSyntaxBuilder

HasSqlValueSyntax SqlSyntaxBuilder SqlNull

Methods

sqlValueSyntax :: SqlNull -> SqlSyntaxBuilder

HasSqlValueSyntax syntax x => HasSqlValueSyntax syntax (SqlSerial x)

Methods

sqlValueSyntax :: SqlSerial x -> syntax

HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x)

Methods

sqlValueSyntax :: Maybe x -> Value

HasSqlValueSyntax vs t => HasSqlValueSyntax vs (Tagged k tag t)

Methods

sqlValueSyntax :: Tagged k tag t -> vs

class IsSqlExpressionSyntaxStringType expr ty

Instances

IsSqlExpressionSyntaxStringType k2 * e t => IsSqlExpressionSyntaxStringType k2 * e (Tagged k1 tag t)

IsSqlExpressionSyntaxStringType * * Expression Text

IsSqlExpressionSyntaxStringType * * SqlSyntaxBuilder Text

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 Sql92ValueSyntax cmdSyntax = Sql92ExpressionValueSyntax (Sql92ExpressionSyntax cmdSyntax)

type Sql92ExpressionSyntax cmdSyntax = Sql92SelectExpressionSyntax (Sql92SelectSyntax 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))

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

type Sql92ReasonableMarshaller be = (FromBackendRow be Int, 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 (IsSql92SelectSyntax (Sql92SelectSyntax cmd), IsSql92InsertSyntax (Sql92InsertSyntax cmd), IsSql92UpdateSyntax (Sql92UpdateSyntax cmd), IsSql92DeleteSyntax (Sql92DeleteSyntax cmd)) => IsSql92Syntax cmd where

Minimal complete definition

selectCmd, insertCmd, updateCmd, deleteCmd

Associated Types

type Sql92SelectSyntax cmd :: *

type Sql92InsertSyntax cmd :: *

type Sql92UpdateSyntax cmd :: *

type Sql92DeleteSyntax cmd :: *

Methods

selectCmd :: Sql92SelectSyntax cmd -> cmd

insertCmd :: Sql92InsertSyntax cmd -> cmd

updateCmd :: Sql92UpdateSyntax cmd -> cmd

deleteCmd :: Sql92DeleteSyntax cmd -> cmd

Instances

IsSql92Syntax Command

Associated Types

type Sql92SelectSyntax Command :: *

type Sql92InsertSyntax Command :: *

type Sql92UpdateSyntax Command :: *

type Sql92DeleteSyntax Command :: *

Methods

selectCmd :: Sql92SelectSyntax Command -> Command

insertCmd :: Sql92InsertSyntax Command -> Command

updateCmd :: Sql92UpdateSyntax Command -> Command

deleteCmd :: Sql92DeleteSyntax Command -> Command

IsSql92Syntax SqlSyntaxBuilder

Associated Types

type Sql92SelectSyntax SqlSyntaxBuilder :: *

type Sql92InsertSyntax SqlSyntaxBuilder :: *

type Sql92UpdateSyntax SqlSyntaxBuilder :: *

type Sql92DeleteSyntax SqlSyntaxBuilder :: *

Methods

selectCmd :: Sql92SelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

insertCmd :: Sql92InsertSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

updateCmd :: Sql92UpdateSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

deleteCmd :: Sql92DeleteSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

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

Minimal complete definition

selectStmt

Associated Types

type Sql92SelectSelectTableSyntax select :: *

type Sql92SelectOrderingSyntax select :: *

Methods

selectStmt

Arguments

:: Sql92SelectSelectTableSyntax select

-> [Sql92SelectOrderingSyntax select]

-> Maybe Integer

LIMIT

-> Maybe Integer

OFFSET

-> select

Instances

IsSql92SelectSyntax Select

Associated Types

type Sql92SelectSelectTableSyntax Select :: *

type Sql92SelectOrderingSyntax Select :: *

Methods

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

IsSql92SelectSyntax SqlSyntaxBuilder

Associated Types

type Sql92SelectSelectTableSyntax SqlSyntaxBuilder :: *

type Sql92SelectOrderingSyntax SqlSyntaxBuilder :: *

Methods

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

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

Minimal complete definition

selectTableStmt, unionTables, intersectTables, exceptTable

Associated Types

type Sql92SelectTableSelectSyntax select :: *

type Sql92SelectTableExpressionSyntax select :: *

type Sql92SelectTableProjectionSyntax select :: *

type Sql92SelectTableFromSyntax select :: *

type Sql92SelectTableGroupingSyntax select :: *

type Sql92SelectTableSetQuantifierSyntax select :: *

Methods

selectTableStmt

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

intersectTables :: Bool -> select -> select -> select

exceptTable :: Bool -> select -> select -> select

Instances

IsSql92SelectTableSyntax SelectTable

Associated Types

type Sql92SelectTableSelectSyntax SelectTable :: *

type Sql92SelectTableExpressionSyntax SelectTable :: *

type Sql92SelectTableProjectionSyntax SelectTable :: *

type Sql92SelectTableFromSyntax SelectTable :: *

type Sql92SelectTableGroupingSyntax SelectTable :: *

type Sql92SelectTableSetQuantifierSyntax SelectTable :: *

Methods

selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SelectTable) -> Sql92SelectTableProjectionSyntax SelectTable -> Maybe (Sql92SelectTableFromSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> Maybe (Sql92SelectTableGroupingSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> SelectTable

unionTables :: Bool -> SelectTable -> SelectTable -> SelectTable

intersectTables :: Bool -> SelectTable -> SelectTable -> SelectTable

exceptTable :: Bool -> SelectTable -> SelectTable -> SelectTable

IsSql92SelectTableSyntax SqlSyntaxBuilder

Associated Types

type Sql92SelectTableSelectSyntax SqlSyntaxBuilder :: *

type Sql92SelectTableExpressionSyntax SqlSyntaxBuilder :: *

type Sql92SelectTableProjectionSyntax SqlSyntaxBuilder :: *

type Sql92SelectTableFromSyntax SqlSyntaxBuilder :: *

type Sql92SelectTableGroupingSyntax SqlSyntaxBuilder :: *

type Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder :: *

Methods

selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SqlSyntaxBuilder) -> Sql92SelectTableProjectionSyntax SqlSyntaxBuilder -> Maybe (Sql92SelectTableFromSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableExpressionSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableGroupingSyntax SqlSyntaxBuilder) -> Maybe (Sql92SelectTableExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

unionTables :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

intersectTables :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

exceptTable :: Bool -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql92InsertValuesSyntax (Sql92InsertValuesSyntax insert) => IsSql92InsertSyntax insert where

Minimal complete definition

insertStmt

Associated Types

type Sql92InsertValuesSyntax insert :: *

Methods

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

Instances

IsSql92InsertSyntax Insert

Associated Types

type Sql92InsertValuesSyntax Insert :: *

Methods

insertStmt :: Text -> [Text] -> Sql92InsertValuesSyntax Insert -> Insert

IsSql92InsertSyntax SqlSyntaxBuilder

Associated Types

type Sql92InsertValuesSyntax SqlSyntaxBuilder :: *

Methods

insertStmt :: Text -> [Text] -> Sql92InsertValuesSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql92ExpressionSyntax (Sql92InsertValuesExpressionSyntax insertValues) => IsSql92InsertValuesSyntax insertValues where

Minimal complete definition

insertSqlExpressions, insertFromSql

Associated Types

type Sql92InsertValuesExpressionSyntax insertValues :: *

type Sql92InsertValuesSelectSyntax insertValues :: *

Methods

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

insertFromSql :: Sql92InsertValuesSelectSyntax insertValues -> insertValues

Instances

IsSql92InsertValuesSyntax InsertValues

Associated Types

type Sql92InsertValuesExpressionSyntax InsertValues :: *

type Sql92InsertValuesSelectSyntax InsertValues :: *

Methods

insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax InsertValues]] -> InsertValues

insertFromSql :: Sql92InsertValuesSelectSyntax InsertValues -> InsertValues

IsSql92InsertValuesSyntax SqlSyntaxBuilder

Associated Types

type Sql92InsertValuesExpressionSyntax SqlSyntaxBuilder :: *

type Sql92InsertValuesSelectSyntax SqlSyntaxBuilder :: *

Methods

insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax SqlSyntaxBuilder]] -> SqlSyntaxBuilder

insertFromSql :: Sql92InsertValuesSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

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

Minimal complete definition

updateStmt

Associated Types

type Sql92UpdateFieldNameSyntax update :: *

type Sql92UpdateExpressionSyntax update :: *

Methods

updateStmt

Arguments

:: Text

-> [(Sql92UpdateFieldNameSyntax update, Sql92UpdateExpressionSyntax update)]

-> Maybe (Sql92UpdateExpressionSyntax update)

WHERE

-> update

Instances

IsSql92UpdateSyntax Update

Associated Types

type Sql92UpdateFieldNameSyntax Update :: *

type Sql92UpdateExpressionSyntax Update :: *

Methods

updateStmt :: Text -> [(Sql92UpdateFieldNameSyntax Update, Sql92UpdateExpressionSyntax Update)] -> Maybe (Sql92UpdateExpressionSyntax Update) -> Update

IsSql92UpdateSyntax SqlSyntaxBuilder

Associated Types

type Sql92UpdateFieldNameSyntax SqlSyntaxBuilder :: *

type Sql92UpdateExpressionSyntax SqlSyntaxBuilder :: *

Methods

updateStmt :: Text -> [(Sql92UpdateFieldNameSyntax SqlSyntaxBuilder, Sql92UpdateExpressionSyntax SqlSyntaxBuilder)] -> Maybe (Sql92UpdateExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

class IsSql92ExpressionSyntax (Sql92DeleteExpressionSyntax delete) => IsSql92DeleteSyntax delete where

Minimal complete definition

deleteStmt

Associated Types

type Sql92DeleteExpressionSyntax delete :: *

Methods

deleteStmt :: Text -> Maybe (Sql92DeleteExpressionSyntax delete) -> delete

Instances

IsSql92DeleteSyntax Delete

Associated Types

type Sql92DeleteExpressionSyntax Delete :: *

Methods

deleteStmt :: Text -> Maybe (Sql92DeleteExpressionSyntax Delete) -> Delete

IsSql92DeleteSyntax SqlSyntaxBuilder

Associated Types

type Sql92DeleteExpressionSyntax SqlSyntaxBuilder :: *

Methods

deleteStmt :: Text -> Maybe (Sql92DeleteExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

class IsSql92FieldNameSyntax fn where

Minimal complete definition

qualifiedField, unqualifiedField

Methods

qualifiedField :: Text -> Text -> fn

unqualifiedField :: Text -> fn

Instances

IsSql92FieldNameSyntax FieldName

Methods

qualifiedField :: Text -> Text -> FieldName

unqualifiedField :: Text -> FieldName

IsSql92FieldNameSyntax SqlSyntaxBuilder

Methods

qualifiedField :: Text -> Text -> SqlSyntaxBuilder

unqualifiedField :: Text -> SqlSyntaxBuilder

class IsSql92QuantifierSyntax quantifier where

Minimal complete definition

quantifyOverAll, quantifyOverAny

Methods

quantifyOverAll :: quantifier

quantifyOverAny :: quantifier

Instances

IsSql92QuantifierSyntax ComparatorQuantifier

Methods

quantifyOverAll :: ComparatorQuantifier

quantifyOverAny :: ComparatorQuantifier

IsSql92QuantifierSyntax SqlSyntaxBuilder

Methods

quantifyOverAll :: SqlSyntaxBuilder

quantifyOverAny :: SqlSyntaxBuilder

class IsSql92DataTypeSyntax dataType where

Minimal complete definition

domainType, charType, varCharType, nationalCharType, nationalVarCharType, bitType, varBitType, numericType, decimalType, intType, smallIntType, floatType, doubleType, realType, dateType, timeType, timestampType

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

Arguments

:: Maybe Word

-> Bool

With time zone

-> dataType

timestampType

Arguments

:: Maybe Word

-> Bool

With time zone

-> dataType

Instances

IsSql92DataTypeSyntax DataType

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

IsSql92DataTypeSyntax SqlSyntaxBuilder

Methods

domainType :: Text -> SqlSyntaxBuilder

charType :: Maybe Word -> Maybe Text -> SqlSyntaxBuilder

varCharType :: Maybe Word -> Maybe Text -> SqlSyntaxBuilder

nationalCharType :: Maybe Word -> SqlSyntaxBuilder

nationalVarCharType :: Maybe Word -> SqlSyntaxBuilder

bitType :: Maybe Word -> SqlSyntaxBuilder

varBitType :: Maybe Word -> SqlSyntaxBuilder

numericType :: Maybe (Word, Maybe Word) -> SqlSyntaxBuilder

decimalType :: Maybe (Word, Maybe Word) -> SqlSyntaxBuilder

intType :: SqlSyntaxBuilder

smallIntType :: SqlSyntaxBuilder

floatType :: Maybe Word -> SqlSyntaxBuilder

doubleType :: SqlSyntaxBuilder

realType :: SqlSyntaxBuilder

dateType :: SqlSyntaxBuilder

timeType :: Maybe Word -> Bool -> SqlSyntaxBuilder

timestampType :: Maybe Word -> Bool -> SqlSyntaxBuilder

class (HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Int, HasSqlValueSyntax (Sql92ExpressionValueSyntax expr) Bool, IsSql92FieldNameSyntax (Sql92ExpressionFieldNameSyntax expr), IsSql92QuantifierSyntax (Sql92ExpressionQuantifierSyntax expr), Typeable expr) => IsSql92ExpressionSyntax expr where

Minimal complete definition

valueE, rowE, coalesceE, caseE, fieldE, betweenE, 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 Sql92ExpressionValueSyntax expr :: *

type Sql92ExpressionSelectSyntax expr :: *

type Sql92ExpressionFieldNameSyntax expr :: *

type Sql92ExpressionCastTargetSyntax expr :: *

type 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

Instances

IsSql92ExpressionSyntax Expression

Associated Types

type Sql92ExpressionQuantifierSyntax Expression :: *

type Sql92ExpressionValueSyntax Expression :: *

type Sql92ExpressionSelectSyntax Expression :: *

type Sql92ExpressionFieldNameSyntax Expression :: *

type Sql92ExpressionCastTargetSyntax Expression :: *

type Sql92ExpressionExtractFieldSyntax Expression :: *

Methods

valueE :: Sql92ExpressionValueSyntax Expression -> Expression

rowE :: [Expression] -> Expression

quantifierListE :: [Expression] -> Expression

coalesceE :: [Expression] -> Expression

caseE :: [(Expression, Expression)] -> Expression -> Expression

fieldE :: Sql92ExpressionFieldNameSyntax Expression -> Expression

betweenE :: Expression -> Expression -> Expression -> Expression

andE :: Expression -> Expression -> Expression

orE :: Expression -> Expression -> Expression

addE :: Expression -> Expression -> Expression

subE :: Expression -> Expression -> Expression

mulE :: Expression -> Expression -> Expression

divE :: Expression -> Expression -> Expression

likeE :: Expression -> Expression -> Expression

modE :: Expression -> Expression -> Expression

overlapsE :: Expression -> Expression -> Expression

nullIfE :: Expression -> Expression -> Expression

positionE :: Expression -> Expression -> Expression

eqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

neqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

ltE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

gtE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

leE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

geE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression

eqMaybeE :: Expression -> Expression -> Expression -> Expression

neqMaybeE :: Expression -> Expression -> Expression -> Expression

castE :: Expression -> Sql92ExpressionCastTargetSyntax Expression -> Expression

notE :: Expression -> Expression

negateE :: Expression -> Expression

isNullE :: Expression -> Expression

isNotNullE :: Expression -> Expression

isTrueE :: Expression -> Expression

isNotTrueE :: Expression -> Expression

isFalseE :: Expression -> Expression

isNotFalseE :: Expression -> Expression

isUnknownE :: Expression -> Expression

isNotUnknownE :: Expression -> Expression

charLengthE :: Expression -> Expression

octetLengthE :: Expression -> Expression

bitLengthE :: Expression -> Expression

lowerE :: Expression -> Expression

upperE :: Expression -> Expression

trimE :: Expression -> Expression

absE :: Expression -> Expression

extractE :: Sql92ExpressionExtractFieldSyntax Expression -> Expression -> Expression

existsE :: Sql92ExpressionSelectSyntax Expression -> Expression

uniqueE :: Sql92ExpressionSelectSyntax Expression -> Expression

subqueryE :: Sql92ExpressionSelectSyntax Expression -> Expression

currentTimestampE :: Expression

defaultE :: Expression

inE :: Expression -> [Expression] -> Expression

IsSql92ExpressionSyntax SqlSyntaxBuilder

Associated Types

type Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder :: *

type Sql92ExpressionValueSyntax SqlSyntaxBuilder :: *

type Sql92ExpressionSelectSyntax SqlSyntaxBuilder :: *

type Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder :: *

type Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder :: *

type Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder :: *

Methods

valueE :: Sql92ExpressionValueSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

rowE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder

quantifierListE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder

coalesceE :: [SqlSyntaxBuilder] -> SqlSyntaxBuilder

caseE :: [(SqlSyntaxBuilder, SqlSyntaxBuilder)] -> SqlSyntaxBuilder -> SqlSyntaxBuilder

fieldE :: Sql92ExpressionFieldNameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

betweenE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

andE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

orE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

addE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

subE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

mulE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

divE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

likeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

modE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

overlapsE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

nullIfE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

positionE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

eqE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

neqE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

ltE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

gtE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

leE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

geE :: Maybe (Sql92ExpressionQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

eqMaybeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

neqMaybeE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

castE :: SqlSyntaxBuilder -> Sql92ExpressionCastTargetSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

notE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

negateE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isNullE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isNotNullE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isTrueE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isNotTrueE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isFalseE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isNotFalseE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isUnknownE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

isNotUnknownE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

charLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

octetLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

bitLengthE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

lowerE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

upperE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

trimE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

absE :: SqlSyntaxBuilder -> SqlSyntaxBuilder

extractE :: Sql92ExpressionExtractFieldSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

existsE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

uniqueE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

subqueryE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

currentTimestampE :: SqlSyntaxBuilder

defaultE :: SqlSyntaxBuilder

inE :: SqlSyntaxBuilder -> [SqlSyntaxBuilder] -> SqlSyntaxBuilder

class IsSql92AggregationSetQuantifierSyntax (Sql92AggregationSetQuantifierSyntax expr) => IsSql92AggregationExpressionSyntax expr where

Minimal complete definition

countAllE, countE, avgE, maxE, minE, sumE

Associated Types

type 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

Instances

IsSql92AggregationExpressionSyntax Expression

Associated Types

type Sql92AggregationSetQuantifierSyntax Expression :: *

Methods

countAllE :: Expression

countE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

avgE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

maxE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

minE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

sumE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

IsSql92AggregationExpressionSyntax SqlSyntaxBuilder

Associated Types

type Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder :: *

Methods

countAllE :: SqlSyntaxBuilder

countE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder

avgE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder

maxE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder

minE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder

sumE :: Maybe (Sql92AggregationSetQuantifierSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql92AggregationSetQuantifierSyntax q where

Minimal complete definition

setQuantifierDistinct, setQuantifierAll

Methods

setQuantifierDistinct :: q

setQuantifierAll :: q

Instances

IsSql92AggregationSetQuantifierSyntax SetQuantifier

Methods

setQuantifierDistinct :: SetQuantifier

setQuantifierAll :: SetQuantifier

IsSql92AggregationSetQuantifierSyntax SqlSyntaxBuilder

Methods

setQuantifierDistinct :: SqlSyntaxBuilder

setQuantifierAll :: SqlSyntaxBuilder

class IsSql92ExpressionSyntax (Sql92ProjectionExpressionSyntax proj) => IsSql92ProjectionSyntax proj where

Minimal complete definition

projExprs

Associated Types

type Sql92ProjectionExpressionSyntax proj :: *

Methods

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

Instances

IsSql92ProjectionSyntax Projection

Associated Types

type Sql92ProjectionExpressionSyntax Projection :: *

Methods

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

IsSql92ProjectionSyntax SqlSyntaxBuilder

Associated Types

type Sql92ProjectionExpressionSyntax SqlSyntaxBuilder :: *

Methods

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

class IsSql92OrderingSyntax ord where

Minimal complete definition

ascOrdering, descOrdering

Associated Types

type Sql92OrderingExpressionSyntax ord :: *

Methods

ascOrdering :: Sql92OrderingExpressionSyntax ord -> ord

descOrdering :: Sql92OrderingExpressionSyntax ord -> ord

Instances

IsSql92OrderingSyntax Ordering

Associated Types

type Sql92OrderingExpressionSyntax Ordering :: *

Methods

ascOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering

descOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering

IsSql92OrderingSyntax SqlSyntaxBuilder

Associated Types

type Sql92OrderingExpressionSyntax SqlSyntaxBuilder :: *

Methods

ascOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

descOrdering :: Sql92OrderingExpressionSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql92TableSourceSyntax tblSource where

Minimal complete definition

tableNamed, tableFromSubSelect

Associated Types

type Sql92TableSourceSelectSyntax tblSource :: *

Methods

tableNamed :: Text -> tblSource

tableFromSubSelect :: Sql92TableSourceSelectSyntax tblSource -> tblSource

Instances

IsSql92TableSourceSyntax TableSource

Associated Types

type Sql92TableSourceSelectSyntax TableSource :: *

Methods

tableNamed :: Text -> TableSource

tableFromSubSelect :: Sql92TableSourceSelectSyntax TableSource -> TableSource

IsSql92TableSourceSyntax SqlSyntaxBuilder

Associated Types

type Sql92TableSourceSelectSyntax SqlSyntaxBuilder :: *

Methods

tableNamed :: Text -> SqlSyntaxBuilder

tableFromSubSelect :: Sql92TableSourceSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql92GroupingSyntax grouping where

Minimal complete definition

groupByExpressions

Associated Types

type Sql92GroupingExpressionSyntax grouping :: *

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax grouping] -> grouping

Instances

IsSql92GroupingSyntax Grouping

Associated Types

type Sql92GroupingExpressionSyntax Grouping :: *

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax Grouping] -> Grouping

IsSql92GroupingSyntax SqlSyntaxBuilder

Associated Types

type Sql92GroupingExpressionSyntax SqlSyntaxBuilder :: *

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax SqlSyntaxBuilder] -> SqlSyntaxBuilder

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

Minimal complete definition

fromTable, innerJoin, leftJoin, rightJoin

Associated Types

type Sql92FromTableSourceSyntax from :: *

type Sql92FromExpressionSyntax from :: *

Methods

fromTable :: Sql92FromTableSourceSyntax from -> Maybe Text -> from

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

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

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

Instances

IsSql92FromSyntax From

Associated Types

type Sql92FromTableSourceSyntax From :: *

type Sql92FromExpressionSyntax From :: *

Methods

fromTable :: Sql92FromTableSourceSyntax From -> Maybe Text -> From

innerJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From

leftJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From

rightJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From

IsSql92FromSyntax SqlSyntaxBuilder

Associated Types

type Sql92FromTableSourceSyntax SqlSyntaxBuilder :: *

type Sql92FromExpressionSyntax SqlSyntaxBuilder :: *

Methods

fromTable :: Sql92FromTableSourceSyntax SqlSyntaxBuilder -> Maybe Text -> SqlSyntaxBuilder

innerJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

leftJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

rightJoin :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> Maybe (Sql92FromExpressionSyntax SqlSyntaxBuilder) -> SqlSyntaxBuilder

class IsSql92FromSyntax from => IsSql92FromOuterJoinSyntax from where

Minimal complete definition

outerJoin

Methods

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