Safe Haskell	None
Language	Haskell2010

Database.Beam.Backend.SQL.AST

Description

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

Constructors

SelectCommand Select
InsertCommand Insert
UpdateCommand Update
DeleteCommand Delete

Instances

Eq Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Command -> Command -> Bool # (/=) :: Command -> Command -> Bool #
Show Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
IsSql92Syntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectSyntax Command :: Type Source # type Sql92InsertSyntax Command :: Type Source # type Sql92UpdateSyntax Command :: Type Source # type Sql92DeleteSyntax Command :: Type Source # Methods selectCmd :: Sql92SelectSyntax Command -> Command Source # insertCmd :: Sql92InsertSyntax Command -> Command Source # updateCmd :: Sql92UpdateSyntax Command -> Command Source # deleteCmd :: Sql92DeleteSyntax Command -> Command Source #
type Sql92SelectSyntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectSyntax Command = Select
type Sql92InsertSyntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertSyntax Command = Insert
type Sql92UpdateSyntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateSyntax Command = Update
type Sql92DeleteSyntax Command Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteSyntax Command = Delete

data Select Source #

Constructors

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

Instances

Eq Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Select -> Select -> Bool # (/=) :: Select -> Select -> Bool #
Show Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Select -> ShowS # show :: Select -> String # showList :: [Select] -> ShowS #
IsSql92SelectSyntax Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectSelectTableSyntax Select :: Type Source # type Sql92SelectOrderingSyntax Select :: Type Source # Methods selectStmt :: Sql92SelectSelectTableSyntax Select -> [Sql92SelectOrderingSyntax Select] -> Maybe Integer -> Maybe Integer -> Select Source #
type Sql92SelectSelectTableSyntax Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectSelectTableSyntax Select = SelectTable
type Sql92SelectOrderingSyntax Select Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectOrderingSyntax Select = Ordering

data SelectTable Source #

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

Eq SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: SelectTable -> SelectTable -> Bool # (/=) :: SelectTable -> SelectTable -> Bool #
Show SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> SelectTable -> ShowS # show :: SelectTable -> String # showList :: [SelectTable] -> ShowS #
IsSql92SelectTableSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectTableSelectSyntax SelectTable :: Type Source # type Sql92SelectTableExpressionSyntax SelectTable :: Type Source # type Sql92SelectTableProjectionSyntax SelectTable :: Type Source # type Sql92SelectTableFromSyntax SelectTable :: Type Source # type Sql92SelectTableGroupingSyntax SelectTable :: Type Source # type Sql92SelectTableSetQuantifierSyntax SelectTable :: Type Source # Methods selectTableStmt :: Maybe (Sql92SelectTableSetQuantifierSyntax SelectTable) -> Sql92SelectTableProjectionSyntax SelectTable -> Maybe (Sql92SelectTableFromSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> Maybe (Sql92SelectTableGroupingSyntax SelectTable) -> Maybe (Sql92SelectTableExpressionSyntax SelectTable) -> SelectTable Source # unionTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # intersectTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # exceptTable :: Bool -> SelectTable -> SelectTable -> SelectTable Source #
type Sql92SelectTableSelectSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableSelectSyntax SelectTable = Select
type Sql92SelectTableExpressionSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableExpressionSyntax SelectTable = Expression
type Sql92SelectTableProjectionSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableProjectionSyntax SelectTable = Projection
type Sql92SelectTableFromSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableFromSyntax SelectTable = From
type Sql92SelectTableGroupingSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableGroupingSyntax SelectTable = Grouping
type Sql92SelectTableSetQuantifierSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92SelectTableSetQuantifierSyntax SelectTable = SetQuantifier

data Insert Source #

Constructors

Insert
Fields insertTable :: TableName insertFields :: [Text] insertValues :: InsertValues

Instances

Eq Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Insert -> Insert -> Bool # (/=) :: Insert -> Insert -> Bool #
Show Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Insert -> ShowS # show :: Insert -> String # showList :: [Insert] -> ShowS #
IsSql92InsertSyntax Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92InsertValuesSyntax Insert :: Type Source # type Sql92InsertTableNameSyntax Insert :: Type Source # Methods insertStmt :: Sql92InsertTableNameSyntax Insert -> [Text] -> Sql92InsertValuesSyntax Insert -> Insert Source #
type Sql92InsertValuesSyntax Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesSyntax Insert = InsertValues
type Sql92InsertTableNameSyntax Insert Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertTableNameSyntax Insert = TableName

data InsertValues Source #

Constructors

InsertValues
Fields insertValuesExpressions :: [[Expression]]
InsertSelect
Fields insertSelectStmt :: Select

Instances

Eq InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: InsertValues -> InsertValues -> Bool # (/=) :: InsertValues -> InsertValues -> Bool #
Show InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> InsertValues -> ShowS # show :: InsertValues -> String # showList :: [InsertValues] -> ShowS #
IsSql92InsertValuesSyntax InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92InsertValuesExpressionSyntax InsertValues :: Type Source # type Sql92InsertValuesSelectSyntax InsertValues :: Type Source # Methods insertSqlExpressions :: [[Sql92InsertValuesExpressionSyntax InsertValues]] -> InsertValues Source # insertFromSql :: Sql92InsertValuesSelectSyntax InsertValues -> InsertValues Source #
type Sql92InsertValuesExpressionSyntax InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesExpressionSyntax InsertValues = Expression
type Sql92InsertValuesSelectSyntax InsertValues Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92InsertValuesSelectSyntax InsertValues = Select

data Update Source #

Constructors

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

Instances

Eq Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Update -> Update -> Bool # (/=) :: Update -> Update -> Bool #
Show Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Update -> ShowS # show :: Update -> String # showList :: [Update] -> ShowS #
IsSql92UpdateSyntax Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92UpdateTableNameSyntax Update :: Type Source # type Sql92UpdateFieldNameSyntax Update :: Type Source # type Sql92UpdateExpressionSyntax Update :: Type Source # Methods updateStmt :: Sql92UpdateTableNameSyntax Update -> [(Sql92UpdateFieldNameSyntax Update, Sql92UpdateExpressionSyntax Update)] -> Maybe (Sql92UpdateExpressionSyntax Update) -> Update Source #
type Sql92UpdateTableNameSyntax Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateTableNameSyntax Update = TableName
type Sql92UpdateFieldNameSyntax Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateFieldNameSyntax Update = FieldName
type Sql92UpdateExpressionSyntax Update Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92UpdateExpressionSyntax Update = Expression

data Delete Source #

Constructors

Delete
Fields deleteTable :: TableName deleteAlias :: Maybe Text deleteWhere :: Maybe Expression

Instances

Eq Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Delete -> Delete -> Bool # (/=) :: Delete -> Delete -> Bool #
Show Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Delete -> ShowS # show :: Delete -> String # showList :: [Delete] -> ShowS #
IsSql92DeleteSyntax Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92DeleteTableNameSyntax Delete :: Type Source # type Sql92DeleteExpressionSyntax Delete :: Type Source # Methods deleteStmt :: Sql92DeleteTableNameSyntax Delete -> Maybe Text -> Maybe (Sql92DeleteExpressionSyntax Delete) -> Delete Source # deleteSupportsAlias :: Proxy Delete -> Bool Source #
type Sql92DeleteTableNameSyntax Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteTableNameSyntax Delete = TableName
type Sql92DeleteExpressionSyntax Delete Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92DeleteExpressionSyntax Delete = Expression

data FieldName Source #

Constructors

QualifiedField Text Text
UnqualifiedField Text

Instances

Eq FieldName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Show FieldName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #
IsSql92FieldNameSyntax FieldName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods qualifiedField :: Text -> Text -> FieldName Source # unqualifiedField :: Text -> FieldName Source #

data ComparatorQuantifier Source #

Constructors

ComparatorQuantifierAny
ComparatorQuantifierAll

Instances

Eq ComparatorQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: ComparatorQuantifier -> ComparatorQuantifier -> Bool # (/=) :: ComparatorQuantifier -> ComparatorQuantifier -> Bool #
Show ComparatorQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> ComparatorQuantifier -> ShowS # show :: ComparatorQuantifier -> String # showList :: [ComparatorQuantifier] -> ShowS #
IsSql92QuantifierSyntax ComparatorQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods quantifyOverAll :: ComparatorQuantifier Source # quantifyOverAny :: ComparatorQuantifier Source #

data ExtractField Source #

Constructors

ExtractFieldTimeZoneHour
ExtractFieldTimeZoneMinute
ExtractFieldDateTimeYear
ExtractFieldDateTimeMonth
ExtractFieldDateTimeDay
ExtractFieldDateTimeHour
ExtractFieldDateTimeMinute
ExtractFieldDateTimeSecond

Instances

Eq ExtractField Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: ExtractField -> ExtractField -> Bool # (/=) :: ExtractField -> ExtractField -> Bool #
Show ExtractField Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> ExtractField -> ShowS # show :: ExtractField -> String # showList :: [ExtractField] -> ShowS #
IsSql92ExtractFieldSyntax ExtractField Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods secondsField :: ExtractField Source # minutesField :: ExtractField Source # hourField :: ExtractField Source # dayField :: ExtractField Source # monthField :: ExtractField Source # yearField :: ExtractField Source #

data DataType Source #

Instances

Eq DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: DataType -> DataType -> Bool # (/=) :: DataType -> DataType -> Bool #
Show DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> DataType -> ShowS # show :: DataType -> String # showList :: [DataType] -> ShowS #
IsSql92DataTypeSyntax DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods domainType :: Text -> DataType Source # charType :: Maybe Word -> Maybe Text -> DataType Source # varCharType :: Maybe Word -> Maybe Text -> DataType Source # nationalCharType :: Maybe Word -> DataType Source # nationalVarCharType :: Maybe Word -> DataType Source # bitType :: Maybe Word -> DataType Source # varBitType :: Maybe Word -> DataType Source # numericType :: Maybe (Word, Maybe Word) -> DataType Source # decimalType :: Maybe (Word, Maybe Word) -> DataType Source # intType :: DataType Source # smallIntType :: DataType Source # floatType :: Maybe Word -> DataType Source # doubleType :: DataType Source # realType :: DataType Source # dateType :: DataType Source # timeType :: Maybe Word -> Bool -> DataType Source # timestampType :: Maybe Word -> Bool -> DataType Source #
IsSql99DataTypeSyntax DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods characterLargeObjectType :: DataType Source # binaryLargeObjectType :: DataType Source # booleanType :: DataType Source # arrayType :: DataType -> Int -> DataType Source # rowType :: [(Text, DataType)] -> DataType Source #
IsSql2008BigIntDataTypeSyntax DataType Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods bigIntType :: DataType Source #

data SetQuantifier Source #

Constructors

SetQuantifierAll
SetQuantifierDistinct

Instances

Eq SetQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: SetQuantifier -> SetQuantifier -> Bool # (/=) :: SetQuantifier -> SetQuantifier -> Bool #
Show SetQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> SetQuantifier -> ShowS # show :: SetQuantifier -> String # showList :: [SetQuantifier] -> ShowS #
IsSql92AggregationSetQuantifierSyntax SetQuantifier Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods setQuantifierDistinct :: SetQuantifier Source # setQuantifierAll :: SetQuantifier Source #

data Expression Source #

Constructors

ExpressionValue Value
ExpressionDefault
ExpressionRow [Expression]
ExpressionIn Expression [Expression]
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

Eq Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Show Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
IsSql92AggregationExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92AggregationSetQuantifierSyntax Expression :: Type Source # Methods countAllE :: Expression Source # countE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # avgE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # maxE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # minE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # sumE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source #
IsSql92ExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92ExpressionQuantifierSyntax Expression :: Type Source # type Sql92ExpressionValueSyntax Expression :: Type Source # type Sql92ExpressionSelectSyntax Expression :: Type Source # type Sql92ExpressionFieldNameSyntax Expression :: Type Source # type Sql92ExpressionCastTargetSyntax Expression :: Type Source # type Sql92ExpressionExtractFieldSyntax Expression :: Type Source # Methods valueE :: Sql92ExpressionValueSyntax Expression -> Expression Source # rowE :: [Expression] -> Expression Source # quantifierListE :: [Expression] -> Expression Source # coalesceE :: [Expression] -> Expression Source # caseE :: [(Expression, Expression)] -> Expression -> Expression Source # fieldE :: Sql92ExpressionFieldNameSyntax Expression -> Expression Source # betweenE :: Expression -> Expression -> Expression -> Expression Source # andE :: Expression -> Expression -> Expression Source # orE :: Expression -> Expression -> Expression Source # addE :: Expression -> Expression -> Expression Source # subE :: Expression -> Expression -> Expression Source # mulE :: Expression -> Expression -> Expression Source # divE :: Expression -> Expression -> Expression Source # likeE :: Expression -> Expression -> Expression Source # modE :: Expression -> Expression -> Expression Source # overlapsE :: Expression -> Expression -> Expression Source # nullIfE :: Expression -> Expression -> Expression Source # positionE :: Expression -> Expression -> Expression Source # eqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # neqE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # ltE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # gtE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # leE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # geE :: Maybe (Sql92ExpressionQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # eqMaybeE :: Expression -> Expression -> Expression -> Expression Source # neqMaybeE :: Expression -> Expression -> Expression -> Expression Source # castE :: Expression -> Sql92ExpressionCastTargetSyntax Expression -> Expression Source # notE :: Expression -> Expression Source # negateE :: Expression -> Expression Source # isNullE :: Expression -> Expression Source # isNotNullE :: Expression -> Expression Source # isTrueE :: Expression -> Expression Source # isNotTrueE :: Expression -> Expression Source # isFalseE :: Expression -> Expression Source # isNotFalseE :: Expression -> Expression Source # isUnknownE :: Expression -> Expression Source # isNotUnknownE :: Expression -> Expression Source # charLengthE :: Expression -> Expression Source # octetLengthE :: Expression -> Expression Source # bitLengthE :: Expression -> Expression Source # lowerE :: Expression -> Expression Source # upperE :: Expression -> Expression Source # trimE :: Expression -> Expression Source # absE :: Expression -> Expression Source # extractE :: Sql92ExpressionExtractFieldSyntax Expression -> Expression -> Expression Source # existsE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # uniqueE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # subqueryE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # currentTimestampE :: Expression Source # defaultE :: Expression Source # inE :: Expression -> [Expression] -> Expression Source #
IsSql99AggregationExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods everyE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # someE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # anyE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source #
IsSql99ExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods distinctE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # similarToE :: Expression -> Expression -> Expression Source # instanceFieldE :: Expression -> Text -> Expression Source # refFieldE :: Expression -> Text -> Expression Source #
IsSql99FunctionExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods functionCallE :: Expression -> [Expression] -> Expression Source # functionNameE :: Text -> Expression Source #
IsSql2003NthValueExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods nthValueE :: Expression -> Expression -> Expression Source #
IsSql2003LeadAndLagExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods leadE :: Expression -> Maybe Expression -> Maybe Expression -> Expression Source # lagE :: Expression -> Maybe Expression -> Maybe Expression -> Expression Source #
IsSql2003NtileExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods ntileE :: Expression -> Expression Source #
IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods stddevPopE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # stddevSampE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # varPopE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # varSampE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression Source # covarPopE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # covarSampE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # corrE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrSlopeE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrInterceptE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrCountE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrRSquaredE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrAvgXE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrAvgYE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrSXXE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrSXYE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source # regrSYYE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression -> Expression Source #
IsSql2003EnhancedNumericFunctionsExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods lnE :: Expression -> Expression Source # expE :: Expression -> Expression Source # sqrtE :: Expression -> Expression Source # ceilE :: Expression -> Expression Source # floorE :: Expression -> Expression Source # powerE :: Expression -> Expression -> Expression Source #
IsSql2003ExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql2003ExpressionWindowFrameSyntax Expression :: Type Source # Methods overE :: Expression -> Sql2003ExpressionWindowFrameSyntax Expression -> Expression Source # rowNumberE :: Expression Source #
type Sql92AggregationSetQuantifierSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92AggregationSetQuantifierSyntax Expression = SetQuantifier
type Sql92ExpressionQuantifierSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionQuantifierSyntax Expression = ComparatorQuantifier
type Sql92ExpressionValueSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionValueSyntax Expression = Value
type Sql92ExpressionSelectSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionSelectSyntax Expression = Select
type Sql92ExpressionFieldNameSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionFieldNameSyntax Expression = FieldName
type Sql92ExpressionCastTargetSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionCastTargetSyntax Expression = DataType
type Sql92ExpressionExtractFieldSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ExpressionExtractFieldSyntax Expression = ExtractField
type Sql2003ExpressionWindowFrameSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql2003ExpressionWindowFrameSyntax Expression = WindowFrame

newtype Projection Source #

Constructors

ProjExprs [(Expression, Maybe Text)]

Instances

Eq Projection Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Projection -> Projection -> Bool # (/=) :: Projection -> Projection -> Bool #
Show Projection Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Projection -> ShowS # show :: Projection -> String # showList :: [Projection] -> ShowS #
IsSql92ProjectionSyntax Projection Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92ProjectionExpressionSyntax Projection :: Type Source # Methods projExprs :: [(Sql92ProjectionExpressionSyntax Projection, Maybe Text)] -> Projection Source #
type Sql92ProjectionExpressionSyntax Projection Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92ProjectionExpressionSyntax Projection = Expression

data Ordering Source #

Constructors

OrderingAsc Expression
OrderingDesc Expression

Instances

Eq Ordering Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Ordering -> Ordering -> Bool # (/=) :: Ordering -> Ordering -> Bool #
Show Ordering Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Ordering -> ShowS # show :: Ordering -> String # showList :: [Ordering] -> ShowS #
IsSql92OrderingSyntax Ordering Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92OrderingExpressionSyntax Ordering :: Type Source # Methods ascOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source # descOrdering :: Sql92OrderingExpressionSyntax Ordering -> Ordering Source #
type Sql92OrderingExpressionSyntax Ordering Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92OrderingExpressionSyntax Ordering = Expression

newtype Grouping Source #

Constructors

Grouping [Expression]

Instances

Eq Grouping Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Grouping -> Grouping -> Bool # (/=) :: Grouping -> Grouping -> Bool #
Show Grouping Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Grouping -> ShowS # show :: Grouping -> String # showList :: [Grouping] -> ShowS #
IsSql92GroupingSyntax Grouping Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92GroupingExpressionSyntax Grouping :: Type Source # Methods groupByExpressions :: [Sql92GroupingExpressionSyntax Grouping] -> Grouping Source #
type Sql92GroupingExpressionSyntax Grouping Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92GroupingExpressionSyntax Grouping = Expression

data TableName Source #

Constructors

TableName (Maybe Text) Text

Instances

Eq TableName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: TableName -> TableName -> Bool # (/=) :: TableName -> TableName -> Bool #
Ord TableName Source #
Instance details 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 #
Show TableName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> TableName -> ShowS # show :: TableName -> String # showList :: [TableName] -> ShowS #
IsSql92TableNameSyntax TableName Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods tableName :: Maybe Text -> Text -> TableName Source #

data TableSource Source #

Constructors

TableNamed TableName
TableFromSubSelect Select
TableFromValues [[Expression]]

Instances

Eq TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: TableSource -> TableSource -> Bool # (/=) :: TableSource -> TableSource -> Bool #
Show TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> TableSource -> ShowS # show :: TableSource -> String # showList :: [TableSource] -> ShowS #
IsSql92TableSourceSyntax TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92TableSourceSelectSyntax TableSource :: Type Source # type Sql92TableSourceExpressionSyntax TableSource :: Type Source # type Sql92TableSourceTableNameSyntax TableSource :: Type Source # Methods tableNamed :: Sql92TableSourceTableNameSyntax TableSource -> TableSource Source # tableFromSubSelect :: Sql92TableSourceSelectSyntax TableSource -> TableSource Source # tableFromValues :: [[Sql92TableSourceExpressionSyntax TableSource]] -> TableSource Source #
type Sql92TableSourceSelectSyntax TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceSelectSyntax TableSource = Select
type Sql92TableSourceExpressionSyntax TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceExpressionSyntax TableSource = Expression
type Sql92TableSourceTableNameSyntax TableSource Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92TableSourceTableNameSyntax TableSource = TableName

data From Source #

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

Eq From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: From -> From -> Bool # (/=) :: From -> From -> Bool #
Show From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> From -> ShowS # show :: From -> String # showList :: [From] -> ShowS #
IsSql92FromSyntax From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92FromTableSourceSyntax From :: Type Source # type Sql92FromExpressionSyntax From :: Type Source # Methods fromTable :: Sql92FromTableSourceSyntax From -> Maybe (Text, Maybe [Text]) -> From Source # innerJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # leftJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source # rightJoin :: From -> From -> Maybe (Sql92FromExpressionSyntax From) -> From Source #
type Sql92FromTableSourceSyntax From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92FromTableSourceSyntax From = TableSource
type Sql92FromExpressionSyntax From Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql92FromExpressionSyntax From = Expression

data Value where Source #

Constructors

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

Instances

Eq Value Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
HasSqlValueSyntax Value Bool Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Bool -> Value Source #
HasSqlValueSyntax Value Double Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Double -> Value Source #
HasSqlValueSyntax Value Int Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int -> Value Source #
HasSqlValueSyntax Value Int16 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int16 -> Value Source #
HasSqlValueSyntax Value Int32 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int32 -> Value Source #
HasSqlValueSyntax Value Int64 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Int64 -> Value Source #
HasSqlValueSyntax Value Integer Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Integer -> Value Source #
HasSqlValueSyntax Value Word Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word -> Value Source #
HasSqlValueSyntax Value Word16 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word16 -> Value Source #
HasSqlValueSyntax Value Word32 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word32 -> Value Source #
HasSqlValueSyntax Value Word64 Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Word64 -> Value Source #
HasSqlValueSyntax Value ByteString Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: ByteString -> Value Source #
HasSqlValueSyntax Value Text Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Text -> Value Source #
HasSqlValueSyntax Value UTCTime Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: UTCTime -> Value Source #
HasSqlValueSyntax Value String Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: String -> Value Source #
HasSqlValueSyntax Value LocalTime Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: LocalTime -> Value Source #
HasSqlValueSyntax Value TimeOfDay Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: TimeOfDay -> Value Source #
HasSqlValueSyntax Value Day Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Day -> Value Source #
HasSqlValueSyntax Value SqlNull Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: SqlNull -> Value Source #
HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x) Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods sqlValueSyntax :: Maybe x -> Value Source #

data WindowFrame Source #

Constructors

WindowFrame
Fields windowFramePartitions :: Maybe [Expression] windowFrameOrdering :: Maybe [Ordering] windowFrameBounds :: Maybe WindowFrameBounds

Instances

Eq WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: WindowFrame -> WindowFrame -> Bool # (/=) :: WindowFrame -> WindowFrame -> Bool #
Show WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> WindowFrame -> ShowS # show :: WindowFrame -> String # showList :: [WindowFrame] -> ShowS #
IsSql2003WindowFrameSyntax WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql2003WindowFrameExpressionSyntax WindowFrame :: Type Source # type Sql2003WindowFrameOrderingSyntax WindowFrame :: Type Source # type Sql2003WindowFrameBoundsSyntax WindowFrame :: Type Source # Methods frameSyntax :: Maybe [Sql2003WindowFrameExpressionSyntax WindowFrame] -> Maybe [Sql2003WindowFrameOrderingSyntax WindowFrame] -> Maybe (Sql2003WindowFrameBoundsSyntax WindowFrame) -> WindowFrame Source #
type Sql2003WindowFrameExpressionSyntax WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql2003WindowFrameExpressionSyntax WindowFrame = Expression
type Sql2003WindowFrameOrderingSyntax WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql2003WindowFrameOrderingSyntax WindowFrame = Ordering
type Sql2003WindowFrameBoundsSyntax WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql2003WindowFrameBoundsSyntax WindowFrame = WindowFrameBounds

data WindowFrameBounds Source #

Constructors

WindowFrameBounds
Fields boundsFrom :: WindowFrameBound boundsTo :: Maybe WindowFrameBound

Instances

Eq WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: WindowFrameBounds -> WindowFrameBounds -> Bool # (/=) :: WindowFrameBounds -> WindowFrameBounds -> Bool #
Show WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> WindowFrameBounds -> ShowS # show :: WindowFrameBounds -> String # showList :: [WindowFrameBounds] -> ShowS #
IsSql2003WindowFrameBoundsSyntax WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds :: Type Source # Methods fromToBoundSyntax :: Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds -> Maybe (Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds) -> WindowFrameBounds Source #
type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds = WindowFrameBound

data WindowFrameBound Source #

Constructors

WindowFrameUnbounded
WindowFrameBoundNRows Int

Instances

Eq WindowFrameBound Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: WindowFrameBound -> WindowFrameBound -> Bool # (/=) :: WindowFrameBound -> WindowFrameBound -> Bool #
Show WindowFrameBound Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> WindowFrameBound -> ShowS # show :: WindowFrameBound -> String # showList :: [WindowFrameBound] -> ShowS #
IsSql2003WindowFrameBoundSyntax WindowFrameBound Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods unboundedSyntax :: WindowFrameBound Source # nrowsBoundSyntax :: Int -> WindowFrameBound Source #

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