Database.Beam.Backend.SQL.SQL2003

Modular finally tagless extension of SQL99 and SQL92 syntaxes for various SQL2003 core and optional features.

Documentation

module Database.Beam.Backend.SQL.SQL99

class IsSql92FromSyntax from => IsSql2003FromSyntax from where

Associated Types

type Sql2003FromSampleMethodSyntax from :: *

Methods

fromTableSample :: Sql92FromTableSourceSyntax from -> Sql2003FromSampleMethodSyntax from -> Maybe Double -> Maybe Integer -> Maybe Text -> from

class IsSql92OrderingSyntax ord => IsSql2003OrderingElementaryOLAPOperationsSyntax ord where

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

nullsFirstOrdering :: ord -> ord

nullsLastOrdering :: ord -> ord

class (IsSql99ExpressionSyntax expr, IsSql2003WindowFrameSyntax (Sql2003ExpressionWindowFrameSyntax expr)) => IsSql2003ExpressionSyntax expr where

Associated Types

type Sql2003ExpressionWindowFrameSyntax expr :: *

Methods

overE :: expr -> Sql2003ExpressionWindowFrameSyntax expr -> expr

rowNumberE :: expr

Instances

IsSql2003ExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003ExpressionWindowFrameSyntax Expression :: Type

Methods

overE :: Expression -> Sql2003ExpressionWindowFrameSyntax Expression -> Expression

rowNumberE :: Expression

IsSql2003ExpressionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder :: Type

Methods

overE :: SqlSyntaxBuilder -> Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

rowNumberE :: SqlSyntaxBuilder

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionElementaryOLAPOperationsSyntax expr where

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

filterAggE :: expr -> expr -> expr

rankAggE :: expr

Instances

IsSql2003ExpressionElementaryOLAPOperationsSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Methods

filterAggE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

rankAggE :: SqlSyntaxBuilder

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionAdvancedOLAPOperationsSyntax expr where

Optional SQL2003 "Advanced OLAP operations" T612 support

Methods

percentRankAggE :: expr

denseRankAggE :: expr

cumeDistAggE :: expr

Instances

IsSql2003ExpressionAdvancedOLAPOperationsSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Methods

percentRankAggE :: SqlSyntaxBuilder

denseRankAggE :: SqlSyntaxBuilder

cumeDistAggE :: SqlSyntaxBuilder

class IsSql99DataTypeSyntax dataType => IsSql2003BinaryAndVarBinaryDataTypeSyntax dataType where

Optional SQL2003 "BINARY AND VARBINARY data type" T021 support

Methods

binaryType :: Maybe Word -> dataType

varBinaryType :: Maybe Word -> dataType

class IsSql2003WindowFrameBoundsSyntax (Sql2003WindowFrameBoundsSyntax frame) => IsSql2003WindowFrameSyntax frame where

Associated Types

type Sql2003WindowFrameExpressionSyntax frame :: *

type Sql2003WindowFrameOrderingSyntax frame :: *

type Sql2003WindowFrameBoundsSyntax frame :: *

Methods

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

Instances

IsSql2003WindowFrameSyntax WindowFrame

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameExpressionSyntax WindowFrame :: Type

type Sql2003WindowFrameOrderingSyntax WindowFrame :: Type

type Sql2003WindowFrameBoundsSyntax WindowFrame :: Type

Methods

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

IsSql2003WindowFrameSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003WindowFrameExpressionSyntax SqlSyntaxBuilder :: Type

type Sql2003WindowFrameOrderingSyntax SqlSyntaxBuilder :: Type

type Sql2003WindowFrameBoundsSyntax SqlSyntaxBuilder :: Type

Methods

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

class IsSql2003WindowFrameBoundSyntax (Sql2003WindowFrameBoundsBoundSyntax bounds) => IsSql2003WindowFrameBoundsSyntax bounds where

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax bounds :: *

Methods

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

Instances

IsSql2003WindowFrameBoundsSyntax WindowFrameBounds

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds :: Type

Methods

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

IsSql2003WindowFrameBoundsSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax SqlSyntaxBuilder :: Type

Methods

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

class IsSql2003WindowFrameBoundSyntax bound where

Methods

unboundedSyntax :: bound

nrowsBoundSyntax :: Int -> bound

Instances

IsSql2003WindowFrameBoundSyntax WindowFrameBound

Defined in Database.Beam.Backend.SQL.AST

Methods

unboundedSyntax :: WindowFrameBound

nrowsBoundSyntax :: Int -> WindowFrameBound

class IsSql99ExpressionSyntax expr => IsSql2003EnhancedNumericFunctionsExpressionSyntax expr where

Optional SQL2003 "Enhanced numeric functions" T621 support

Methods

lnE :: expr -> expr

expE :: expr -> expr

sqrtE :: expr -> expr

ceilE :: expr -> expr

floorE :: expr -> expr

powerE :: expr -> expr -> expr

Instances

IsSql2003EnhancedNumericFunctionsExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

lnE :: Expression -> Expression

expE :: Expression -> Expression

sqrtE :: Expression -> Expression

ceilE :: Expression -> Expression

floorE :: Expression -> Expression

powerE :: Expression -> Expression -> Expression

class IsSql99AggregationExpressionSyntax agg => IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax agg where

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Instances

IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

class IsSql99AggregationExpressionSyntax agg => IsSql2003FirstValueAndLastValueExpressionSyntax agg where

Optional SQL2003 "FIRST_VALUE and LAST_VALUE function" T616 support

Methods

firstValueE :: agg -> agg

lastValueE :: agg -> agg

class IsSql99AggregationExpressionSyntax agg => IsSql2003NtileExpressionSyntax agg where

Optional SQL2003 "NTILE function" T614 support

Methods

ntileE :: agg -> agg

Instances

IsSql2003NtileExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

ntileE :: Expression -> Expression

class IsSql99AggregationExpressionSyntax agg => IsSql2003NthValueExpressionSyntax agg where

Optional SQL2003 "NTH_VALUE function" T618 support

Methods

nthValueE :: agg -> agg -> agg

Instances

IsSql2003NthValueExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

nthValueE :: Expression -> Expression -> Expression

class IsSql99AggregationExpressionSyntax agg => IsSql2003LeadAndLagExpressionSyntax agg where

Optional SQL2003 "LEAD and LAG function" T615 support

Methods

leadE :: agg -> Maybe agg -> Maybe agg -> agg

lagE :: agg -> Maybe agg -> Maybe agg -> agg

Instances

IsSql2003LeadAndLagExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

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

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

class IsSql99DataTypeSyntax dataType => IsSql2008BigIntDataTypeSyntax dataType where

Optional SQL2008 "BIGINT data type" T071 support

Methods

bigIntType :: dataType

Instances

IsSql2008BigIntDataTypeSyntax DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

bigIntType :: DataType

type Sql2003SanityCheck syntax = (Sql92ExpressionSyntax syntax ~ Sql2003WindowFrameExpressionSyntax (Sql2003ExpressionWindowFrameSyntax (Sql92ExpressionSyntax syntax)), Sql92SelectOrderingSyntax (Sql92SelectSyntax syntax) ~ Sql2003WindowFrameOrderingSyntax (Sql2003ExpressionWindowFrameSyntax (Sql92ExpressionSyntax syntax)))