Modulebeam-core-0.11.1.0Haskell2010

Database.Beam.Backend.SQL.SQL2003

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

1 type
16 classes

Packagebeam-core-0.11.1.0
Exports17
LanguageHaskell2010
LicenceMIT
SourceSQL2003.hs

module Database.Beam.Backend.SQL.SQL99

classclass IsSql92FromSyntax from => IsSql2003FromSyntax from where

Associated types

type family Sql2003FromSampleMethodSyntax from

Methods

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

classclass IsSql92OrderingSyntax ord => IsSql2003OrderingElementaryOLAPOperationsSyntax ord where

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

nullsFirstOrdering :: ord -> ord
nullsLastOrdering :: ord -> ord

class

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

Associated types

type family Sql2003ExpressionWindowFrameSyntax expr

Methods

overE :: expr -> Sql2003ExpressionWindowFrameSyntax expr -> expr
rowNumberE :: expr

Instances2IsSql2003ExpressionSyntax

IsSql2003ExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql2003ExpressionSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql2003ExpressionSyntax expr => IsSql2003ExpressionElementaryOLAPOperationsSyntax expr where

Optional SQL2003 "Elementary OLAP operations" T611 support

Methods

filterAggE :: expr -> expr -> expr
rankAggE :: expr

Instances1IsSql2003ExpressionElementaryOLAPOperationsSyntax

IsSql2003ExpressionElementaryOLAPOperationsSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql2003ExpressionSyntax expr => IsSql2003ExpressionAdvancedOLAPOperationsSyntax expr where

Optional SQL2003 "Advanced OLAP operations" T612 support

Methods

percentRankAggE :: expr
denseRankAggE :: expr
cumeDistAggE :: expr

Instances1IsSql2003ExpressionAdvancedOLAPOperationsSyntax

IsSql2003ExpressionAdvancedOLAPOperationsSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql99DataTypeSyntax dataType => IsSql2003BinaryAndVarBinaryDataTypeSyntax dataType where

Optional SQL2003 "BINARY AND VARBINARY data type" T021 support

Methods

binaryType :: Maybe Word -> dataType
varBinaryType :: Maybe Word -> dataType

classclass IsSql2003WindowFrameBoundsSyntax (Sql2003WindowFrameBoundsSyntax frame) => IsSql2003WindowFrameSyntax frame where

Associated types

type family Sql2003WindowFrameExpressionSyntax frame
type family Sql2003WindowFrameOrderingSyntax frame
type family Sql2003WindowFrameBoundsSyntax frame

Methods

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

Instances2IsSql2003WindowFrameSyntax

IsSql2003WindowFrameSyntax WindowFrameDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql2003WindowFrameSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

class

class IsSql2003WindowFrameBoundSyntax (Sql2003WindowFrameBoundsBoundSyntax bounds) => IsSql2003WindowFrameBoundsSyntax bounds where

Associated types

type family Sql2003WindowFrameBoundsBoundSyntax bounds

Methods

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

Instances2IsSql2003WindowFrameBoundsSyntax

IsSql2003WindowFrameBoundsSyntax WindowFrameBoundsDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql2003WindowFrameBoundsSyntax SqlSyntaxBuilderDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass IsSql2003WindowFrameBoundSyntax bound where

Methods

unboundedSyntax :: bound
nrowsBoundSyntax :: Int -> bound

Instances2IsSql2003WindowFrameBoundSyntax

IsSql2003WindowFrameBoundSyntax WindowFrameBoundDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST
IsSql2003WindowFrameBoundSyntax SqlWindowFrameBoundDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.Builder

classclass 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

Instances1IsSql2003EnhancedNumericFunctionsExpressionSyntax

IsSql2003EnhancedNumericFunctionsExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

classclass 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

Instances1IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax

IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

classclass IsSql99AggregationExpressionSyntax agg => IsSql2003FirstValueAndLastValueExpressionSyntax agg where

Optional SQL2003 "FIRST_VALUE and LAST_VALUE function" T616 support

Methods

firstValueE :: agg -> agg
lastValueE :: agg -> agg

classclass IsSql99AggregationExpressionSyntax agg => IsSql2003NtileExpressionSyntax agg where

Optional SQL2003 "NTILE function" T614 support

Methods

ntileE :: agg -> agg

Instances1IsSql2003NtileExpressionSyntax

IsSql2003NtileExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

classclass IsSql99AggregationExpressionSyntax agg => IsSql2003NthValueExpressionSyntax agg where

Optional SQL2003 "NTH_VALUE function" T618 support

Methods

nthValueE :: agg -> agg -> agg

Instances1IsSql2003NthValueExpressionSyntax

IsSql2003NthValueExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

classclass 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

Instances1IsSql2003LeadAndLagExpressionSyntax

IsSql2003LeadAndLagExpressionSyntax ExpressionDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

classclass IsSql99DataTypeSyntax dataType => IsSql2008BigIntDataTypeSyntax dataType where

Optional SQL2008 "BIGINT data type" T071 support

Methods

bigIntType :: dataType

Instances1IsSql2008BigIntDataTypeSyntax

IsSql2008BigIntDataTypeSyntax DataTypeDefined in beam-core-0.11.1.0 · Database.Beam.Backend.SQL.AST

type

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