beam-core-0.7.2.1: Type-safe, feature-complete SQL query and manipulation interface for Haskell

Safe HaskellNone
LanguageHaskell2010

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

Instances

Eq SelectTable Source # 
Show SelectTable Source # 
IsSql92SelectTableSyntax SelectTable Source # 
type Sql92SelectTableSelectSyntax SelectTable Source # 
type Sql92SelectTableExpressionSyntax SelectTable Source # 
type Sql92SelectTableProjectionSyntax SelectTable Source # 
type Sql92SelectTableFromSyntax SelectTable Source # 
type Sql92SelectTableGroupingSyntax SelectTable Source # 
type Sql92SelectTableSetQuantifierSyntax SelectTable Source # 

data DataType Source #

data Expression Source #

Instances

Eq Expression Source # 
Show Expression Source # 
IsSql92AggregationExpressionSyntax Expression Source # 
IsSql92ExpressionSyntax 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 # 
IsSql99ExpressionSyntax Expression Source # 
IsSql2003NthValueExpressionSyntax Expression Source # 
IsSql2003LeadAndLagExpressionSyntax Expression Source # 
IsSql2003NtileExpressionSyntax Expression Source # 
IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax Expression Source # 

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 # 
IsSql2003ExpressionSyntax Expression Source # 
HasSqlQuantifiedEqualityCheck Expression Bool Source # 
HasSqlQuantifiedEqualityCheck Expression Double Source # 
HasSqlQuantifiedEqualityCheck Expression Float Source # 
HasSqlQuantifiedEqualityCheck Expression Int Source # 
HasSqlQuantifiedEqualityCheck Expression Int8 Source # 
HasSqlQuantifiedEqualityCheck Expression Int16 Source # 
HasSqlQuantifiedEqualityCheck Expression Int32 Source # 
HasSqlQuantifiedEqualityCheck Expression Int64 Source # 
HasSqlQuantifiedEqualityCheck Expression Integer Source # 
HasSqlQuantifiedEqualityCheck Expression Word Source # 
HasSqlQuantifiedEqualityCheck Expression Word8 Source # 
HasSqlQuantifiedEqualityCheck Expression Word16 Source # 
HasSqlQuantifiedEqualityCheck Expression Word32 Source # 
HasSqlQuantifiedEqualityCheck Expression Word64 Source # 
HasSqlQuantifiedEqualityCheck Expression Text Source # 
HasSqlQuantifiedEqualityCheck Expression UTCTime Source # 
HasSqlQuantifiedEqualityCheck Expression LocalTime Source # 
HasSqlQuantifiedEqualityCheck Expression TimeOfDay Source # 
HasSqlQuantifiedEqualityCheck Expression Day Source # 
HasSqlEqualityCheck Expression Bool Source # 
HasSqlEqualityCheck Expression Double Source # 
HasSqlEqualityCheck Expression Float Source # 
HasSqlEqualityCheck Expression Int Source # 
HasSqlEqualityCheck Expression Int8 Source # 
HasSqlEqualityCheck Expression Int16 Source # 
HasSqlEqualityCheck Expression Int32 Source # 
HasSqlEqualityCheck Expression Int64 Source # 
HasSqlEqualityCheck Expression Integer Source # 
HasSqlEqualityCheck Expression Word Source # 
HasSqlEqualityCheck Expression Word8 Source # 
HasSqlEqualityCheck Expression Word16 Source # 
HasSqlEqualityCheck Expression Word32 Source # 
HasSqlEqualityCheck Expression Word64 Source # 
HasSqlEqualityCheck Expression Text Source # 
HasSqlEqualityCheck Expression UTCTime Source # 
HasSqlEqualityCheck Expression LocalTime Source # 
HasSqlEqualityCheck Expression TimeOfDay Source # 
HasSqlEqualityCheck Expression Day Source # 
HasSqlQuantifiedEqualityCheck Expression a => HasSqlQuantifiedEqualityCheck Expression (Tagged * t a) Source # 
HasSqlEqualityCheck Expression a => HasSqlEqualityCheck Expression (Tagged * t a) Source # 
IsSqlExpressionSyntaxStringType * * Expression Text Source # 
type Sql92AggregationSetQuantifierSyntax Expression Source # 
type Sql92ExpressionQuantifierSyntax Expression Source # 
type Sql92ExpressionValueSyntax Expression Source # 
type Sql92ExpressionSelectSyntax Expression Source # 
type Sql92ExpressionFieldNameSyntax Expression Source # 
type Sql92ExpressionCastTargetSyntax Expression Source # 
type Sql92ExpressionExtractFieldSyntax Expression Source # 
type Sql2003ExpressionWindowFrameSyntax Expression Source # 

data Value where Source #

Constructors

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

Instances

Eq Value Source # 

Methods

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

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

Show Value Source # 

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

HasSqlValueSyntax Value Bool Source # 
HasSqlValueSyntax Value Double Source # 
HasSqlValueSyntax Value Int Source # 
HasSqlValueSyntax Value Int16 Source # 
HasSqlValueSyntax Value Int32 Source # 
HasSqlValueSyntax Value Int64 Source # 
HasSqlValueSyntax Value Integer Source # 
HasSqlValueSyntax Value Word Source # 
HasSqlValueSyntax Value Word16 Source # 
HasSqlValueSyntax Value Word32 Source # 
HasSqlValueSyntax Value Word64 Source # 
HasSqlValueSyntax Value ByteString Source # 
HasSqlValueSyntax Value String Source # 
HasSqlValueSyntax Value Text Source # 
HasSqlValueSyntax Value UTCTime Source # 
HasSqlValueSyntax Value LocalTime Source # 
HasSqlValueSyntax Value TimeOfDay Source # 
HasSqlValueSyntax Value Day Source # 
HasSqlValueSyntax Value SqlNull Source # 
HasSqlValueSyntax Value x => HasSqlValueSyntax Value (Maybe x) Source #