beam-core-0.7.2.2: 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 #

Minimal complete definition

fromTableSample

Associated Types

type Sql2003FromSampleMethodSyntax from :: * 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

Minimal complete definition

nullsFirstOrdering, nullsLastOrdering

Methods

nullsFirstOrdering :: ord -> ord Source #

nullsLastOrdering :: ord -> ord Source #

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

Minimal complete definition

overE

Associated Types

type Sql2003ExpressionWindowFrameSyntax expr :: * Source #

Methods

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

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

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 #

class IsSql2003ExpressionSyntax expr => IsSql2003ExpressionElementaryOLAPOperationsSyntax expr where Source #

Optional SQL2003 "Elementary OLAP operations" T611 support

Minimal complete definition

filterAggE, rankAggE

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

Minimal complete definition

percentRankAggE, denseRankAggE, cumeDistAggE

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

Minimal complete definition

binaryType, varBinaryType

Methods

binaryType :: Maybe Word -> dataType Source #

varBinaryType :: Maybe Word -> dataType Source #

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

Minimal complete definition

frameSyntax

Associated Types

type Sql2003WindowFrameExpressionSyntax frame :: * Source #

type Sql2003WindowFrameOrderingSyntax frame :: * Source #

type Sql2003WindowFrameBoundsSyntax frame :: * 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 :: * 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 #

Minimal complete definition

fromToBoundSyntax

Associated Types

type Sql2003WindowFrameBoundsBoundSyntax bounds :: * 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 :: * 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 #

Minimal complete definition

unboundedSyntax, nrowsBoundSyntax

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

Minimal complete definition

lnE, expE, sqrtE, ceilE, floorE, powerE

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 #

Minimal complete definition

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

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

Minimal complete definition

firstValueE, lastValueE

Methods

firstValueE :: agg -> agg Source #

lastValueE :: agg -> agg Source #

class IsSql99AggregationExpressionSyntax agg => IsSql2003NtileExpressionSyntax agg where Source #

Optional SQL2003 "NTILE function" T614 support

Minimal complete definition

ntileE

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

Minimal complete definition

nthValueE

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

Minimal complete definition

leadE, lagE

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

Minimal complete definition

bigIntType

Methods

bigIntType :: dataType Source #

Instances
IsSql2008BigIntDataTypeSyntax DataType Source # 
Instance details

Defined in Database.Beam.Backend.SQL.AST

Methods

bigIntType :: DataType Source #

type Sql2003ExpressionSanityCheck syntax = syntax ~ Sql2003WindowFrameExpressionSyntax (Sql2003ExpressionWindowFrameSyntax syntax) Source #