hssqlppp-0.0.6: Sql parser and type checker Source code Contents Index

Database.HsSqlPpp.TypeChecking.Ast

Contents Main nodes Components Selects dml ddl functions typedefs operator utils type aliases

Description

This module contains the ast node data types.

Synopsis

type StatementList = [Statement] data Statement = Assignment Annotation String Expression | CaseStatement Annotation Expression ExpressionListStatementListPairList StatementList | ContinueStatement Annotation | Copy Annotation String StringList CopySource | CopyData Annotation String | CreateDomain Annotation String TypeName (Maybe Expression) | CreateFunction Annotation Language String ParamDefList TypeName String FnBody Volatility | CreateTable Annotation String AttributeDefList ConstraintList | CreateTableAs Annotation String SelectExpression | CreateType Annotation String TypeAttributeDefList | CreateView Annotation String SelectExpression | Delete Annotation String Where (Maybe SelectList) | DropFunction Annotation IfExists StringStringListPairList Cascade | DropSomething Annotation DropType IfExists StringList Cascade | Execute Annotation Expression | ExecuteInto Annotation Expression StringList | ForIntegerStatement Annotation String Expression Expression StatementList | ForSelectStatement Annotation String SelectExpression StatementList | If Annotation ExpressionStatementListPairList StatementList | Insert Annotation String StringList SelectExpression (Maybe SelectList) | NullStatement Annotation | Perform Annotation Expression | Raise Annotation RaiseType String ExpressionList | Return Annotation (Maybe Expression) | ReturnNext Annotation Expression | ReturnQuery Annotation SelectExpression | SelectStatement Annotation SelectExpression | Truncate Annotation StringList RestartIdentity Cascade | Update Annotation String SetClauseList Where (Maybe SelectList) | WhileStatement Annotation Expression StatementList data Expression = BooleanLit Annotation Bool | Case Annotation CaseExpressionListExpressionPairList MaybeExpression | CaseSimple Annotation Expression CaseExpressionListExpressionPairList MaybeExpression | Cast Annotation Expression TypeName | Exists Annotation SelectExpression | FloatLit Annotation Double | FunCall Annotation String ExpressionList | Identifier Annotation String | InPredicate Annotation Expression Bool InList | IntegerLit Annotation Integer | NullLit Annotation | PositionalArg Annotation Integer | ScalarSubQuery Annotation SelectExpression | StringLit Annotation String String | WindowFn Annotation Expression ExpressionList ExpressionList Direction data SelectExpression = CombineSelect Annotation CombineType SelectExpression SelectExpression | Select Annotation Distinct SelectList MTableRef Where ExpressionList MExpression ExpressionList Direction MExpression MExpression | Values Annotation ExpressionListList data SelectList = SelectList SelectItemList StringList data SelectItem = SelExp Expression | SelectItem Expression String data TableRef = JoinedTref Annotation TableRef Natural JoinType TableRef OnExpr | SubTref Annotation SelectExpression String | Tref Annotation String | TrefAlias Annotation String String | TrefFun Annotation Expression | TrefFunAlias Annotation Expression String data JoinExpression = JoinOn Expression | JoinUsing StringList data JoinType = Cross | FullOuter | Inner | LeftOuter | RightOuter data Natural = Natural | Unnatural data CombineType = Except | Intersect | Union | UnionAll data Direction = Asc | Desc data Distinct = Distinct | Dupes data InList = InList ExpressionList | InSelect SelectExpression data SetClause = RowSetClause StringList ExpressionList | SetClause String Expression data CopySource = CopyFilename String | Stdin data RestartIdentity = ContinueIdentity | RestartIdentity data AttributeDef = AttributeDef String TypeName (Maybe Expression) RowConstraintList data RowConstraint = NotNullConstraint | NullConstraint | RowCheckConstraint Expression | RowPrimaryKeyConstraint | RowReferenceConstraint String (Maybe String) Cascade Cascade | RowUniqueConstraint data Constraint = CheckConstraint Expression | PrimaryKeyConstraint StringList | ReferenceConstraint StringList String StringList Cascade Cascade | UniqueConstraint StringList data TypeAttributeDef = TypeAttDef String TypeName data TypeName = ArrayTypeName TypeName | PrecTypeName String Integer | SetOfTypeName TypeName | SimpleTypeName String data DropType = Domain | Table | Type | View data IfExists = IfExists | Require data Cascade = Cascade | Restrict data FnBody = PlpgsqlFnBody VarDefList StatementList | SqlFnBody StatementList data ParamDef = ParamDef String TypeName | ParamDefTp TypeName data VarDef = VarDef String TypeName (Maybe Expression) data RaiseType = RError | RException | RNotice data Volatility = Immutable | Stable | Volatile data Language = Plpgsql | Sql type ExpressionListStatementListPairList = [ExpressionListStatementListPair] type ExpressionListStatementListPair = (ExpressionList, StatementList) type ExpressionList = [Expression] type StringList = [String] type ParamDefList = [ParamDef] type AttributeDefList = [AttributeDef] type ConstraintList = [Constraint] type TypeAttributeDefList = [TypeAttributeDef] type Where = Maybe Expression type StringStringListPairList = [StringStringListPair] type StringStringListPair = (String, StringList) type ExpressionStatementListPairList = [ExpressionStatementListPair] type SetClauseList = [SetClause] type CaseExpressionListExpressionPairList = [CaseExpressionListExpressionPair] type MaybeExpression = Maybe Expression type MTableRef = Maybe TableRef type ExpressionListList = [ExpressionList] type SelectItemList = [SelectItem] type OnExpr = Maybe JoinExpression type RowConstraintList = [RowConstraint] type VarDefList = [VarDef] type ExpressionStatementListPair = (Expression, StatementList) type MExpression = Maybe Expression type CaseExpressionListExpressionPair = (CaseExpressionList, Expression) type CaseExpressionList = [Expression] data OperatorType = BinaryOp | PrefixOp | PostfixOp getOperatorType :: String -> OperatorType typeSmallInt :: Type typeBigInt :: Type typeInt :: Type typeNumeric :: Type typeFloat4 :: Type typeFloat8 :: Type typeVarChar :: Type typeChar :: Type typeBool :: Type

Main nodes

type StatementList = [Statement] Source

data Statement Source

Constructors Assignment Annotation String Expression CaseStatement Annotation Expression ExpressionListStatementListPairList StatementList ContinueStatement Annotation Copy Annotation String StringList CopySource CopyData Annotation String CreateDomain Annotation String TypeName (Maybe Expression) CreateFunction Annotation Language String ParamDefList TypeName String FnBody Volatility CreateTable Annotation String AttributeDefList ConstraintList CreateTableAs Annotation String SelectExpression CreateType Annotation String TypeAttributeDefList CreateView Annotation String SelectExpression Delete Annotation String Where (Maybe SelectList) DropFunction Annotation IfExists StringStringListPairList Cascade DropSomething Annotation DropType IfExists StringList Cascade Execute Annotation Expression ExecuteInto Annotation Expression StringList ForIntegerStatement Annotation String Expression Expression StatementList ForSelectStatement Annotation String SelectExpression StatementList If Annotation ExpressionStatementListPairList StatementList Insert Annotation String StringList SelectExpression (Maybe SelectList) NullStatement Annotation Perform Annotation Expression Raise Annotation RaiseType String ExpressionList Return Annotation (Maybe Expression) ReturnNext Annotation Expression ReturnQuery Annotation SelectExpression SelectStatement Annotation SelectExpression Truncate Annotation StringList RestartIdentity Cascade Update Annotation String SetClauseList Where (Maybe SelectList) WhileStatement Annotation Expression StatementList Instances Eq Statement Show Statement Annotated Statement

data Expression Source

Constructors BooleanLit Annotation Bool Case Annotation CaseExpressionListExpressionPairList MaybeExpression CaseSimple Annotation Expression CaseExpressionListExpressionPairList MaybeExpression Cast Annotation Expression TypeName Exists Annotation SelectExpression FloatLit Annotation Double FunCall Annotation String ExpressionList Identifier Annotation String InPredicate Annotation Expression Bool InList IntegerLit Annotation Integer NullLit Annotation PositionalArg Annotation Integer ScalarSubQuery Annotation SelectExpression StringLit Annotation String String WindowFn Annotation Expression ExpressionList ExpressionList Direction Instances Eq Expression Show Expression Annotated Expression

data SelectExpression Source

Constructors CombineSelect Annotation CombineType SelectExpression SelectExpression Select Annotation Distinct SelectList MTableRef Where ExpressionList MExpression ExpressionList Direction MExpression MExpression Values Annotation ExpressionListList Instances Eq SelectExpression Show SelectExpression Annotated SelectExpression

Components

Selects

data SelectList Source

Constructors SelectList SelectItemList StringList Instances Eq SelectList Show SelectList

data SelectItem Source

Constructors SelExp Expression SelectItem Expression String Instances Eq SelectItem Show SelectItem

data TableRef Source

Constructors JoinedTref Annotation TableRef Natural JoinType TableRef OnExpr SubTref Annotation SelectExpression String Tref Annotation String TrefAlias Annotation String String TrefFun Annotation Expression TrefFunAlias Annotation Expression String Instances Eq TableRef Show TableRef Annotated TableRef

data JoinExpression Source

Constructors JoinOn Expression JoinUsing StringList Instances Eq JoinExpression Show JoinExpression

data JoinType Source

Constructors Cross FullOuter Inner LeftOuter RightOuter Instances Eq JoinType Show JoinType

data Natural Source

Constructors Natural Unnatural Instances Eq Natural Show Natural

data CombineType Source

Constructors Except Intersect Union UnionAll Instances Eq CombineType Show CombineType

data Direction Source

Constructors Asc Desc Instances Eq Direction Show Direction

data Distinct Source

Constructors Distinct Dupes Instances Eq Distinct Show Distinct

data InList Source

Constructors InList ExpressionList InSelect SelectExpression Instances Eq InList Show InList

dml

data SetClause Source

Constructors RowSetClause StringList ExpressionList SetClause String Expression Instances Eq SetClause Show SetClause

data CopySource Source

Constructors CopyFilename String Stdin Instances Eq CopySource Show CopySource

data RestartIdentity Source

Constructors ContinueIdentity RestartIdentity Instances Eq RestartIdentity Show RestartIdentity

ddl

data AttributeDef Source

Constructors AttributeDef String TypeName (Maybe Expression) RowConstraintList Instances Eq AttributeDef Show AttributeDef

data RowConstraint Source

Constructors NotNullConstraint NullConstraint RowCheckConstraint Expression RowPrimaryKeyConstraint RowReferenceConstraint String (Maybe String) Cascade Cascade RowUniqueConstraint Instances Eq RowConstraint Show RowConstraint

data Constraint Source

Constructors CheckConstraint Expression PrimaryKeyConstraint StringList ReferenceConstraint StringList String StringList Cascade Cascade UniqueConstraint StringList Instances Eq Constraint Show Constraint

data TypeAttributeDef Source

Constructors TypeAttDef String TypeName Instances Eq TypeAttributeDef Show TypeAttributeDef

data TypeName Source

Constructors ArrayTypeName TypeName PrecTypeName String Integer SetOfTypeName TypeName SimpleTypeName String Instances Eq TypeName Show TypeName

data DropType Source

Constructors Domain Table Type View Instances Eq DropType Show DropType

data IfExists Source

Constructors IfExists Require Instances Eq IfExists Show IfExists

data Cascade Source

Constructors Cascade Restrict Instances Eq Cascade Show Cascade

functions

data FnBody Source

Constructors PlpgsqlFnBody VarDefList StatementList SqlFnBody StatementList Instances Eq FnBody Show FnBody

data ParamDef Source

Constructors ParamDef String TypeName ParamDefTp TypeName Instances Eq ParamDef Show ParamDef

data VarDef Source

Constructors VarDef String TypeName (Maybe Expression) Instances Eq VarDef Show VarDef

data RaiseType Source

Constructors RError RException RNotice Instances Eq RaiseType Show RaiseType

data Volatility Source

Constructors Immutable Stable Volatile Instances Eq Volatility Show Volatility

data Language Source

Constructors Plpgsql Sql Instances Eq Language Show Language

typedefs

type ExpressionListStatementListPairList = [ExpressionListStatementListPair] Source

type ExpressionListStatementListPair = (ExpressionList, StatementList) Source

type ExpressionList = [Expression] Source

type StringList = [String] Source

type ParamDefList = [ParamDef] Source

type AttributeDefList = [AttributeDef] Source

type ConstraintList = [Constraint] Source

type TypeAttributeDefList = [TypeAttributeDef] Source

type Where = Maybe Expression Source

type StringStringListPairList = [StringStringListPair] Source

type StringStringListPair = (String, StringList) Source

type ExpressionStatementListPairList = [ExpressionStatementListPair] Source

type SetClauseList = [SetClause] Source

type CaseExpressionListExpressionPairList = [CaseExpressionListExpressionPair] Source

type MaybeExpression = Maybe Expression Source

type MTableRef = Maybe TableRef Source

type ExpressionListList = [ExpressionList] Source

type SelectItemList = [SelectItem] Source

type OnExpr = Maybe JoinExpression Source

type RowConstraintList = [RowConstraint] Source

type VarDefList = [VarDef] Source

type ExpressionStatementListPair = (Expression, StatementList) Source

type MExpression = Maybe Expression Source

type CaseExpressionListExpressionPair = (CaseExpressionList, Expression) Source

type CaseExpressionList = [Expression] Source

operator utils

data OperatorType Source

Constructors BinaryOp PrefixOp PostfixOp Instances Eq OperatorType Show OperatorType

getOperatorType :: String -> OperatorType Source

type aliases

aliases for all the sql types with multiple names these give you the canonical names

typeSmallInt :: Type Source

typeBigInt :: Type Source

typeInt :: Type Source

typeNumeric :: Type Source

typeFloat4 :: Type Source

typeFloat8 :: Type Source

typeVarChar :: Type Source

typeChar :: Type Source

typeBool :: Type Source

Produced by Haddock version 2.6.0