Database.HsSqlPpp.Ast

Contents

• Main nodes
• Components
  • Selects
  • dml
  • ddl
  • functions
  • misc
  • typedefs

Description

Synopsis

• type StatementList = [Statement]
• data Statement
  • = AlterSequence Annotation Name Name
  • | AlterTable Annotation Name AlterTableActionList
  • | AntiStatement String
  • | Assignment Annotation Name ScalarExpr
  • | Block Annotation (Maybe String) VarDefList StatementList
  • | CaseStatement Annotation ScalarExprListStatementListPairList StatementList
  • | CaseStatementSimple Annotation ScalarExpr ScalarExprListStatementListPairList StatementList
  • | ContinueStatement Annotation (Maybe String)
  • | Copy Annotation Name [NameComponent] CopySource
  • | CopyData Annotation String
  • | CreateDomain Annotation Name TypeName String MaybeBoolExpr
  • | CreateFunction Annotation Name ParamDefList TypeName Replace Language FnBody Volatility
  • | CreateLanguage Annotation String
  • | CreateSequence Annotation Name Integer Integer Integer Integer Integer
  • | CreateTable Annotation Name AttributeDefList ConstraintList
  • | CreateTableAs Annotation Name QueryExpr
  • | CreateTrigger Annotation NameComponent TriggerWhen [TriggerEvent] Name TriggerFire Name ScalarExprList
  • | CreateType Annotation Name TypeAttributeDefList
  • | CreateView Annotation Name MaybeNameComponentList QueryExpr
  • | Delete Annotation Name TableRefList MaybeBoolExpr MaybeSelectList
  • | DropFunction Annotation IfExists NameTypeNameListPairList Cascade
  • | DropSomething Annotation DropType IfExists [Name] Cascade
  • | Execute Annotation ScalarExpr
  • | ExitStatement Annotation (Maybe String)
  • | ForIntegerStatement Annotation (Maybe String) NameComponent ScalarExpr ScalarExpr StatementList
  • | ForQueryStatement Annotation (Maybe String) NameComponent QueryExpr StatementList
  • | If Annotation ScalarExprStatementListPairList StatementList
  • | Insert Annotation Name [NameComponent] QueryExpr MaybeSelectList
  • | Into Annotation Bool [Name] Statement
  • | LoopStatement Annotation (Maybe String) StatementList
  • | Notify Annotation String
  • | NullStatement Annotation
  • | Perform Annotation ScalarExpr
  • | QueryStatement Annotation QueryExpr
  • | Raise Annotation RaiseType String ScalarExprList
  • | Return Annotation MaybeScalarExpr
  • | ReturnNext Annotation ScalarExpr
  • | ReturnQuery Annotation QueryExpr
  • | Set Annotation String [SetValue]
  • | Truncate Annotation [Name] RestartIdentity Cascade
  • | Update Annotation Name SetClauseList TableRefList MaybeBoolExpr MaybeSelectList
  • | WhileStatement Annotation (Maybe String) ScalarExpr StatementList
• data ScalarExpr
  • = AggregateFn Annotation Distinct ScalarExpr ScalarExprDirectionPairList
  • | AntiScalarExpr String
  • | BooleanLit Annotation Bool
  • | Case Annotation CaseScalarExprListScalarExprPairList MaybeScalarExpr
  • | CaseSimple Annotation ScalarExpr CaseScalarExprListScalarExprPairList MaybeScalarExpr
  • | Cast Annotation ScalarExpr TypeName
  • | Exists Annotation QueryExpr
  • | Extract Annotation ExtractField ScalarExpr
  • | FunCall Annotation Name ScalarExprList
  • | Identifier Annotation NameComponent
  • | InPredicate Annotation ScalarExpr Bool InList
  • | Interval Annotation String IntervalField (Maybe Int)
  • | LiftOperator Annotation String LiftFlavour ScalarExprList
  • | NullLit Annotation
  • | NumberLit Annotation String
  • | Placeholder Annotation
  • | PositionalArg Annotation Integer
  • | QIdentifier Annotation [NameComponent]
  • | QStar Annotation NameComponent
  • | ScalarSubQuery Annotation QueryExpr
  • | Star Annotation
  • | StringLit Annotation String
  • | TypedStringLit Annotation TypeName String
  • | WindowFn Annotation ScalarExpr ScalarExprList ScalarExprDirectionPairList FrameClause
• data QueryExpr
  • = CombineQueryExpr Annotation CombineType QueryExpr QueryExpr
  • | Select Annotation Distinct SelectList TableRefList MaybeBoolExpr ScalarExprList MaybeBoolExpr ScalarExprDirectionPairList MaybeScalarExpr MaybeScalarExpr
  • | Values Annotation ScalarExprListList
  • | WithQueryExpr Annotation WithQueryList QueryExpr
• data SelectList = SelectList Annotation SelectItemList
• data SelectItem
  • = SelExp Annotation ScalarExpr
  • | SelectItem Annotation ScalarExpr NameComponent
• data TableRef
  • = FunTref Annotation ScalarExpr TableAlias
  • | JoinTref Annotation TableRef Natural JoinType TableRef OnExpr TableAlias
  • | SubTref Annotation QueryExpr TableAlias
  • | Tref Annotation Name TableAlias
• data TableAlias
  • = FullAlias Annotation NameComponent [NameComponent]
  • | NoAlias Annotation
  • | TableAlias Annotation NameComponent
• data JoinExpr
  • = JoinOn Annotation ScalarExpr
  • | JoinUsing Annotation [NameComponent]
• data JoinType
  • = Inner
  • | LeftOuter
  • | RightOuter
  • | FullOuter
  • | Cross
• data Natural
  • = Natural
  • | Unnatural
• data CombineType
  • = Except
  • | Union
  • | Intersect
  • | UnionAll
• data Direction
  • = Asc
  • | Desc
• data Distinct
  • = Distinct
  • | Dupes
• data InList
  • = InList Annotation ScalarExprList
  • | InQueryExpr Annotation QueryExpr
• data LiftFlavour
  • = LiftAny
  • | LiftAll
• data FrameClause
  • = FrameUnboundedPreceding
  • | FrameUnboundedFull
  • | FrameRowsUnboundedPreceding
• type WithQueryList = [WithQuery]
• data WithQuery = WithQuery Annotation NameComponent (Maybe [NameComponent]) QueryExpr
• data IntervalField
  • = IntervalYear
  • | IntervalMonth
  • | IntervalDay
  • | IntervalHour
  • | IntervalMinute
  • | IntervalSecond
  • | IntervalYearToMonth
  • | IntervalDayToHour
  • | IntervalDayToMinute
  • | IntervalDayToSecond
  • | IntervalHourToMinute
  • | IntervalHourToSecond
  • | IntervalMinuteToSecond
• data ExtractField
  • = ExtractCentury
  • | ExtractDay
  • | ExtractDecade
  • | ExtractDow
  • | ExtractDoy
  • | ExtractEpoch
  • | ExtractHour
  • | ExtractIsodow
  • | ExtractIsoyear
  • | ExtractMicroseconds
  • | ExtractMillennium
  • | ExtractMilliseconds
  • | ExtractMinute
  • | ExtractMonth
  • | ExtractQuarter
  • | ExtractSecond
  • | ExtractTimezone
  • | ExtractTimezoneHour
  • | ExtractTimezoneMinute
  • | ExtractWeek
  • | ExtractYear
• data Name = Name Annotation [NameComponent]
• data NameComponent
  • = Nmc String
  • | QNmc String
• ncStr :: NameComponent -> String
• data CopySource
  • = CopyFilename String
  • | Stdin
• data RestartIdentity
  • = RestartIdentity
  • | ContinueIdentity
• data SetClause
  • = MultiSetClause Annotation [NameComponent] ScalarExpr
  • | SetClause Annotation NameComponent ScalarExpr
• data AttributeDef = AttributeDef Annotation NameComponent TypeName MaybeScalarExpr RowConstraintList
• data RowConstraint
  • = NotNullConstraint Annotation String
  • | NullConstraint Annotation String
  • | RowCheckConstraint Annotation String ScalarExpr
  • | RowPrimaryKeyConstraint Annotation String
  • | RowReferenceConstraint Annotation String Name (Maybe NameComponent) Cascade Cascade
  • | RowUniqueConstraint Annotation String
• data Constraint
  • = CheckConstraint Annotation String ScalarExpr
  • | PrimaryKeyConstraint Annotation String [NameComponent]
  • | ReferenceConstraint Annotation String [NameComponent] Name [NameComponent] Cascade Cascade
  • | UniqueConstraint Annotation String [NameComponent]
• data AlterTableAction
  • = AddConstraint Annotation Constraint
  • | AlterColumnDefault Annotation NameComponent ScalarExpr
• data TypeAttributeDef = TypeAttDef Annotation NameComponent TypeName
• data TypeName
  • = ArrayTypeName Annotation TypeName
  • | Prec2TypeName Annotation String Integer Integer
  • | PrecTypeName Annotation String Integer
  • | SetOfTypeName Annotation TypeName
  • | SimpleTypeName Annotation String
• data DropType
  • = Table
  • | Domain
  • | View
  • | Type
• data IfExists
  • = Require
  • | IfExists
• data Replace
  • = Replace
  • | NoReplace
• data Cascade
  • = Cascade
  • | Restrict
• data TriggerWhen
  • = TriggerBefore
  • | TriggerAfter
• data TriggerEvent
  • = TInsert
  • | TUpdate
  • | TDelete
  • | AntiTriggerEvent String
• data TriggerFire
  • = EachRow
  • | EachStatement
• data FnBody
  • = PlpgsqlFnBody Annotation Statement
  • | SqlFnBody Annotation StatementList
• data ParamDef
  • = ParamDef Annotation NameComponent TypeName
  • | ParamDefTp Annotation TypeName
• data VarDef
  • = ParamAlias Annotation NameComponent Integer
  • | VarAlias Annotation NameComponent Name
  • | VarDef Annotation NameComponent TypeName (Maybe ScalarExpr)
• data RaiseType
  • = RNotice
  • | RException
  • | RError
• data Volatility
  • = Volatile
  • | Stable
  • | Immutable
• data Language
  • = Sql
  • | Plpgsql
• data SetValue
  • = SetStr Annotation String
  • | SetId Annotation String
  • | SetNum Annotation Double
• type ScalarExprListStatementListPairList = [ScalarExprListStatementListPair]
• type ScalarExprListStatementListPair = (ScalarExprList, StatementList)
• type ScalarExprList = [ScalarExpr]
• type MaybeSelectList = Maybe SelectList
• type ParamDefList = [ParamDef]
• type AttributeDefList = [AttributeDef]
• type ConstraintList = [Constraint]
• type TypeAttributeDefList = [TypeAttributeDef]
• type TypeNameList = [TypeName]
• type NameTypeNameListPair = (Name, TypeNameList)
• type NameTypeNameListPairList = [NameTypeNameListPair]
• type ScalarExprStatementListPairList = [ScalarExprStatementListPair]
• type CaseScalarExprListScalarExprPairList = [CaseScalarExprListScalarExprPair]
• type MaybeScalarExpr = Maybe ScalarExpr
• type MaybeBoolExpr = Maybe ScalarExpr
• type TableRefList = [TableRef]
• type ScalarExprListList = [ScalarExprList]
• type SelectItemList = [SelectItem]
• type OnExpr = Maybe JoinExpr
• type RowConstraintList = [RowConstraint]
• type VarDefList = [VarDef]
• type ScalarExprStatementListPair = (ScalarExpr, StatementList)
• type CaseScalarExprListScalarExprPair = (ScalarExprList, ScalarExpr)
• type ScalarExprDirectionPair = (ScalarExpr, Direction)
• type ScalarExprDirectionPairList = [ScalarExprDirectionPair]
• type AlterTableActionList = [AlterTableAction]
• type SetClauseList = [SetClause]

Main nodes

Components

Selects

dml

ddl

functions

misc

typedefs