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

Safe HaskellNone
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
IsSql2003ExpressionSyntax Expression Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003ExpressionWindowFrameSyntax Expression :: Type 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 :: Type 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
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
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
IsSql2003WindowFrameSyntax WindowFrame Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameExpressionSyntax WindowFrame :: Type Source #

type Sql2003WindowFrameOrderingSyntax WindowFrame :: Type Source #

type Sql2003WindowFrameBoundsSyntax WindowFrame :: Type 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 :: Type Source #

type Sql2003WindowFrameOrderingSyntax SqlSyntaxBuilder :: Type Source #

type Sql2003WindowFrameBoundsSyntax SqlSyntaxBuilder :: Type 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
IsSql2003WindowFrameBoundsSyntax WindowFrameBounds Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax WindowFrameBounds :: Type 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 :: Type Source #

Methods

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

class IsSql2003WindowFrameBoundSyntax bound where Source #

Methods

unboundedSyntax :: bound Source #

nrowsBoundSyntax :: Int -> bound Source #

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