hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Langs.Sql.Ansi

Description

A subset of ANSI SQL:2003, capturing selected productions of the BNF grammar provided at https://ronsavage.github.io/SQL/sql-2003-2.bnf.html, which is based on the Final Committee Draft (FCD) of ISO/IEC 9075-2:2003

Documentation

newtype ApproximateNumericLiteral Source #

data NationalCharacterStringLiteral Source #

Instances

Instances details
Read NationalCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show NationalCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq NationalCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord NationalCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

newtype PathResolvedUserDefinedTypeName Source #

Instances

Instances details
Read PathResolvedUserDefinedTypeName Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show PathResolvedUserDefinedTypeName Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq PathResolvedUserDefinedTypeName Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord PathResolvedUserDefinedTypeName Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data UnicodeCharacterStringLiteral Source #

Instances

Instances details
Read UnicodeCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show UnicodeCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq UnicodeCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord UnicodeCharacterStringLiteral Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ApproximateNumericType Source #

data ArrayValueConstructor Source #

data ArrayValueConstructorByQuery Source #

Instances

Instances details
Read ArrayValueConstructorByQuery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ArrayValueConstructorByQuery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ArrayValueConstructorByQuery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ArrayValueConstructorByQuery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ArrayValueConstructorByEnumeration Source #

Instances

Instances details
Read ArrayValueConstructorByEnumeration Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ArrayValueConstructorByEnumeration Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ArrayValueConstructorByEnumeration Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ArrayValueConstructorByEnumeration Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data AttributeOrMethodReference Source #

data BinaryLargeObjectStringType Source #

Instances

Instances details
Read BinaryLargeObjectStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show BinaryLargeObjectStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq BinaryLargeObjectStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord BinaryLargeObjectStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data BooleanTest_Sequence_Option Source #

Instances

Instances details
Read BooleanTest_Sequence_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show BooleanTest_Sequence_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq BooleanTest_Sequence_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord BooleanTest_Sequence_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data BooleanValueExpression Source #

data BooleanValueExpression_Or Source #

data CharacterSetSpecification Source #

data CharacterStringType Source #

data CollectionValueConstructor Source #

data CollectionValueExpression Source #

data ColumnConstraintDefinition Source #

data ColumnDefinition Source #

data ColumnDefinition_TypeOrDomain_Option Source #

Instances

Instances details
Read ColumnDefinition_TypeOrDomain_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ColumnDefinition_TypeOrDomain_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ColumnDefinition_TypeOrDomain_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ColumnDefinition_TypeOrDomain_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ColumnDefinition_DefaultOrIdentityOrGeneration_Option Source #

Instances

Instances details
Read ColumnDefinition_DefaultOrIdentityOrGeneration_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ColumnDefinition_DefaultOrIdentityOrGeneration_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ColumnDefinition_DefaultOrIdentityOrGeneration_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ColumnDefinition_DefaultOrIdentityOrGeneration_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data CommonValueExpression Source #

data ContextuallyTypedRowValueExpression Source #

Instances

Instances details
Read ContextuallyTypedRowValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ContextuallyTypedRowValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ContextuallyTypedRowValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ContextuallyTypedRowValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ContextuallyTypedRowValueConstructor Source #

Instances

Instances details
Read ContextuallyTypedRowValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ContextuallyTypedRowValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ContextuallyTypedRowValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ContextuallyTypedRowValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ContextuallyTypedRowValueExpressionList Source #

Instances

Instances details
Read ContextuallyTypedRowValueExpressionList Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ContextuallyTypedRowValueExpressionList Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ContextuallyTypedRowValueExpressionList Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ContextuallyTypedRowValueExpressionList Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

newtype ContextuallyTypedTableValueConstructor Source #

Instances

Instances details
Read ContextuallyTypedTableValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ContextuallyTypedTableValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ContextuallyTypedTableValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ContextuallyTypedTableValueConstructor Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ExactNumericType Source #

data ExactNumericType_Numeric_Option Source #

Instances

Instances details
Read ExactNumericType_Numeric_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ExactNumericType_Numeric_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ExactNumericType_Numeric_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ExactNumericType_Numeric_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ExactNumericType_Decimal_Option Source #

Instances

Instances details
Read ExactNumericType_Decimal_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ExactNumericType_Decimal_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ExactNumericType_Decimal_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ExactNumericType_Decimal_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ExactNumericType_Dec_Option Source #

Instances

Instances details
Read ExactNumericType_Dec_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ExactNumericType_Dec_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ExactNumericType_Dec_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ExactNumericType_Dec_Option Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data GeneralValueSpecification Source #

data IdentityColumnSpecification Source #

Instances

Instances details
Read IdentityColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show IdentityColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq IdentityColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord IdentityColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data InsertColumnsAndSource Source #

newtype Length Source #

Constructors

Length 

Instances

Instances details
Read Length Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show Length Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq Length Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Methods

(==) :: Length -> Length -> Bool #

(/=) :: Length -> Length -> Bool #

Ord Length Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data MultisetElementReference Source #

data MultisetValueConstructor Source #

data NationalCharacterStringType Source #

Instances

Instances details
Read NationalCharacterStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show NationalCharacterStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq NationalCharacterStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord NationalCharacterStringType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

newtype ParenthesizedValueExpression Source #

Instances

Instances details
Read ParenthesizedValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show ParenthesizedValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq ParenthesizedValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord ParenthesizedValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data PredefinedType_String Source #

data PredefinedType_NationalString Source #

Instances

Instances details
Read PredefinedType_NationalString Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show PredefinedType_NationalString Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq PredefinedType_NationalString Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord PredefinedType_NationalString Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data RowType Source #

Constructors

RowType 

Instances

Instances details
Read RowType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show RowType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq RowType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Methods

(==) :: RowType -> RowType -> Bool #

(/=) :: RowType -> RowType -> Bool #

Ord RowType Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data NonparenthesizedValueExpressionPrimary Source #

Instances

Instances details
Read NonparenthesizedValueExpressionPrimary Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show NonparenthesizedValueExpressionPrimary Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq NonparenthesizedValueExpressionPrimary Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord NonparenthesizedValueExpressionPrimary Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

newtype ReferenceValueExpression Source #

newtype Scale Source #

Constructors

Scale 

Instances

Instances details
Read Scale Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show Scale Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Methods

showsPrec :: Int -> Scale -> ShowS #

show :: Scale -> String #

showList :: [Scale] -> ShowS #

Eq Scale Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Methods

(==) :: Scale -> Scale -> Bool #

(/=) :: Scale -> Scale -> Bool #

Ord Scale Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Methods

compare :: Scale -> Scale -> Ordering #

(<) :: Scale -> Scale -> Bool #

(<=) :: Scale -> Scale -> Bool #

(>) :: Scale -> Scale -> Bool #

(>=) :: Scale -> Scale -> Bool #

max :: Scale -> Scale -> Scale #

min :: Scale -> Scale -> Scale #

data SelfReferencingColumnSpecification Source #

Instances

Instances details
Read SelfReferencingColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show SelfReferencingColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq SelfReferencingColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord SelfReferencingColumnSpecification Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data SetFunctionSpecification Source #

newtype Subquery Source #

Constructors

Subquery 

Instances

Instances details
Read Subquery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show Subquery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq Subquery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord Subquery Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data TableConstraintDefinition Source #

data TableContentsSource_Subtable Source #

Instances

Instances details
Read TableContentsSource_Subtable Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show TableContentsSource_Subtable Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq TableContentsSource_Subtable Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord TableContentsSource_Subtable Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data UnsignedNumericLiteral Source #

data UnsignedValueSpecification Source #

newtype UserDefinedTypeValueExpression Source #

Instances

Instances details
Read UserDefinedTypeValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Show UserDefinedTypeValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Eq UserDefinedTypeValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

Ord UserDefinedTypeValueExpression Source # 
Instance details

Defined in Hydra.Langs.Sql.Ansi

data ValueExpressionPrimary Source #