Safe Haskell | None |
---|---|
Language | Haskell2010 |
Finally tagless extension of SQL92 syntaxes for SQL99
Documentation
class IsSql92ExpressionSyntax expr => IsSql99FunctionExpressionSyntax expr where Source #
functionCallE :: expr -> [expr] -> expr Source #
functionNameE :: Text -> expr Source #
Instances
class IsSql99FunctionExpressionSyntax expr => IsSql99ExpressionSyntax expr where Source #
distinctE :: Sql92ExpressionSelectSyntax expr -> expr Source #
similarToE :: expr -> expr -> expr Source #
instanceFieldE :: expr -> Text -> expr Source #
Instances
class IsSql92ExpressionSyntax expr => IsSql99ConcatExpressionSyntax expr where Source #
class IsSql92AggregationExpressionSyntax expr => IsSql99AggregationExpressionSyntax expr where Source #
everyE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #
someE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #
anyE :: Maybe (Sql92AggregationSetQuantifierSyntax expr) -> expr -> expr Source #
Instances
class IsSql92SelectSyntax syntax => IsSql99CommonTableExpressionSelectSyntax syntax where Source #
type Sql99SelectCTESyntax syntax :: Type Source #
withSyntax :: [Sql99SelectCTESyntax syntax] -> syntax -> syntax Source #
class IsSql99CommonTableExpressionSyntax syntax where Source #
type Sql99CTESelectSyntax syntax :: Type Source #
cteSubquerySyntax :: Text -> [Text] -> Sql99CTESelectSyntax syntax -> syntax Source #
class IsSql99CommonTableExpressionSelectSyntax syntax => IsSql99RecursiveCommonTableExpressionSelectSyntax syntax where Source #
withRecursiveSyntax :: [Sql99SelectCTESyntax syntax] -> syntax -> syntax Source #
class IsSql92SelectSyntax select => IsSql99SelectSyntax select Source #
class IsSql92DataTypeSyntax dataType => IsSql99DataTypeSyntax dataType where Source #
characterLargeObjectType :: dataType Source #
binaryLargeObjectType :: dataType Source #
booleanType :: dataType Source #
Instances
IsSql99DataTypeSyntax DataType Source # | |