Database.Beam.Backend.SQL.SQL99

Finally tagless extension of SQL92 syntaxes for SQL99

Documentation

module Database.Beam.Backend.SQL.SQL92

class IsSql92ExpressionSyntax expr => IsSql99FunctionExpressionSyntax expr where

Methods

functionCallE :: expr -> [expr] -> expr

functionNameE :: Text -> expr

Instances

IsSql99FunctionExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

functionCallE :: Expression -> [Expression] -> Expression

functionNameE :: Text -> Expression

IsSql99FunctionExpressionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Methods

functionCallE :: SqlSyntaxBuilder -> [SqlSyntaxBuilder] -> SqlSyntaxBuilder

functionNameE :: Text -> SqlSyntaxBuilder

class IsSql99FunctionExpressionSyntax expr => IsSql99ExpressionSyntax expr where

Methods

distinctE :: Sql92ExpressionSelectSyntax expr -> expr

similarToE :: expr -> expr -> expr

instanceFieldE :: expr -> Text -> expr

refFieldE :: expr -> Text -> expr

Instances

IsSql99ExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

distinctE :: Sql92ExpressionSelectSyntax Expression -> Expression

similarToE :: Expression -> Expression -> Expression

instanceFieldE :: Expression -> Text -> Expression

refFieldE :: Expression -> Text -> Expression

IsSql99ExpressionSyntax SqlSyntaxBuilder

Defined in Database.Beam.Backend.SQL.Builder

Methods

distinctE :: Sql92ExpressionSelectSyntax SqlSyntaxBuilder -> SqlSyntaxBuilder

similarToE :: SqlSyntaxBuilder -> SqlSyntaxBuilder -> SqlSyntaxBuilder

instanceFieldE :: SqlSyntaxBuilder -> Text -> SqlSyntaxBuilder

refFieldE :: SqlSyntaxBuilder -> Text -> SqlSyntaxBuilder

class IsSql92ExpressionSyntax expr => IsSql99ConcatExpressionSyntax expr where

Methods

concatE :: [expr] -> expr

class IsSql92AggregationExpressionSyntax expr => IsSql99AggregationExpressionSyntax expr where

Methods

everyE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr

someE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr

anyE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr

Instances

IsSql99AggregationExpressionSyntax Expression

Defined in Database.Beam.Backend.SQL.AST

Methods

everyE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

someE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

anyE :: Maybe (Sql92AggregationSetQuantifierSyntax Expression) -> Expression -> Expression

class IsSql92SelectSyntax syntax => IsSql99CommonTableExpressionSelectSyntax syntax where

Associated Types

type Sql99SelectCTESyntax syntax :: *

Methods

withSyntax :: [Sql99SelectCTESyntax syntax] -> syntax -> syntax

class IsSql99CommonTableExpressionSyntax syntax where

Associated Types

type Sql99CTESelectSyntax syntax :: *

Methods

cteSubquerySyntax :: Text -> [Text] -> Sql99CTESelectSyntax syntax -> syntax

class IsSql99CommonTableExpressionSelectSyntax syntax => IsSql99RecursiveCommonTableExpressionSelectSyntax syntax where

Methods

withRecursiveSyntax :: [Sql99SelectCTESyntax syntax] -> syntax -> syntax

class IsSql92SelectSyntax select => IsSql99SelectSyntax select

class IsSql92DataTypeSyntax dataType => IsSql99DataTypeSyntax dataType where

Methods

characterLargeObjectType :: dataType

binaryLargeObjectType :: dataType

booleanType :: dataType

arrayType :: dataType -> Int -> dataType

rowType :: [(Text, dataType)] -> dataType

Instances

IsSql99DataTypeSyntax DataType

Defined in Database.Beam.Backend.SQL.AST

Methods

characterLargeObjectType :: DataType

binaryLargeObjectType :: DataType

booleanType :: DataType

arrayType :: DataType -> Int -> DataType

rowType :: [(Text, DataType)] -> DataType