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

Instances details

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

Instances details

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

Instances details

Eq SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: SelectTable -> SelectTable -> Bool Source # (/=) :: SelectTable -> SelectTable -> Bool Source #
Show SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> SelectTable -> ShowS Source # show :: SelectTable -> String Source # showList :: [ SelectTable ] -> ShowS Source #
IsSql92SelectTableSyntax SelectTable Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92SelectTableSelectSyntax SelectTable Source # type Sql92SelectTableExpressionSyntax SelectTable Source # type Sql92SelectTableProjectionSyntax SelectTable Source # type Sql92SelectTableFromSyntax SelectTable Source # type Sql92SelectTableGroupingSyntax SelectTable Source # type Sql92SelectTableSetQuantifierSyntax SelectTable Source # Methods selectTableStmt :: Maybe ( Sql92SelectTableSetQuantifierSyntax SelectTable ) -> Sql92SelectTableProjectionSyntax SelectTable -> Maybe ( Sql92SelectTableFromSyntax SelectTable ) -> Maybe ( Sql92SelectTableExpressionSyntax SelectTable ) -> Maybe ( Sql92SelectTableGroupingSyntax SelectTable ) -> Maybe ( Sql92SelectTableExpressionSyntax SelectTable ) -> SelectTable Source # unionTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # intersectTables :: Bool -> SelectTable -> SelectTable -> SelectTable Source # exceptTable :: Bool -> SelectTable -> SelectTable -> SelectTable Source #
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

Instances details

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

Instances details

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

Instances details

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

Instances details

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

Instances details

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

Instances details

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

Instances details

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

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

Instances details

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

Instances details

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

Instances details

Eq Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: Expression -> Expression -> Bool Source # (/=) :: Expression -> Expression -> Bool Source #
Show Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> Expression -> ShowS Source # show :: Expression -> String Source # showList :: [ Expression ] -> ShowS Source #
IsSql92AggregationExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92AggregationSetQuantifierSyntax Expression Source # Methods countAllE :: Expression Source # countE :: Maybe ( Sql92AggregationSetQuantifierSyntax Expression ) -> Expression -> Expression Source # avgE :: Maybe ( Sql92AggregationSetQuantifierSyntax Expression ) -> Expression -> Expression Source # maxE :: Maybe ( Sql92AggregationSetQuantifierSyntax Expression ) -> Expression -> Expression Source # minE :: Maybe ( Sql92AggregationSetQuantifierSyntax Expression ) -> Expression -> Expression Source # sumE :: Maybe ( Sql92AggregationSetQuantifierSyntax Expression ) -> Expression -> Expression Source #
IsSql92ExpressionSyntax Expression Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql92ExpressionQuantifierSyntax Expression Source # type Sql92ExpressionValueSyntax Expression Source # type Sql92ExpressionSelectSyntax Expression Source # type Sql92ExpressionFieldNameSyntax Expression Source # type Sql92ExpressionCastTargetSyntax Expression Source # type Sql92ExpressionExtractFieldSyntax Expression Source # Methods valueE :: Sql92ExpressionValueSyntax Expression -> Expression Source # rowE :: [ Expression ] -> Expression Source # quantifierListE :: [ Expression ] -> Expression Source # coalesceE :: [ Expression ] -> Expression Source # caseE :: [( Expression , Expression )] -> Expression -> Expression Source # fieldE :: Sql92ExpressionFieldNameSyntax Expression -> Expression Source # betweenE :: Expression -> Expression -> Expression -> Expression Source # andE :: Expression -> Expression -> Expression Source # orE :: Expression -> Expression -> Expression Source # addE :: Expression -> Expression -> Expression Source # subE :: Expression -> Expression -> Expression Source # mulE :: Expression -> Expression -> Expression Source # divE :: Expression -> Expression -> Expression Source # likeE :: Expression -> Expression -> Expression Source # modE :: Expression -> Expression -> Expression Source # overlapsE :: Expression -> Expression -> Expression Source # nullIfE :: Expression -> Expression -> Expression Source # positionE :: Expression -> Expression -> Expression Source # eqE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # neqE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # ltE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # gtE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # leE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # geE :: Maybe ( Sql92ExpressionQuantifierSyntax Expression ) -> Expression -> Expression -> Expression Source # eqMaybeE :: Expression -> Expression -> Expression -> Expression Source # neqMaybeE :: Expression -> Expression -> Expression -> Expression Source # castE :: Expression -> Sql92ExpressionCastTargetSyntax Expression -> Expression Source # notE :: Expression -> Expression Source # negateE :: Expression -> Expression Source # isNullE :: Expression -> Expression Source # isNotNullE :: Expression -> Expression Source # isTrueE :: Expression -> Expression Source # isNotTrueE :: Expression -> Expression Source # isFalseE :: Expression -> Expression Source # isNotFalseE :: Expression -> Expression Source # isUnknownE :: Expression -> Expression Source # isNotUnknownE :: Expression -> Expression Source # charLengthE :: Expression -> Expression Source # octetLengthE :: Expression -> Expression Source # bitLengthE :: Expression -> Expression Source # lowerE :: Expression -> Expression Source # upperE :: Expression -> Expression Source # trimE :: Expression -> Expression Source # absE :: Expression -> Expression Source # extractE :: Sql92ExpressionExtractFieldSyntax Expression -> Expression -> Expression Source # existsE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # uniqueE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # subqueryE :: Sql92ExpressionSelectSyntax Expression -> Expression Source # currentTimestampE :: Expression Source # defaultE :: Expression Source # inE :: Expression -> [ Expression ] -> Expression Source #
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 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

Instances details

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

Instances details

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

newtype Grouping Source #

Constructors

Grouping [ Expression ]

Instances

Instances details

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

Instances details

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

Instances details

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

Instances details

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

Instances details

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

Instances details

Eq WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: WindowFrame -> WindowFrame -> Bool Source # (/=) :: WindowFrame -> WindowFrame -> Bool Source #
Show WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> WindowFrame -> ShowS Source # show :: WindowFrame -> String Source # showList :: [ WindowFrame ] -> ShowS Source #
IsSql2003WindowFrameSyntax WindowFrame Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql2003WindowFrameExpressionSyntax WindowFrame Source # type Sql2003WindowFrameOrderingSyntax WindowFrame Source # type Sql2003WindowFrameBoundsSyntax WindowFrame 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

Instances details

Eq WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods (==) :: WindowFrameBounds -> WindowFrameBounds -> Bool Source # (/=) :: WindowFrameBounds -> WindowFrameBounds -> Bool Source #
Show WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Methods showsPrec :: Int -> WindowFrameBounds -> ShowS Source # show :: WindowFrameBounds -> String Source # showList :: [ WindowFrameBounds ] -> ShowS Source #
IsSql2003WindowFrameBoundsSyntax WindowFrameBounds Source #
Instance details Defined in Database.Beam.Backend.SQL.AST Associated Types type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds 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

Instances details

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