Database.Beam.Backend.SQL.AST

This module implements an AST type for SQL92. It allows us to realize the call structure of the builders defined in Database.Beam.Backend.SQL.SQL92

Documentation

data Command

Constructors

SelectCommand Select

InsertCommand Insert

UpdateCommand Update

DeleteCommand Delete

Instances

Show Command

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

IsSql92Syntax Command

Defined in Database.Beam.Backend.SQL.AST

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

Eq Command

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Command -> Command -> Bool

(/=) :: Command -> Command -> Bool

type Sql92DeleteSyntax Command

Defined in Database.Beam.Backend.SQL.AST

type Sql92DeleteSyntax Command = Delete

type Sql92InsertSyntax Command

Defined in Database.Beam.Backend.SQL.AST

type Sql92InsertSyntax Command = Insert

type Sql92SelectSyntax Command

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectSyntax Command = Select

type Sql92UpdateSyntax Command

Defined in Database.Beam.Backend.SQL.AST

type Sql92UpdateSyntax Command = Update

data Select

Constructors

Select

Fields

• selectTable :: SelectTable
• selectOrdering :: [Ordering]
• selectLimit, selectOffset :: Maybe Integer

Instances

Show Select

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Select -> ShowS

show :: Select -> String

showList :: [Select] -> ShowS

IsSql92SelectSyntax Select

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92SelectSelectTableSyntax Select

type Sql92SelectOrderingSyntax Select

Methods

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

Eq Select

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Select -> Select -> Bool

(/=) :: Select -> Select -> Bool

type Sql92SelectOrderingSyntax Select

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectOrderingSyntax Select = Ordering

type Sql92SelectSelectTableSyntax Select

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectSelectTableSyntax Select = SelectTable

data SelectTable

Constructors

SelectTable

Fields

• selectQuantifier :: Maybe SetQuantifier
• selectProjection :: Projection
• selectFrom :: Maybe From
• selectWhere :: Maybe Expression
• selectGrouping :: Maybe Grouping
• selectHaving :: Maybe Expression

UnionTables Bool SelectTable SelectTable

IntersectTables Bool SelectTable SelectTable

ExceptTable Bool SelectTable SelectTable

Instances

Show SelectTable

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> SelectTable -> ShowS

show :: SelectTable -> String

showList :: [SelectTable] -> ShowS

IsSql92SelectTableSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

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

Eq SelectTable

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: SelectTable -> SelectTable -> Bool

(/=) :: SelectTable -> SelectTable -> Bool

type Sql92SelectTableExpressionSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableExpressionSyntax SelectTable = Expression

type Sql92SelectTableFromSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableFromSyntax SelectTable = From

type Sql92SelectTableGroupingSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableGroupingSyntax SelectTable = Grouping

type Sql92SelectTableProjectionSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableProjectionSyntax SelectTable = Projection

type Sql92SelectTableSelectSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableSelectSyntax SelectTable = Select

type Sql92SelectTableSetQuantifierSyntax SelectTable

Defined in Database.Beam.Backend.SQL.AST

type Sql92SelectTableSetQuantifierSyntax SelectTable = SetQuantifier

data Insert

Constructors

Insert

Fields

• insertTable :: TableName
• insertFields :: [Text]
• insertValues :: InsertValues

Instances

Show Insert

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Insert -> ShowS

show :: Insert -> String

showList :: [Insert] -> ShowS

IsSql92InsertSyntax Insert

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92InsertValuesSyntax Insert

type Sql92InsertTableNameSyntax Insert

Methods

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

Eq Insert

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Insert -> Insert -> Bool

(/=) :: Insert -> Insert -> Bool

type Sql92InsertTableNameSyntax Insert

Defined in Database.Beam.Backend.SQL.AST

type Sql92InsertTableNameSyntax Insert = TableName

type Sql92InsertValuesSyntax Insert

Defined in Database.Beam.Backend.SQL.AST

type Sql92InsertValuesSyntax Insert = InsertValues

data InsertValues

Constructors

InsertValues

Fields

• insertValuesExpressions :: [[Expression]]

InsertSelect

Fields

• insertSelectStmt :: Select

Instances

Show InsertValues

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> InsertValues -> ShowS

show :: InsertValues -> String

showList :: [InsertValues] -> ShowS

IsSql92InsertValuesSyntax InsertValues

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92InsertValuesExpressionSyntax InsertValues

type Sql92InsertValuesSelectSyntax InsertValues

Methods

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

insertFromSql :: Sql92InsertValuesSelectSyntax InsertValues -> InsertValues

Eq InsertValues

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: InsertValues -> InsertValues -> Bool

(/=) :: InsertValues -> InsertValues -> Bool

type Sql92InsertValuesExpressionSyntax InsertValues

Defined in Database.Beam.Backend.SQL.AST

type Sql92InsertValuesExpressionSyntax InsertValues = Expression

type Sql92InsertValuesSelectSyntax InsertValues

Defined in Database.Beam.Backend.SQL.AST

type Sql92InsertValuesSelectSyntax InsertValues = Select

data Update

Constructors

Update

Fields

• updateTable :: TableName
• updateFields :: [(FieldName, Expression)]
• updateWhere :: Maybe Expression

Instances

Show Update

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Update -> ShowS

show :: Update -> String

showList :: [Update] -> ShowS

IsSql92UpdateSyntax Update

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92UpdateTableNameSyntax Update

type Sql92UpdateFieldNameSyntax Update

type Sql92UpdateExpressionSyntax Update

Methods

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

Eq Update

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Update -> Update -> Bool

(/=) :: Update -> Update -> Bool

type Sql92UpdateExpressionSyntax Update

Defined in Database.Beam.Backend.SQL.AST

type Sql92UpdateExpressionSyntax Update = Expression

type Sql92UpdateFieldNameSyntax Update

Defined in Database.Beam.Backend.SQL.AST

type Sql92UpdateFieldNameSyntax Update = FieldName

type Sql92UpdateTableNameSyntax Update

Defined in Database.Beam.Backend.SQL.AST

type Sql92UpdateTableNameSyntax Update = TableName

data Delete

Constructors

Delete

Fields

• deleteTable :: TableName
• deleteAlias :: Maybe Text
• deleteWhere :: Maybe Expression

Instances

Show Delete

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Delete -> ShowS

show :: Delete -> String

showList :: [Delete] -> ShowS

IsSql92DeleteSyntax Delete

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92DeleteTableNameSyntax Delete

type Sql92DeleteExpressionSyntax Delete

Methods

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

deleteSupportsAlias :: Proxy Delete -> Bool

Eq Delete

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Delete -> Delete -> Bool

(/=) :: Delete -> Delete -> Bool

type Sql92DeleteExpressionSyntax Delete

Defined in Database.Beam.Backend.SQL.AST

type Sql92DeleteExpressionSyntax Delete = Expression

type Sql92DeleteTableNameSyntax Delete

Defined in Database.Beam.Backend.SQL.AST

type Sql92DeleteTableNameSyntax Delete = TableName

data FieldName

Constructors

QualifiedField Text Text

UnqualifiedField Text

Instances

Show FieldName

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> FieldName -> ShowS

show :: FieldName -> String

showList :: [FieldName] -> ShowS

IsSql92FieldNameSyntax FieldName

Defined in Database.Beam.Backend.SQL.AST

Methods

qualifiedField :: Text -> Text -> FieldName

unqualifiedField :: Text -> FieldName

Eq FieldName

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: FieldName -> FieldName -> Bool

(/=) :: FieldName -> FieldName -> Bool

data ComparatorQuantifier

Constructors

ComparatorQuantifierAny

ComparatorQuantifierAll

Instances

Show ComparatorQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> ComparatorQuantifier -> ShowS

show :: ComparatorQuantifier -> String

showList :: [ComparatorQuantifier] -> ShowS

IsSql92QuantifierSyntax ComparatorQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

quantifyOverAll :: ComparatorQuantifier

quantifyOverAny :: ComparatorQuantifier

Eq ComparatorQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: ComparatorQuantifier -> ComparatorQuantifier -> Bool

(/=) :: ComparatorQuantifier -> ComparatorQuantifier -> Bool

data ExtractField

Constructors

ExtractFieldTimeZoneHour

ExtractFieldTimeZoneMinute

ExtractFieldDateTimeYear

ExtractFieldDateTimeMonth

ExtractFieldDateTimeDay

ExtractFieldDateTimeHour

ExtractFieldDateTimeMinute

ExtractFieldDateTimeSecond

Instances

Show ExtractField

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> ExtractField -> ShowS

show :: ExtractField -> String

showList :: [ExtractField] -> ShowS

IsSql92ExtractFieldSyntax ExtractField

Defined in Database.Beam.Backend.SQL.AST

Methods

secondsField :: ExtractField

minutesField :: ExtractField

hourField :: ExtractField

dayField :: ExtractField

monthField :: ExtractField

yearField :: ExtractField

Eq ExtractField

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: ExtractField -> ExtractField -> Bool

(/=) :: ExtractField -> ExtractField -> Bool

data DataType

Constructors

DataTypeChar Bool (Maybe Word) (Maybe Text)

DataTypeNationalChar Bool (Maybe Word)

DataTypeBit Bool (Maybe Word)

DataTypeNumeric (Maybe (Word, Maybe Word))

DataTypeDecimal (Maybe (Word, Maybe Word))

DataTypeInteger

DataTypeSmallInt

DataTypeBigInt

DataTypeFloat (Maybe Word)

DataTypeReal

DataTypeDoublePrecision

DataTypeDate

DataTypeTime (Maybe Word) Bool

DataTypeTimeStamp (Maybe Word) Bool

DataTypeInterval ExtractField

DataTypeIntervalFromTo ExtractField ExtractField

DataTypeBoolean

DataTypeBinaryLargeObject

DataTypeCharacterLargeObject

DataTypeArray DataType Int

DataTypeRow [(Text, DataType)]

DataTypeDomain Text

Instances

Show DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> DataType -> ShowS

show :: DataType -> String

showList :: [DataType] -> ShowS

IsSql2008BigIntDataTypeSyntax DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

bigIntType :: DataType

IsSql92DataTypeSyntax DataType

Defined in Database.Beam.Backend.SQL.AST

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

IsSql99DataTypeSyntax DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

characterLargeObjectType :: DataType

binaryLargeObjectType :: DataType

booleanType :: DataType

arrayType :: DataType -> Int -> DataType

rowType :: [(Text, DataType)] -> DataType

Eq DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: DataType -> DataType -> Bool

(/=) :: DataType -> DataType -> Bool

data SetQuantifier

Constructors

SetQuantifierAll

SetQuantifierDistinct

Instances

Show SetQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> SetQuantifier -> ShowS

show :: SetQuantifier -> String

showList :: [SetQuantifier] -> ShowS

IsSql92AggregationSetQuantifierSyntax SetQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

setQuantifierDistinct :: SetQuantifier

setQuantifierAll :: SetQuantifier

Eq SetQuantifier

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: SetQuantifier -> SetQuantifier -> Bool

(/=) :: SetQuantifier -> SetQuantifier -> Bool

data Expression

Constructors

ExpressionValue Value

ExpressionDefault

ExpressionRow [Expression]

ExpressionIn Expression [Expression]

ExpressionInSelect Expression Select

ExpressionIsNull Expression

ExpressionIsNotNull Expression

ExpressionIsTrue Expression

ExpressionIsNotTrue Expression

ExpressionIsFalse Expression

ExpressionIsNotFalse Expression

ExpressionIsUnknown Expression

ExpressionIsNotUnknown Expression

ExpressionCase [(Expression, Expression)] Expression

ExpressionCoalesce [Expression]

ExpressionNullIf Expression Expression

ExpressionFieldName FieldName

ExpressionBetween Expression Expression Expression

ExpressionBinOp Text Expression Expression

ExpressionCompOp Text (Maybe ComparatorQuantifier) Expression Expression

ExpressionUnOp Text Expression

ExpressionPosition Expression Expression

ExpressionCast Expression DataType

ExpressionExtract ExtractField Expression

ExpressionCharLength Expression

ExpressionOctetLength Expression

ExpressionBitLength Expression

ExpressionAbs Expression

ExpressionLower Expression

ExpressionUpper Expression

ExpressionTrim Expression

ExpressionNamedFunction Text

ExpressionFunctionCall Expression [Expression]

ExpressionInstanceField Expression Text

ExpressionRefField Expression Text

ExpressionCountAll

ExpressionAgg Text (Maybe SetQuantifier) [Expression]

ExpressionBuiltinFunction Text [Expression]

ExpressionSubquery Select

ExpressionUnique Select

ExpressionDistinct Select

ExpressionExists Select

ExpressionOver Expression WindowFrame

ExpressionCurrentTimestamp

Instances

Show Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

IsSql2003EnhancedNumericFunctionsExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

lnE :: Expression -> Expression

expE :: Expression -> Expression

sqrtE :: Expression -> Expression

ceilE :: Expression -> Expression

floorE :: Expression -> Expression

powerE :: Expression -> Expression -> Expression

IsSql2003ExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003ExpressionWindowFrameSyntax Expression

Methods

overE :: Expression -> Sql2003ExpressionWindowFrameSyntax Expression -> Expression

rowNumberE :: Expression

IsSql2003LeadAndLagExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

leadE :: Expression -> Maybe Expression -> Maybe Expression -> Expression

lagE :: Expression -> Maybe Expression -> Maybe Expression -> Expression

IsSql2003NthValueExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

nthValueE :: Expression -> Expression -> Expression

IsSql2003NtileExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

ntileE :: Expression -> Expression

IsSql92AggregationExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

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

IsSql92ExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

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

inSelectE :: Expression -> Sql92ExpressionSelectSyntax Expression -> Expression

IsSql99AggregationExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

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

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

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

IsSql99ExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

distinctE :: Sql92ExpressionSelectSyntax Expression -> Expression

similarToE :: Expression -> Expression -> Expression

instanceFieldE :: Expression -> Text -> Expression

refFieldE :: Expression -> Text -> Expression

IsSql99FunctionExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

functionCallE :: Expression -> [Expression] -> Expression

functionNameE :: Text -> Expression

Eq Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

type Sql2003ExpressionWindowFrameSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql2003ExpressionWindowFrameSyntax Expression = WindowFrame

type Sql92AggregationSetQuantifierSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92AggregationSetQuantifierSyntax Expression = SetQuantifier

type Sql92ExpressionCastTargetSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionCastTargetSyntax Expression = DataType

type Sql92ExpressionExtractFieldSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionExtractFieldSyntax Expression = ExtractField

type Sql92ExpressionFieldNameSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionFieldNameSyntax Expression = FieldName

type Sql92ExpressionQuantifierSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionQuantifierSyntax Expression = ComparatorQuantifier

type Sql92ExpressionSelectSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionSelectSyntax Expression = Select

type Sql92ExpressionValueSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

type Sql92ExpressionValueSyntax Expression = Value

newtype Projection

Constructors

ProjExprs [(Expression, Maybe Text)]

Instances

Show Projection

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Projection -> ShowS

show :: Projection -> String

showList :: [Projection] -> ShowS

IsSql92ProjectionSyntax Projection

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92ProjectionExpressionSyntax Projection

Methods

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

Eq Projection

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Projection -> Projection -> Bool

(/=) :: Projection -> Projection -> Bool

type Sql92ProjectionExpressionSyntax Projection

Defined in Database.Beam.Backend.SQL.AST

type Sql92ProjectionExpressionSyntax Projection = Expression

data Ordering

Constructors

OrderingAsc Expression

OrderingDesc Expression

Instances

Show Ordering

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Ordering -> ShowS

show :: Ordering -> String

showList :: [Ordering] -> ShowS

IsSql92OrderingSyntax Ordering

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92OrderingExpressionSyntax Ordering

Methods

ascOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering

descOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering

Eq Ordering

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Ordering -> Ordering -> Bool

(/=) :: Ordering -> Ordering -> Bool

type Sql92OrderingExpressionSyntax Ordering

Defined in Database.Beam.Backend.SQL.AST

type Sql92OrderingExpressionSyntax Ordering = Expression

newtype Grouping

Constructors

Grouping [Expression]

Instances

Show Grouping

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Grouping -> ShowS

show :: Grouping -> String

showList :: [Grouping] -> ShowS

IsSql92GroupingSyntax Grouping

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92GroupingExpressionSyntax Grouping

Methods

groupByExpressions :: [Sql92GroupingExpressionSyntax Grouping] -> Grouping

Eq Grouping

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Grouping -> Grouping -> Bool

(/=) :: Grouping -> Grouping -> Bool

type Sql92GroupingExpressionSyntax Grouping

Defined in Database.Beam.Backend.SQL.AST

type Sql92GroupingExpressionSyntax Grouping = Expression

data TableName

Constructors

TableName (Maybe Text) Text

Instances

Show TableName

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> TableName -> ShowS

show :: TableName -> String

showList :: [TableName] -> ShowS

IsSql92TableNameSyntax TableName

Defined in Database.Beam.Backend.SQL.AST

Methods

tableName :: Maybe Text -> Text -> TableName

Eq TableName

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: TableName -> TableName -> Bool

(/=) :: TableName -> TableName -> Bool

Ord TableName

Defined in Database.Beam.Backend.SQL.AST

Methods

compare :: TableName -> TableName -> Ordering

(<) :: TableName -> TableName -> Bool

(<=) :: TableName -> TableName -> Bool

(>) :: TableName -> TableName -> Bool

(>=) :: TableName -> TableName -> Bool

max :: TableName -> TableName -> TableName

min :: TableName -> TableName -> TableName

data TableSource

Constructors

TableNamed TableName

TableFromSubSelect Select

TableFromValues [[Expression]]

Instances

Show TableSource

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> TableSource -> ShowS

show :: TableSource -> String

showList :: [TableSource] -> ShowS

IsSql92TableSourceSyntax TableSource

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92TableSourceSelectSyntax TableSource

type Sql92TableSourceExpressionSyntax TableSource

type Sql92TableSourceTableNameSyntax TableSource

Methods

tableNamed :: Sql92TableSourceTableNameSyntax TableSource -> TableSource

tableFromSubSelect :: Sql92TableSourceSelectSyntax TableSource -> TableSource

tableFromValues :: [[Sql92TableSourceExpressionSyntax TableSource]] -> TableSource

Eq TableSource

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: TableSource -> TableSource -> Bool

(/=) :: TableSource -> TableSource -> Bool

type Sql92TableSourceExpressionSyntax TableSource

Defined in Database.Beam.Backend.SQL.AST

type Sql92TableSourceExpressionSyntax TableSource = Expression

type Sql92TableSourceSelectSyntax TableSource

Defined in Database.Beam.Backend.SQL.AST

type Sql92TableSourceSelectSyntax TableSource = Select

type Sql92TableSourceTableNameSyntax TableSource

Defined in Database.Beam.Backend.SQL.AST

type Sql92TableSourceTableNameSyntax TableSource = TableName

data From

Constructors

FromTable TableSource (Maybe (Text, Maybe [Text]))

InnerJoin From From (Maybe Expression)

LeftJoin From From (Maybe Expression)

RightJoin From From (Maybe Expression)

OuterJoin From From (Maybe Expression)

Instances

Show From

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> From -> ShowS

show :: From -> String

showList :: [From] -> ShowS

IsSql92FromSyntax From

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql92FromTableSourceSyntax From

type 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

Eq From

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: From -> From -> Bool

(/=) :: From -> From -> Bool

type Sql92FromExpressionSyntax From

Defined in Database.Beam.Backend.SQL.AST

type Sql92FromExpressionSyntax From = Expression

type Sql92FromTableSourceSyntax From

Defined in Database.Beam.Backend.SQL.AST

type Sql92FromTableSourceSyntax From = TableSource

data Value where

Constructors

Value :: (Show a, Eq a, Typeable a) => a -> Value

Instances

Show Value

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Eq Value

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

HasSqlValueSyntax Value Int16

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Int16 -> Value

HasSqlValueSyntax Value Int32

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Int32 -> Value

HasSqlValueSyntax Value Int64

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Int64 -> Value

HasSqlValueSyntax Value Word16

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Word16 -> Value

HasSqlValueSyntax Value Word32

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Word32 -> Value

HasSqlValueSyntax Value Word64

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Word64 -> Value

HasSqlValueSyntax Value SqlNull

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: SqlNull -> Value

HasSqlValueSyntax Value ByteString

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: ByteString -> Value

HasSqlValueSyntax Value Text

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Text -> Value

HasSqlValueSyntax Value Day

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Day -> Value

HasSqlValueSyntax Value UTCTime

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: UTCTime -> Value

HasSqlValueSyntax Value LocalTime

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: LocalTime -> Value

HasSqlValueSyntax Value TimeOfDay

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: TimeOfDay -> Value

HasSqlValueSyntax Value String

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: String -> Value

HasSqlValueSyntax Value Integer

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Integer -> Value

HasSqlValueSyntax Value Bool

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Bool -> Value

HasSqlValueSyntax Value Double

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Double -> Value

(TypeError (PreferExplicitSize Int Int32) :: Constraint) => HasSqlValueSyntax Value Int

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Int -> Value

(TypeError (PreferExplicitSize Word Word32) :: Constraint) => HasSqlValueSyntax Value Word

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Word -> Value

HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x)

Defined in Database.Beam.Backend.SQL.AST

Methods

sqlValueSyntax :: Maybe x -> Value

data WindowFrame

Constructors

WindowFrame

Fields

• windowFramePartitions :: Maybe [Expression]
• windowFrameOrdering :: Maybe [Ordering]
• windowFrameBounds :: Maybe WindowFrameBounds

Instances

Show WindowFrame

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> WindowFrame -> ShowS

show :: WindowFrame -> String

showList :: [WindowFrame] -> ShowS

IsSql2003WindowFrameSyntax WindowFrame

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameExpressionSyntax WindowFrame

type Sql2003WindowFrameOrderingSyntax WindowFrame

type Sql2003WindowFrameBoundsSyntax WindowFrame

Methods

frameSyntax :: Maybe [Sql2003WindowFrameExpressionSyntax WindowFrame] -> Maybe [Sql2003WindowFrameOrderingSyntax WindowFrame] -> Maybe (Sql2003WindowFrameBoundsSyntax WindowFrame) -> WindowFrame

Eq WindowFrame

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: WindowFrame -> WindowFrame -> Bool

(/=) :: WindowFrame -> WindowFrame -> Bool

type Sql2003WindowFrameBoundsSyntax WindowFrame

Defined in Database.Beam.Backend.SQL.AST

type Sql2003WindowFrameBoundsSyntax WindowFrame = WindowFrameBounds

type Sql2003WindowFrameExpressionSyntax WindowFrame

Defined in Database.Beam.Backend.SQL.AST

type Sql2003WindowFrameExpressionSyntax WindowFrame = Expression

type Sql2003WindowFrameOrderingSyntax WindowFrame

Defined in Database.Beam.Backend.SQL.AST

type Sql2003WindowFrameOrderingSyntax WindowFrame = Ordering

data WindowFrameBounds

Constructors

WindowFrameBounds

Fields

• boundsFrom :: WindowFrameBound
• boundsTo :: Maybe WindowFrameBound

Instances

Show WindowFrameBounds

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> WindowFrameBounds -> ShowS

show :: WindowFrameBounds -> String

showList :: [WindowFrameBounds] -> ShowS

IsSql2003WindowFrameBoundsSyntax WindowFrameBounds

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds

Methods

fromToBoundSyntax :: Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds -> Maybe (Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds) -> WindowFrameBounds

Eq WindowFrameBounds

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: WindowFrameBounds -> WindowFrameBounds -> Bool

(/=) :: WindowFrameBounds -> WindowFrameBounds -> Bool

type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds

Defined in Database.Beam.Backend.SQL.AST

type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds = WindowFrameBound

data WindowFrameBound

Constructors

WindowFrameUnbounded

WindowFrameBoundNRows Int

Instances

Show WindowFrameBound

Defined in Database.Beam.Backend.SQL.AST

Methods

showsPrec :: Int -> WindowFrameBound -> ShowS

show :: WindowFrameBound -> String

showList :: [WindowFrameBound] -> ShowS

IsSql2003WindowFrameBoundSyntax WindowFrameBound

Defined in Database.Beam.Backend.SQL.AST

Methods

unboundedSyntax :: WindowFrameBound

nrowsBoundSyntax :: Int -> WindowFrameBound

Eq WindowFrameBound

Defined in Database.Beam.Backend.SQL.AST

Methods

(==) :: WindowFrameBound -> WindowFrameBound -> Bool

(/=) :: WindowFrameBound -> WindowFrameBound -> Bool