beam-core-0.10.0.0: Type-safe, feature-complete SQL query and manipulation interface for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Database.Beam.Backend.SQL.SQL2003

Description

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

Synopsis

Documentation

module Database.Beam.Backend.SQL.SQL99

class IsSql92FromSyntax from => IsSql2003FromSyntax from where Source #

Associated Types

type Sql2003FromSampleMethodSyntax from :: Type Source #

Methods

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

class IsSql92OrderingSyntax ord => IsSql2003OrderingElementaryOLAPOperationsSyntax ord where Source #

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

nullsFirstOrdering :: ord -> ord Source #

nullsLastOrdering :: ord -> ord Source #

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

Associated Types

type Sql2003ExpressionWindowFrameSyntax expr :: Type Source #

Methods

overE :: expr -> Sql2003ExpressionWindowFrameSyntax expr -> expr Source #

rowNumberE :: expr Source #

Instances

Instances details
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 #

IsSql2003ExpressionSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder Source #

Methods

overE :: SqlSyntaxBuilder -> Sql2003ExpressionWindowFrameSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

rowNumberE :: SqlSyntaxBuilder Source #

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionElementaryOLAPOperationsSyntax expr where Source #

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

filterAggE :: expr -> expr -> expr Source #

rankAggE :: expr Source #

Instances

Instances details
IsSql2003ExpressionElementaryOLAPOperationsSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Backend.SQL.Builder

Methods

filterAggE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder Source #

rankAggE :: SqlSyntaxBuilder Source #

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionAdvancedOLAPOperationsSyntax expr where Source #

Optional SQL2003 "Advanced OLAP operations" T612 support

Methods

percentRankAggE :: expr Source #

denseRankAggE :: expr Source #

cumeDistAggE :: expr Source #

Instances

Instances details
IsSql2003ExpressionAdvancedOLAPOperationsSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Backend.SQL.Builder

Methods

percentRankAggE :: SqlSyntaxBuilder Source #

denseRankAggE :: SqlSyntaxBuilder Source #

cumeDistAggE :: SqlSyntaxBuilder Source #

class IsSql99DataTypeSyntax dataType => IsSql2003BinaryAndVarBinaryDataTypeSyntax dataType where Source #

Optional SQL2003 "BINARY AND VARBINARY data type" T021 support

Methods

binaryType :: Maybe Word -> dataType Source #

varBinaryType :: Maybe Word -> dataType Source #

class IsSql2003WindowFrameBoundsSyntax (Sql2003WindowFrameBoundsSyntax frame) => IsSql2003WindowFrameSyntax frame where Source #

Associated Types

type Sql2003WindowFrameExpressionSyntax frame :: Type Source #

type Sql2003WindowFrameOrderingSyntax frame :: Type Source #

type Sql2003WindowFrameBoundsSyntax frame :: Type Source #

Methods

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

Instances

Instances details
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 #

IsSql2003WindowFrameSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003WindowFrameExpressionSyntax SqlSyntaxBuilder Source #

type Sql2003WindowFrameOrderingSyntax SqlSyntaxBuilder Source #

type Sql2003WindowFrameBoundsSyntax SqlSyntaxBuilder Source #

Methods

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

class IsSql2003WindowFrameBoundSyntax (Sql2003WindowFrameBoundsBoundSyntax bounds) => IsSql2003WindowFrameBoundsSyntax bounds where Source #

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax bounds :: Type Source #

Methods

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

Instances

Instances details
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 #

IsSql2003WindowFrameBoundsSyntax SqlSyntaxBuilder Source # 
Instance details

Defined in Database.Beam.Backend.SQL.Builder

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax SqlSyntaxBuilder Source #

Methods

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

class IsSql2003WindowFrameBoundSyntax bound where Source #

Methods

unboundedSyntax :: bound Source #

nrowsBoundSyntax :: Int -> bound Source #

Instances

Instances details
IsSql2003WindowFrameBoundSyntax WindowFrameBound Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Methods

unboundedSyntax :: WindowFrameBound Source #

nrowsBoundSyntax :: Int -> WindowFrameBound Source #

class IsSql99ExpressionSyntax expr => IsSql2003EnhancedNumericFunctionsExpressionSyntax expr where Source #

Optional SQL2003 "Enhanced numeric functions" T621 support

Methods

lnE :: expr -> expr Source #

expE :: expr -> expr Source #

sqrtE :: expr -> expr Source #

ceilE :: expr -> expr Source #

floorE :: expr -> expr Source #

powerE :: expr -> expr -> expr Source #

Instances

Instances details
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 #

class IsSql99AggregationExpressionSyntax agg => IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax agg where Source #

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Instances

Instances details
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 #

class IsSql99AggregationExpressionSyntax agg => IsSql2003FirstValueAndLastValueExpressionSyntax agg where Source #

Optional SQL2003 "FIRST_VALUE and LAST_VALUE function" T616 support

Methods

firstValueE :: agg -> agg Source #

lastValueE :: agg -> agg Source #

class IsSql99AggregationExpressionSyntax agg => IsSql2003NtileExpressionSyntax agg where Source #

Optional SQL2003 "NTILE function" T614 support

Methods

ntileE :: agg -> agg Source #

Instances

Instances details
IsSql2003NtileExpressionSyntax Expression Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Methods

ntileE :: Expression -> Expression Source #

class IsSql99AggregationExpressionSyntax agg => IsSql2003NthValueExpressionSyntax agg where Source #

Optional SQL2003 "NTH_VALUE function" T618 support

Methods

nthValueE :: agg -> agg -> agg Source #

Instances

Instances details
IsSql2003NthValueExpressionSyntax Expression Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Methods

nthValueE :: Expression -> Expression -> Expression Source #

class IsSql99AggregationExpressionSyntax agg => IsSql2003LeadAndLagExpressionSyntax agg where Source #

Optional SQL2003 "LEAD and LAG function" T615 support

Methods

leadE :: agg -> Maybe agg -> Maybe agg -> agg Source #

lagE :: agg -> Maybe agg -> Maybe agg -> agg Source #

Instances

Instances details
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 #

class IsSql99DataTypeSyntax dataType => IsSql2008BigIntDataTypeSyntax dataType where Source #

Optional SQL2008 "BIGINT data type" T071 support

Methods

bigIntType :: dataType Source #

Instances

Instances details
IsSql2008BigIntDataTypeSyntax DataType Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Methods

bigIntType :: DataType Source #

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