sql-parser-0.1.0.0: Simple SQL Parser

CopyrightJean Carlo Giambastiani Lopes 2017
LicenseMIT
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Language.Sql.AST

Description

A SQL parser implementation of the minimum required for a ODBC driver.

EBNF:

character = ? any character ?;

letter = lower-case-letter | upper-case-letter;

lower-case-letter = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' 
                  | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' 
                  | 'u' | 'v' | 'w' | 'x' | 'y' | 'z' ;

upper-case-letter = 'A' | 'B' | 'C' | 'D' | 'E' | 'F' | 'G' | 'H' | 'I' | 'J' 
                  | 'K' | 'L' | 'M' | 'N' | 'O' | 'P' | 'Q' | 'R' | 'S' | 'T'
                  | 'U' | 'V' | 'W' | 'X' | 'Y' | 'Z' ;

digit = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' ;

Synopsis

Documentation

data MultiplicationOperator Source #

EBNF:

multiplication-operator = '*' | '/' ;

Constructors

Multiply 
Divide 

Instances

data Sign Source #

EBNF:

sign = '+' | '-' ;

Constructors

Plus 
Minus 

Instances

data DynamicParameter Source #

EBNF:

dynamic-parameter = '?' ;

Constructors

DynamicParameter 

Instances

data ComparisonOperator Source #

EBNF:

comparison-operator = '<' | '>' | '<=' | '>=' | '=' | '<>' ;

Constructors

LessThan 
GreaterThan 
LessOrEqualTo 
GreaterOrEqualTo 
Equality 
Inequality 

Instances

newtype UnsignedInteger Source #

EBNF:

unsigned-integer = digit, { digit };

Constructors

UnsignedInteger Int 

Instances

newtype Literal Source #

EBNF:

literal = "'", { character - "'" | "''" }, "'";

Constructors

Literal String 

Instances

newtype UserDefinedName Source #

EBNF:

user-defined-name = letter, { digit | letter | '_' };

Constructors

UserDefinedName String 

Instances

newtype TableIdentifier Source #

EBNF:

table-identifier = user-defined-name;

Constructors

TableIdentifier UserDefinedName 

Instances

newtype BaseTableIdentifier Source #

EBNF:

base-table-identifier = user-defined-name;

Constructors

BaseTableIdentifier UserDefinedName 

Instances

newtype ColumnIdentifier Source #

EBNF:

column-identifier = user-defined-name;

Constructors

ColumnIdentifier UserDefinedName 

Instances

newtype TableName Source #

EBNF:

table-name = table-identifier;

Constructors

TableName TableIdentifier 

Instances

data ColumnName Source #

EBNF:

column-name = [ table-name, '.' ], column-identifier;

Constructors

ColumnName (Maybe TableName) ColumnIdentifier 

Instances

newtype BaseTableName Source #

EBNF:

base-table-name = base-table-identifier;

Constructors

BaseTableName BaseTableIdentifier 

Instances

newtype TableReference Source #

EBNF:

table-reference = table-name;

Constructors

TableReference TableName 

Instances

newtype TableReferenceList Source #

EBNF:

table-reference-list = table-reference,  { ',', table-reference };

Constructors

TableReferenceList (NonEmpty TableReference) 

Instances

data SortOrdering Source #

EBNF:

sort-ordering = 'ASC' | 'DESC' ;

Constructors

Ascending 
Descending 

Instances

data SortSpecification Source #

EBNF:

sort-specification = (unsigned-integer | column-name), [ sort-ordering ];

Constructors

SortByColumnPosition UnsignedInteger (Maybe SortOrdering) 
SortByColumnName ColumnName (Maybe SortOrdering) 

Instances

newtype OrderByClause Source #

EBNF:

order-by-clause = 'ORDER', 'BY', sort-specification, { ',', sort-specification };

Constructors

OrderByClause (NonEmpty SortSpecification) 

Instances

data DataType Source #

EBNF:

data-type = 'char', '(', unsigned-integer, ')'
          | 'varchar', '(', unsigned-integer, ')'
          ;

Constructors

Char UnsignedInteger 
VarChar UnsignedInteger 

Instances

data Expression Source #

EBNF:

expression = term, [ expression-op ];

Constructors

Expression Term (Maybe ExpressionOp) 

Instances

data ExpressionOp Source #

EBNF:

expression-op = sign, expression;

Constructors

ExpressionOp Sign Expression 

Instances

data Factor Source #

EBNF:

factor = [ sign ], primary;

Constructors

Factor (Maybe Sign) Primary 

Instances

data Term Source #

EBNF:

term = factor, [ term-op ]

Constructors

Term Factor (Maybe TermOp) 

Instances

data TermOp Source #

EBNF:

term-op = multiplication-operator, term

Constructors

TermOp MultiplicationOperator Term 

Instances

data Primary Source #

EBNF:

primary = column-name | dynamic-parameter | literal | '(', expression, ')';

Constructors

PrimaryColumnName ColumnName 
PrimaryDynamicParameter DynamicParameter 
PrimaryLiteral Literal 
PrimaryExpression Expression 

Instances

newtype SelectSubList Source #

EBNF:

select-sublist = expression;

Constructors

SelectSubList Expression 

Instances

data SelectList Source #

EBNF:

(* select-list cannot contain parameters *)
select-list = '*'
            | select-sublist, { ',', select-sublist }
            ;

Constructors

SelectAll 
SelectList (NonEmpty SelectSubList) 

Instances

data InsertValue Source #

EBNF:

insert-value = dynamic-parameter | literal | 'NULL' | 'USER' ;

Constructors

InsertDynamicParameter DynamicParameter 
InsertLiteral Literal 
InsertNull 
InsertUser 

Instances

data ComparisonPredicate Source #

EBNF:

comparison-predicate = expression, comparison-operator, expression;

Constructors

ComparisonPredicate Expression ComparisonOperator Expression 

Instances

data Not Source #

EBNF:

not = 'not';

Constructors

Not 

Instances

data BooleanFactor Source #

EBNF:

boolean-factor = [ not ], boolean-primary;

Constructors

BooleanFactor (Maybe Not) BooleanPrimary 

Instances

data BooleanPrimary Source #

EBNF:

boolean-primary = comparison-predicate
                | '(', search-condition, ')'
                ;

Constructors

BooleanPrimaryComparison ComparisonPredicate 
BooleanPrimarySearch SearchCondition 

Instances

data BooleanAnd Source #

EBNF:

boolean-and = 'and', boolean-term;

Constructors

BooleanAnd BooleanTerm 

Instances

data BooleanTerm Source #

EBNF:

boolean-term = boolean-factor, [ boolean-and ];

Constructors

BooleanTerm BooleanFactor (Maybe BooleanAnd) 

Instances

data BooleanOr Source #

EBNF:

boolean-or = 'or', search-condition;

Constructors

BooleanOr SearchCondition 

Instances

data SearchCondition Source #

EBNF:

search-condition = boolean-term, [ boolean-or ];

Constructors

SearchCondition BooleanTerm (Maybe BooleanOr) 

Instances

data Distinct Source #

EBNF:

distinct = 'DISTINCT';

Constructors

Distinct 

Instances

data ColumnAndType Source #

EBNF:

column-and-type = column-identifier, data-type;

Constructors

ColumnAndType ColumnIdentifier DataType 

Instances

data CreateTable Source #

EBNF:

create-table-statement = 'CREATE', 'TABLE', base-table-name, '(',
                             column-and-type, { ',', column-and-type }
                         ')'

Constructors

CreateTable BaseTableName (NonEmpty ColumnAndType) 

Instances

data Drop Source #

EBNF:

drop-table-statement = 'DROP', 'TABLE', base-table-name;

Constructors

Drop BaseTableName 

Instances

data Select Source #

EBNF:

select-statement = 'SELECT', [ distinct ], select-list,
                   'FROM' table-reference-list,
                   ['WHERE' search-condition],
                   [order-by-clause];

Constructors

Select (Maybe Distinct) SelectList TableReferenceList (Maybe SearchCondition) (Maybe OrderByClause) 

Instances

data Delete Source #

EBNF:

delete-statement-searched = 'DELETE', 'FROM', table-name
                          , [ 'WHERE', search-condition ];

Constructors

Delete TableName (Maybe SearchCondition) 

Instances

type ColumnIdList = NonEmpty ColumnIdentifier Source #

Type alias for: EBNF:

column-identifier, { ',', column-identifier }

type InsertValueList = NonEmpty InsertValue Source #

Type alias for: EBNF:

insert-value, { ',', insert-value }

data Insert Source #

EBNF:

insert-statement = 'INSERT', 'INTO', table-name
                 , [ '(', column-identifier, { ',', column-identifier } , ')' ],
                 , 'VALUES', '(', insert-value, { ',', insert-value } ')'

Constructors

Insert TableName (Maybe ColumnIdList) InsertValueList 

Instances

data UpdateValue Source #

EBNF:

update-value = expression | 'NULL';

Constructors

UpdateValueExpression Expression 
UpdateValueNull 

Instances

data UpdateColumn Source #

EBNF:

update-column = column-identifier, '=', update-value;

Constructors

UpdateColumn ColumnIdentifier UpdateValue 

Instances

type UpdateColumnList = NonEmpty UpdateColumn Source #

EBNF:

update-column-list = update-column, { ',', update-column };

data Update Source #

EBNF:

update-statement-searched = 'UPDATE', table-name
                          , 'SET', update-column-list
                          , [ 'WHERE', search-condition ]
                          ;

Constructors

Update TableName UpdateColumnList (Maybe SearchCondition) 

Instances

data Statement Source #

EBNF:

statement = create-table-statement
          | delete-statement-searched
          | drop-table-statement
          | insert-statement
          | select-statement
          | update-statement-searched
          ;

Constructors

CreateStatement CreateTable 
DeleteStatement Delete 
DropStatement Drop 
InsertStatement Insert 
SelectStatement Select 
UpdateStatement Update 

Instances

newtype StatementList Source #

EBNF:

statement-list = statenment, { ';', statement };

Constructors

StatementList (NonEmpty Statement) 

Instances