Database.HsSqlPpp.Ast

Contents

• Name and TypeName
• Scalar expressions
• Query expressions
• Statements
  • dml components
  • ddl components
    • function ddl components
  • PlPgsql components
• utility
• misc

Description

Synopsis

• data Name
  • = Name Annotation [NameComponent]
  • | AntiName String
• data NameComponent
  • = Nmc String
  • | QNmc String
  • | AntiNameComponent String
• nameComponents :: Name -> [NameComponent]
• ncStr :: NameComponent -> String
• data TypeName
  • = SimpleTypeName Annotation Name
  • | PrecTypeName Annotation Name Integer
  • | Prec2TypeName Annotation Name Integer Integer
  • | ArrayTypeName Annotation TypeName
  • | SetOfTypeName Annotation TypeName
• data ScalarExpr
  • = NumberLit Annotation String
  • | StringLit Annotation String
  • | NullLit Annotation
  • | BooleanLit Annotation Bool
  • | TypedStringLit Annotation TypeName String
  • | Interval Annotation String IntervalField (Maybe Int)
  • | Extract Annotation ExtractField ScalarExpr
  • | PositionalArg Annotation Integer
  • | Placeholder Annotation
  • | Cast Annotation ScalarExpr TypeName
  • | ImplicitCast Annotation ScalarExpr TypeExtra
  • | Star Annotation
  • | QStar Annotation NameComponent
  • | Identifier Annotation Name
  • | Case Annotation CaseScalarExprListScalarExprPairList MaybeScalarExpr
  • | CaseSimple Annotation ScalarExpr CaseScalarExprListScalarExprPairList MaybeScalarExpr
  • | Exists Annotation QueryExpr
  • | App Annotation Name ScalarExprList
  • | PrefixOp Annotation Name ScalarExpr
  • | PostfixOp Annotation Name ScalarExpr
  • | BinaryOp Annotation Name ScalarExpr ScalarExpr
  • | SpecialOp Annotation Name ScalarExprList
  • | AggregateApp Annotation Distinct ScalarExpr ScalarExprDirectionPairList
  • | WindowApp Annotation ScalarExpr ScalarExprList ScalarExprDirectionPairList (Maybe FrameClause)
  • | InPredicate Annotation ScalarExpr Bool InList
  • | LiftApp Annotation Name LiftFlavour ScalarExprList
  • | ScalarSubQuery Annotation QueryExpr
  • | AntiScalarExpr String
  • | Parens Annotation ScalarExpr
• data InList
  • = InList Annotation ScalarExprList
  • | InQueryExpr Annotation QueryExpr
• data LiftFlavour
  • = LiftAny
  • | LiftAll
• data Direction
  • = Asc
  • | Desc
• data Distinct
  • = Distinct
  • | All
• data CombineType
  • = Except
  • | Union
  • | Intersect
  • | UnionAll
• 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 FrameClause
  • = FrameUnboundedPreceding
  • | FrameUnboundedFull
  • | FrameRowsUnboundedPreceding
• data QueryExpr
  • = Select {
    • ann :: Annotation
    • selDistinct :: Distinct
    • selSelectList :: SelectList
    • selTref :: TableRefList
    • selWhere :: MaybeBoolExpr
    • selGroupBy :: ScalarExprList
    • selHaving :: MaybeBoolExpr
    • selOrderBy :: ScalarExprDirectionPairList
    • selLimit :: MaybeScalarExpr
    • selOffset :: MaybeScalarExpr
    • selOption :: [QueryHint]
    }
  • | CombineQueryExpr {
    • ann :: Annotation
    • cqType :: CombineType
    • cqQe0 :: QueryExpr
    • cqQe1 :: QueryExpr
    }
  • | Values {
    • ann :: Annotation
    • qeValues :: ScalarExprListList
    }
  • | WithQueryExpr {
    • ann :: Annotation
    • withs :: WithQueryList
    • withQe :: QueryExpr
    }
• makeSelect :: QueryExpr
• data WithQuery = WithQuery Annotation NameComponent (Maybe [NameComponent]) QueryExpr
• data SelectList = SelectList Annotation SelectItemList
• data SelectItem
  • = SelExp Annotation ScalarExpr
  • | SelectItem Annotation ScalarExpr NameComponent
• data TableRef
  • = Tref Annotation Name
  • | FunTref Annotation ScalarExpr
  • | SubTref Annotation QueryExpr
  • | JoinTref Annotation TableRef Natural JoinType (Maybe JoinHint) TableRef OnExpr
  • | TableAlias Annotation NameComponent TableRef
  • | FullAlias Annotation NameComponent [NameComponent] TableRef
  • | TableRefParens Annotation TableRef
• data JoinExpr
  • = JoinOn Annotation ScalarExpr
  • | JoinUsing Annotation [NameComponent]
• data JoinType
  • = Inner
  • | LeftOuter
  • | RightOuter
  • | FullOuter
  • | Cross
• data JoinHint
  • = Loop
  • | Hash
  • | Merge
• data QueryHint
  • = QueryHintPartitionGroup
  • | QueryHintColumnarHostGroup
• type OnExpr = Maybe JoinExpr
• data Natural
  • = Natural
  • | Unnatural
• data Statement
  • = QueryStatement Annotation QueryExpr
  • | Insert Annotation Name [NameComponent] QueryExpr MaybeSelectList
  • | Update Annotation Name SetClauseList TableRefList MaybeBoolExpr MaybeSelectList
  • | Delete Annotation Name TableRefList MaybeBoolExpr MaybeSelectList
  • | CopyFrom Annotation Name [NameComponent] CopyFromSource [CopyOption]
  • | CopyData Annotation String
  • | CopyTo Annotation CopyToSource String [CopyOption]
  • | Truncate Annotation [Name] RestartIdentity Cascade
  • | CreateTable Annotation Name AttributeDefList ConstraintList MaybeTablePartitionDef
  • | AlterTable Annotation Name AlterTableOperation
  • | AlterDatabase Annotation Name AlterDatabaseOperation
  • | CreateSequence Annotation Name Integer Integer Integer Integer Integer
  • | AlterSequence Annotation Name Name
  • | CreateTableAs Annotation Name QueryExpr
  • | CreateView Annotation Name MaybeNameComponentList QueryExpr
  • | AlterView Annotation Name MaybeNameComponentList QueryExpr
  • | CreateType Annotation Name TypeAttributeDefList
  • | CreateUser Annotation Name String
  • | CreateLogin Annotation Name String
  • | AlterUser Annotation Name String
  • | AlterLogin Annotation Name String
  • | CreateFunction Annotation Name ParamDefList TypeName Replace Language FnBody Volatility
  • | CreateDomain Annotation Name TypeName String MaybeBoolExpr
  • | CreateLanguage Annotation String
  • | CreateTrigger Annotation NameComponent TriggerWhen [TriggerEvent] Name TriggerFire Name ScalarExprList
  • | DropFunction Annotation IfExists NameTypeNameListPairList Cascade
  • | DropSomething Annotation DropType IfExists [Name] Cascade
  • | DropTrigger Annotation IfExists NameComponent Name Cascade
  • | CreateDatabase Annotation Name
  • | Set Annotation String [SetValue]
  • | Notify Annotation String
  • | Into Annotation Bool [Name] Statement
  • | Assignment Annotation Name ScalarExpr
  • | Return Annotation MaybeScalarExpr
  • | ReturnNext Annotation ScalarExpr
  • | ReturnQuery Annotation QueryExpr
  • | Raise Annotation RaiseType String ScalarExprList
  • | NullStatement Annotation
  • | Perform Annotation ScalarExpr
  • | Execute Annotation ScalarExpr
  • | ForQueryStatement Annotation (Maybe String) NameComponent QueryExpr StatementList
  • | ForIntegerStatement Annotation (Maybe String) NameComponent ScalarExpr ScalarExpr StatementList
  • | LoopStatement Annotation (Maybe String) StatementList
  • | WhileStatement Annotation (Maybe String) ScalarExpr StatementList
  • | ContinueStatement Annotation (Maybe String)
  • | ExitStatement Annotation (Maybe String)
  • | CaseStatementSimple Annotation ScalarExpr ScalarExprListStatementListPairList StatementList
  • | CaseStatement Annotation ScalarExprListStatementListPairList StatementList
  • | If Annotation ScalarExprStatementListPairList StatementList
  • | Block Annotation (Maybe String) VarDefList StatementList
  • | AntiStatement String
  • | DeclareStatement Annotation [(String, TypeName, Maybe ScalarExpr)]
  • | ExecStatement Annotation Name ScalarExprList
  • | CreateIndexTSQL Annotation NameComponent Name [NameComponent]
• data CopyToSource
  • = CopyTable Name [NameComponent]
  • | CopyQuery QueryExpr
• data CopyFromSource
  • = CopyFilename String
  • | Stdin
• data CopyOption
  • = CopyFormat String
  • | CopyDelimiter String
  • | CopyErrorLog String
  • | CopyErrorVerbosity Int
  • | CopyParsers String
• data SetClause
  • = SetClause Annotation NameComponent ScalarExpr
  • | MultiSetClause Annotation [NameComponent] ScalarExpr
• data AttributeDef = AttributeDef Annotation NameComponent TypeName MaybeScalarExpr RowConstraintList
• data RowConstraint
  • = NullConstraint Annotation String
  • | NotNullConstraint Annotation String
  • | IdentityConstraint Annotation String (Maybe (Integer, Integer))
  • | RowCheckConstraint Annotation String ScalarExpr
  • | RowUniqueConstraint Annotation String
  • | RowPrimaryKeyConstraint Annotation String
  • | RowReferenceConstraint Annotation String Name (Maybe NameComponent) Cascade Cascade
• data Constraint
  • = UniqueConstraint Annotation String [NameComponent]
  • | PrimaryKeyConstraint Annotation String [NameComponent]
  • | CheckConstraint Annotation String ScalarExpr
  • | ReferenceConstraint Annotation String [NameComponent] Name [NameComponent] Cascade Cascade
• data TablePartitionDef = TablePartitionDef Annotation NameComponent Integer TablePartitionDateTimeInterval
• data TablePartitionDateTimeInterval
  • = Year
  • | Month
  • | Day
  • | Hour
  • | Minute
  • | Second
  • | Millisecond
• data TypeAttributeDef = TypeAttDef Annotation NameComponent TypeName
• data AlterDatabaseOperation = RenameDatabase Annotation Name
• data AlterTableOperation
  • = RenameTable Annotation Name
  • | RenameColumn Annotation NameComponent NameComponent
  • | AlterTableActions Annotation AlterTableActionList
• data AlterTableAction
  • = AddColumn Annotation AttributeDef
  • | DropColumn Annotation NameComponent
  • | AlterColumn Annotation NameComponent AlterColumnAction
  • | AddConstraint Annotation Constraint
• data AlterColumnAction
  • = SetDataType Annotation TypeName
  • | SetNotNull Annotation
  • | DropNotNull Annotation
  • | SetDefault Annotation ScalarExpr
  • | DropDefault Annotation
• data TriggerWhen
  • = TriggerBefore
  • | TriggerAfter
• data TriggerEvent
  • = TInsert
  • | TUpdate
  • | TDelete
  • | AntiTriggerEvent String
• data TriggerFire
  • = EachRow
  • | EachStatement
• data DropType
  • = Table
  • | Domain
  • | View
  • | Type
  • | Database
  • | User
  • | Login
• data Cascade
  • = Cascade
  • | Restrict
• data IfExists
  • = Require
  • | IfExists
• data RestartIdentity
  • = RestartIdentity
  • | ContinueIdentity
• data Replace
  • = Replace
  • | NoReplace
• data Volatility
  • = Volatile
  • | Stable
  • | Immutable
• data Language
  • = Sql
  • | Plpgsql
• data FnBody
  • = SqlFnBody Annotation StatementList
  • | PlpgsqlFnBody Annotation Statement
• data ParamDef
  • = ParamDef Annotation NameComponent TypeName
  • | ParamDefTp Annotation TypeName
• data VarDef
  • = VarDef Annotation NameComponent TypeName (Maybe ScalarExpr)
  • | ParamAlias Annotation NameComponent Integer
  • | VarAlias Annotation NameComponent Name
• data RaiseType
  • = RNotice
  • | RException
  • | RError
• data SetValue
  • = SetStr Annotation String
  • | SetId Annotation String
  • | SetNum Annotation Double
• type WithQueryList = [WithQuery]
• type MaybeSelectList = Maybe SelectList
• type TableRefList = [TableRef]
• type MaybeScalarExpr = Maybe ScalarExpr
• type ScalarExprList = [ScalarExpr]
• type ScalarExprListList = [ScalarExprTransposedList]
• type SetClauseList = [SetClause]
• type AttributeDefList = [AttributeDef]
• type ConstraintList = [Constraint]
• type TypeAttributeDefList = [TypeAttributeDef]
• type ParamDefList = [ParamDef]
• type TypeNameList = [TypeName]
• type NameTypeNameListPair = (Name, TypeNameList)
• type NameTypeNameListPairList = [NameTypeNameListPair]
• type ScalarExprListStatementListPair = (ScalarExprList, StatementList)
• type ScalarExprListStatementListPairList = [ScalarExprListStatementListPair]
• type ScalarExprStatementListPair = (ScalarExpr, StatementList)
• type ScalarExprStatementListPairList = [ScalarExprStatementListPair]
• type VarDefList = [VarDef]
• type SelectItemList = [SelectItem]
• type RowConstraintList = [RowConstraint]
• type CaseScalarExprListScalarExprPair = (ScalarExprList, ScalarExpr)
• type CaseScalarExprListScalarExprPairList = [CaseScalarExprListScalarExprPair]
• type StatementList = [Statement]
• type ScalarExprDirectionPair = (ScalarExpr, Direction)
• type ScalarExprDirectionPairList = [ScalarExprDirectionPair]
• type AlterTableActionList = [AlterTableAction]
• type MaybeNameComponentList = Maybe NameComponentList
• type NameComponentList = [NameComponent]
• type MaybeBoolExpr = Maybe ScalarExpr

Name and TypeName

Scalar expressions

Query expressions

makeSelect :: QueryExpr
makeSelect = Select
             {ann = emptyAnnotation
             ,selDistinct = All
             ,selSelectList = (SelectList emptyAnnotation [])
             ,selTref = []
             ,selWhere = Nothing
             ,selGroupBy = []
             ,selHaving = Nothing
             ,selOrderBy = []
             ,selLimit = Nothing
             ,selOffset = Nothing
             ,selOption = []}

s = makeSelect {selSelectList = sl [se $ i "a"]
               ,selTref = [tref "t"]}
    where
        a = emptyAnnotation
        sl = SelectList a
        se = SelExp a
        i = Identifier a
        tref t = Tref a (Name a [Nmc t])

Statements

dml components

ddl components

function ddl components

PlPgsql components

utility

misc