beam-core-0.7.2.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 #

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, 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

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

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

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

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

class IsSql2003WindowFrameBoundSyntax bound where Source #

Minimal complete definition

unboundedSyntax, nrowsBoundSyntax

Methods

unboundedSyntax :: bound Source #

nrowsBoundSyntax :: Int -> bound Source #

Instances

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, expE, sqrtE, ceilE, floorE :: expr -> expr Source #

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

Instances

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, stddevSampE, varPopE, varSampE :: Maybe (Sql92AggregationSetQuantifierSyntax agg) -> agg -> agg Source #

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

Instances

IsSql2003EnhancedNumericFunctionsAggregationExpressionSyntax Expression Source # 

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, 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

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

class IsSql99AggregationExpressionSyntax agg => IsSql2003LeadAndLagExpressionSyntax agg where Source #

Optional SQL2003 "LEAD and LAG function" T615 support

Minimal complete definition

leadE, lagE

Methods

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

Instances

class IsSql99DataTypeSyntax dataType => IsSql2008BigIntDataTypeSyntax dataType where Source #

Optional SQL2008 "BIGINT data type" T071 support

Minimal complete definition

bigIntType

Methods

bigIntType :: dataType Source #

Instances

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