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

Minimal complete definition

fromTableSample

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

Minimal complete definition

nullsFirstOrdering, nullsLastOrdering

Methods

nullsFirstOrdering, nullsLastOrdering :: ord -> ord

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

Minimal complete definition

overE

Associated Types

type Sql2003ExpressionWindowFrameSyntax expr :: *

Methods

overE :: expr -> Sql2003ExpressionWindowFrameSyntax expr -> expr

Instances

IsSql2003ExpressionSyntax SqlSyntaxBuilder

Associated Types

type Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder :: *

Methods

overE :: SqlSyntaxBuilder -> Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionElementaryOLAPOperationsSyntax expr where

Optional SQL2003 "Elementary OLAP operations" T611 support

Minimal complete definition

filterAggE, rankAggE

Methods

filterAggE :: expr -> expr -> expr

rankAggE :: expr

Instances

IsSql2003ExpressionElementaryOLAPOperationsSyntax SqlSyntaxBuilder

Methods

filterAggE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

rankAggE :: SqlSyntaxBuilder

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionAdvancedOLAPOperationsSyntax expr where

Optional SQL2003 "Advanced OLAP operations" T612 support

Minimal complete definition

percentRankAggE, denseRankAggE, cumeDistAggE

Methods

percentRankAggE :: expr

denseRankAggE :: expr

cumeDistAggE :: expr

Instances

IsSql2003ExpressionAdvancedOLAPOperationsSyntax SqlSyntaxBuilder

Methods

percentRankAggE :: SqlSyntaxBuilder

denseRankAggE :: SqlSyntaxBuilder

cumeDistAggE :: SqlSyntaxBuilder

class IsSql99DataTypeSyntax dataType => IsSql2003BinaryAndVarBinaryDataTypeSyntax dataType where

Optional SQL2003 "BINARY AND VARBINARY data type" T021 support

Minimal complete definition

binaryType, varBinaryType

Methods

binaryType :: Maybe Word -> dataType

varBinaryType :: Maybe Word -> dataType

class IsSql2003WindowFrameBoundsSyntax (Sql2003WindowFrameBoundsSyntax frame) => IsSql2003WindowFrameSyntax frame where

Minimal complete definition

frameSyntax

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 SqlSyntaxBuilder

Associated Types

type Sql2003WindowFrameExpressionSyntax SqlSyntaxBuilder :: *

type Sql2003WindowFrameOrderingSyntax SqlSyntaxBuilder :: *

type Sql2003WindowFrameBoundsSyntax SqlSyntaxBuilder :: *

Methods

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

class IsSql2003WindowFrameBoundSyntax (Sql2003WindowFrameBoundsBoundSyntax bounds) => IsSql2003WindowFrameBoundsSyntax bounds where

Minimal complete definition

fromToBoundSyntax

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax bounds :: *

Methods

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

Instances

IsSql2003WindowFrameBoundsSyntax SqlSyntaxBuilder

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax SqlSyntaxBuilder :: *

Methods

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

class IsSql2003WindowFrameBoundSyntax bound where

Minimal complete definition

unboundedSyntax, nrowsBoundSyntax

Methods

unboundedSyntax :: bound

nrowsBoundSyntax :: Int -> bound

class IsSql99ExpressionSyntax expr => IsSql2003EnhancedNumericFunctionsExpressionSyntax expr where

Optional SQL2003 "Enhanced numeric functions" T621 support

Minimal complete definition

lnE, expE, sqrtE, ceilE, floorE, powerE

Methods

lnE, expE, sqrtE, ceilE, floorE :: expr -> expr

powerE :: expr -> expr -> expr

class IsSql99AggregationExpressionSyntax agg => IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax agg where

Minimal complete definition

stddevPopE, stddevSampE, varPopE, varSampE, covarPopE, covarSampE, corrE, regrSlopeE, regrInterceptE, regrCountE, regrRSquaredE, regrAvgXE, regrAvgYE, regrSXXE, regrSXYE, regrSYYE

Methods

stddevPopE, stddevSampE, varPopE, varSampE :: Maybe (Sql92AggregationSetQuantifierSyntax agg) -> agg -> agg

covarPopE, covarSampE, corrE, regrSlopeE, regrInterceptE, regrCountE, regrRSquaredE, regrAvgXE, regrAvgYE, regrSXXE, regrSXYE, regrSYYE :: Maybe (Sql92AggregationSetQuantifierSyntax agg) -> agg -> agg -> agg

class IsSql99AggregationExpressionSyntax agg => IsSql2003FirstValueAndLastValueExpressionSyntax agg where

Optional SQL2003 "FIRST_VALUE and LAST_VALUE function" T616 support

Minimal complete definition

firstValueE, lastValueE

Methods

firstValueE, lastValueE :: agg -> agg

class IsSql99AggregationExpressionSyntax agg => IsSql2003NtileExpressionSyntax agg where

Optional SQL2003 "NTILE function" T614 support

Minimal complete definition

ntileE

Methods

ntileE :: agg -> agg

class IsSql99AggregationExpressionSyntax agg => IsSql2003NthValueExpressionSyntax agg where

Optional SQL2003 "NTH_VALUE function" T618 support

Minimal complete definition

nthValueE

Methods

nthValueE :: agg -> agg -> agg

class IsSql99AggregationExpressionSyntax agg => IsSql2003LeadAndLagExpressionSyntax agg where

Optional SQL2003 "LEAD and LAG function" T615 support

Minimal complete definition

leadE, lagE

Methods

leadE, lagE :: agg -> Maybe agg -> Maybe agg -> agg

class IsSql99DataTypeSyntax dataType => IsSql2008BigIntDataTypeSyntax dataType where

Optional SQL2008 "BIGINT data type" T071 support

Minimal complete definition

bigIntType

Methods

bigIntType :: dataType

type Sql2003ExpressionSanityCheck syntax = syntax ~ Sql2003WindowFrameExpressionSyntax (Sql2003ExpressionWindowFrameSyntax syntax)