Modulepostgresql-syntax-0.4.1.1Haskell2010

PostgresqlSyntax.Ast

Names for nodes mostly resemble the according definitions in the gram.y original Postgres parser file, except for the cases where we can optimize on that.

For reasoning see the docs of the parsing module of this project.

173 types

Packagepostgresql-syntax-0.4.1.1
Exports173
LanguageHaskell2010
LicenceMIT
SourceAst.hs

Statement

1 declaration

datadata PreparableStmt

References

PreparableStmt:
  |  SelectStmt
  |  InsertStmt
  |  UpdateStmt
  |  DeleteStmt
  |  CallStmt

Instances5Eq, Ord, Show, Generic, Rep

Eq PreparableStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord PreparableStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show PreparableStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic PreparableStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep PreparableStmt = D1 ('MetaData "PreparableStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "SelectPreparableStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt)) :+: C1 ('MetaCons "InsertPreparableStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertStmt))) :+: (C1 ('MetaCons "UpdatePreparableStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UpdateStmt)) :+: (C1 ('MetaCons "DeletePreparableStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeleteStmt)) :+: C1 ('MetaCons "CallPreparableStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallStmt)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Call

1 declaration

newtypenewtype CallStmt

Constructors

CallStmt FuncApplication

Instances5Eq, Ord, Show, Generic, Rep

Eq CallStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord CallStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show CallStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic CallStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep CallStmt = D1 ('MetaData "CallStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'True) (C1 ('MetaCons "CallStmt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Insert

10 declarations

datadata InsertStmt

References

InsertStmt:
  | opt_with_clause INSERT INTO insert_target insert_rest
      opt_on_conflict returning_clause

Constructors

InsertStmt (Maybe WithClause) InsertTarget InsertRest (Maybe OnConflict) (Maybe ReturningClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq InsertStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord InsertStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show InsertStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic InsertStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep InsertStmt = D1 ('MetaData "InsertStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "InsertStmt" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertTarget)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertRest) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OnConflict)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata InsertTarget

References

insert_target:
  | qualified_name
  | qualified_name AS ColId

Constructors

InsertTarget QualifiedName (Maybe ColId)

Instances5Eq, Ord, Show, Generic, Rep

Eq InsertTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord InsertTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show InsertTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic InsertTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep InsertTarget = D1 ('MetaData "InsertTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "InsertTarget" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ColId))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata InsertRest

References

insert_rest:
  | SelectStmt
  | OVERRIDING override_kind VALUE_P SelectStmt
  | '(' insert_column_list ')' SelectStmt
  | '(' insert_column_list ')' OVERRIDING override_kind VALUE_P SelectStmt
  | DEFAULT VALUES

Constructors

SelectInsertRest (Maybe InsertColumnList) (Maybe OverrideKind) SelectStmt
DefaultValuesInsertRest

Instances5Eq, Ord, Show, Generic, Rep

Eq InsertRestDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord InsertRestDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show InsertRestDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic InsertRestDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep InsertRest = D1 ('MetaData "InsertRest" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SelectInsertRest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InsertColumnList)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OverrideKind)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt))) :+: C1 ('MetaCons "DefaultValuesInsertRest" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata OverrideKind

References

override_kind:
  | USER
  | SYSTEM_P

UserOverrideKind SystemOverrideKind

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OverrideKindDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OverrideKind = D1 ('MetaData "OverrideKind" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UserOverrideKind" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SystemOverrideKind" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype InsertColumnList = NonEmpty InsertColumnItem

References

insert_column_list:
  | insert_column_item
  | insert_column_list ',' insert_column_item

datadata InsertColumnItem

References

insert_column_item:
  | ColId opt_indirection

Constructors

InsertColumnItem ColId (Maybe Indirection)

Instances5Eq, Ord, Show, Generic, Rep

Eq InsertColumnItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord InsertColumnItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show InsertColumnItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic InsertColumnItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep InsertColumnItem = D1 ('MetaData "InsertColumnItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "InsertColumnItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata OnConflict

References

opt_on_conflict:
  | ON CONFLICT opt_conf_expr DO UPDATE SET set_clause_list where_clause
  | ON CONFLICT opt_conf_expr DO NOTHING
  | EMPTY

Constructors

OnConflict (Maybe ConfExpr) OnConflictDo

Instances5Eq, Ord, Show, Generic, Rep

Eq OnConflictDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OnConflictDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OnConflictDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OnConflictDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OnConflict = D1 ('MetaData "OnConflict" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "OnConflict" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ConfExpr)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OnConflictDo)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata OnConflictDo

References

opt_on_conflict:
  | ON CONFLICT opt_conf_expr DO UPDATE SET set_clause_list where_clause
  | ON CONFLICT opt_conf_expr DO NOTHING
  | EMPTY

Constructors

UpdateOnConflictDo SetClauseList (Maybe WhereClause)
NothingOnConflictDo

Instances5Eq, Ord, Show, Generic, Rep

Eq OnConflictDoDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OnConflictDoDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OnConflictDoDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OnConflictDoDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OnConflictDo = D1 ('MetaData "OnConflictDo" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UpdateOnConflictDo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetClauseList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause))) :+: C1 ('MetaCons "NothingOnConflictDo" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ConfExpr

References

opt_conf_expr:
  | '(' index_params ')' where_clause
  | ON CONSTRAINT name
  | EMPTY

Constructors

WhereConfExpr IndexParams (Maybe WhereClause)
ConstraintConfExpr Name

Instances5Eq, Ord, Show, Generic, Rep

Eq ConfExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ConfExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ConfExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ConfExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ConfExpr = D1 ('MetaData "ConfExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WhereConfExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexParams) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause))) :+: C1 ('MetaCons "ConstraintConfExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ReturningClause = TargetList

References

returning_clause:
  | RETURNING target_list
  | EMPTY

Update

5 declarations

datadata UpdateStmt

References

UpdateStmt:
  | opt_with_clause UPDATE relation_expr_opt_alias
      SET set_clause_list
      from_clause
      where_or_current_clause
      returning_clause

Constructors

UpdateStmt (Maybe WithClause) RelationExprOptAlias SetClauseList (Maybe FromClause) (Maybe WhereOrCurrentClause) (Maybe ReturningClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq UpdateStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord UpdateStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show UpdateStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic UpdateStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep UpdateStmt = D1 ('MetaData "UpdateStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UpdateStmt" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExprOptAlias) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetClauseList))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FromClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereOrCurrentClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype SetClauseList = NonEmpty SetClause

References

set_clause_list:
  | set_clause
  | set_clause_list ',' set_clause

datadata SetClause

References

set_clause:
  | set_target = a_expr
  | '(' set_target_list ')' = a_expr

Constructors

TargetSetClause SetTarget AExpr
TargetListSetClause SetTargetList AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq SetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SetClause = D1 ('MetaData "SetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "TargetSetClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetTarget) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "TargetListSetClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetTargetList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SetTarget

References

set_target:
  | ColId opt_indirection

Constructors

SetTarget ColId (Maybe Indirection)

Instances5Eq, Ord, Show, Generic, Rep

Eq SetTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SetTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SetTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SetTargetDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SetTarget = D1 ('MetaData "SetTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SetTarget" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype SetTargetList = NonEmpty SetTarget

References

set_target_list:
  | set_target
  | set_target_list ',' set_target

Delete

2 declarations

datadata DeleteStmt

References

DeleteStmt:
  | opt_with_clause DELETE_P FROM relation_expr_opt_alias
      using_clause where_or_current_clause returning_clause

Constructors

DeleteStmt (Maybe WithClause) RelationExprOptAlias (Maybe UsingClause) (Maybe WhereOrCurrentClause) (Maybe ReturningClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq DeleteStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord DeleteStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show DeleteStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic DeleteStmtDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep DeleteStmt = D1 ('MetaData "DeleteStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "DeleteStmt" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExprOptAlias)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UsingClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereOrCurrentClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype UsingClause = FromList

References

using_clause:
  | USING from_list
  | EMPTY

Select

35 declarations

typetype SelectStmt = Either SelectNoParens SelectWithParens

References

SelectStmt:
  |  select_no_parens
  |  select_with_parens

datadata SelectWithParens

References

select_with_parens:
  |  '(' select_no_parens ')'
  |  '(' select_with_parens ')'

Constructors

NoParensSelectWithParens SelectNoParens
WithParensSelectWithParens SelectWithParens

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectWithParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectWithParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectWithParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectWithParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectWithParens = D1 ('MetaData "SelectWithParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "NoParensSelectWithParens" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectNoParens)) :+: C1 ('MetaCons "WithParensSelectWithParens" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SelectNoParens

Covers the following cases:

select_no_parens:
  |  simple_select
  |  select_clause sort_clause
  |  select_clause opt_sort_clause for_locking_clause opt_select_limit
  |  select_clause opt_sort_clause select_limit opt_for_locking_clause
  |  with_clause select_clause
  |  with_clause select_clause sort_clause
  |  with_clause select_clause opt_sort_clause for_locking_clause opt_select_limit
  |  with_clause select_clause opt_sort_clause select_limit opt_for_locking_clause

Constructors

SelectNoParens (Maybe WithClause) SelectClause (Maybe SortClause) (Maybe SelectLimit) (Maybe ForLockingClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectNoParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectNoParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectNoParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectNoParensDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectNoParens = D1 ('MetaData "SelectNoParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SelectNoParens" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SelectLimit)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ForLockingClause))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype SelectClause = Either SimpleSelect SelectWithParens

select_clause:
  |  simple_select
  |  select_with_parens

datadata SimpleSelect

References

simple_select:
  |  SELECT opt_all_clause opt_target_list
      into_clause from_clause where_clause
      group_clause having_clause window_clause
  |  SELECT distinct_clause target_list
      into_clause from_clause where_clause
      group_clause having_clause window_clause
  |  values_clause
  |  TABLE relation_expr
  |  select_clause UNION all_or_distinct select_clause
  |  select_clause INTERSECT all_or_distinct select_clause
  |  select_clause EXCEPT all_or_distinct select_clause

Instances5Eq, Ord, Show, Generic, Rep

Eq SimpleSelectDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SimpleSelectDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SimpleSelectDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SimpleSelectDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SimpleSelect = D1 ('MetaData "SimpleSelect" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "NormalSimpleSelect" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Targeting)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IntoClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FromClause)))) :*: ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GroupClause))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HavingClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WindowClause))))) :+: C1 ('MetaCons "ValuesSimpleSelect" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValuesClause))) :+: (C1 ('MetaCons "TableSimpleSelect" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr)) :+: C1 ('MetaCons "BinSimpleSelect" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectBinOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata Targeting

Covers these parts of spec:

References

simple_select:
  |  SELECT opt_all_clause opt_target_list
      into_clause from_clause where_clause
      group_clause having_clause window_clause
  |  SELECT distinct_clause target_list
      into_clause from_clause where_clause
      group_clause having_clause window_clause

distinct_clause:
  |  DISTINCT
  |  DISTINCT ON '(' expr_list ')'

Constructors

NormalTargeting TargetList
AllTargeting (Maybe TargetList)
DistinctTargeting (Maybe ExprList) TargetList

Instances5Eq, Ord, Show, Generic, Rep

Eq TargetingDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TargetingDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TargetingDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TargetingDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Targeting = D1 ('MetaData "Targeting" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "NormalTargeting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TargetList)) :+: (C1 ('MetaCons "AllTargeting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TargetList))) :+: C1 ('MetaCons "DistinctTargeting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExprList)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TargetList))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype TargetList = NonEmpty TargetEl

References

target_list:
  | target_el
  | target_list ',' target_el

datadata TargetEl

References

target_el:
  |  a_expr AS ColLabel
  |  a_expr IDENT
  |  a_expr
  |  *

Constructors

AliasedExprTargetEl AExpr Ident
ImplicitlyAliasedExprTargetEl AExpr Ident
ExprTargetEl AExpr
AsteriskTargetEl

Instances5Eq, Ord, Show, Generic, Rep

Eq TargetElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TargetElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TargetElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TargetElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TargetEl = D1 ('MetaData "TargetEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "AliasedExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "ImplicitlyAliasedExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))) :+: (C1 ('MetaCons "ExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "AsteriskTargetEl" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SelectBinOp

References

  |  select_clause UNION all_or_distinct select_clause
  |  select_clause INTERSECT all_or_distinct select_clause
  |  select_clause EXCEPT all_or_distinct select_clause

UnionSelectBinOp IntersectSelectBinOp ExceptSelectBinOp

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectBinOp = D1 ('MetaData "SelectBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UnionSelectBinOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "IntersectSelectBinOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExceptSelectBinOp" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata WithClause

References

with_clause:
  |  WITH cte_list
  |  WITH_LA cte_list
  |  WITH RECURSIVE cte_list

Constructors

WithClause Bool (NonEmpty CommonTableExpr)

Instances5Eq, Ord, Show, Generic, Rep

Eq WithClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WithClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WithClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WithClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WithClause = D1 ('MetaData "WithClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WithClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty CommonTableExpr))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata CommonTableExpr

References

common_table_expr:
  |  name opt_name_list AS opt_materialized '(' PreparableStmt ')'
opt_materialized:
  | MATERIALIZED
  | NOT MATERIALIZED
  | EMPTY

Constructors

CommonTableExpr Ident (Maybe (NonEmpty Ident)) (Maybe Bool) PreparableStmt

Instances5Eq, Ord, Show, Generic, Rep

Eq CommonTableExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord CommonTableExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show CommonTableExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic CommonTableExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep CommonTableExpr = D1 ('MetaData "CommonTableExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "CommonTableExpr" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty Ident)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PreparableStmt))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype IntoClause = OptTempTableName

datadata OptTempTableName

References

OptTempTableName:
  |  TEMPORARY opt_table qualified_name
  |  TEMP opt_table qualified_name
  |  LOCAL TEMPORARY opt_table qualified_name
  |  LOCAL TEMP opt_table qualified_name
  |  GLOBAL TEMPORARY opt_table qualified_name
  |  GLOBAL TEMP opt_table qualified_name
  |  UNLOGGED opt_table qualified_name
  |  TABLE qualified_name
  |  qualified_name

Instances5Eq, Ord, Show, Generic, Rep

Eq OptTempTableNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OptTempTableNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OptTempTableNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OptTempTableNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OptTempTableName = D1 ('MetaData "OptTempTableName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "TemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "TempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))) :+: (C1 ('MetaCons "LocalTemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "LocalTempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))) :+: ((C1 ('MetaCons "GlobalTemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "GlobalTempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))) :+: (C1 ('MetaCons "UnloggedOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: (C1 ('MetaCons "TableOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "QualifedOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype FromClause = NonEmpty TableRef

typetype GroupClause = NonEmpty GroupByItem

datadata GroupByItem

References

group_by_item:
  |  a_expr
  |  empty_grouping_set
  |  cube_clause
  |  rollup_clause
  |  grouping_sets_clause
empty_grouping_set:
  |  '(' ')'
rollup_clause:
  |  ROLLUP '(' expr_list ')'
cube_clause:
  |  CUBE '(' expr_list ')'
grouping_sets_clause:
  |  GROUPING SETS '(' group_by_list ')'

Constructors

ExprGroupByItem AExpr
EmptyGroupingSetGroupByItem
RollupGroupByItem ExprList
CubeGroupByItem ExprList
GroupingSetsGroupByItem (NonEmpty GroupByItem)

Instances5Eq, Ord, Show, Generic, Rep

Eq GroupByItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord GroupByItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show GroupByItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic GroupByItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep GroupByItem = D1 ('MetaData "GroupByItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "ExprGroupByItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "EmptyGroupingSetGroupByItem" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "RollupGroupByItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "CubeGroupByItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "GroupingSetsGroupByItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GroupByItem))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype HavingClause = AExpr

having_clause:
  |  HAVING a_expr
  |  EMPTY

typetype WindowClause = NonEmpty WindowDefinition

window_clause:
  |  WINDOW window_definition_list
  |  EMPTY

window_definition_list:
  |  window_definition
  |  window_definition_list ',' window_definition

datadata WindowDefinition

window_definition:
  |  ColId AS window_specification

Constructors

WindowDefinition Ident WindowSpecification

Instances5Eq, Ord, Show, Generic, Rep

Eq WindowDefinitionDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WindowDefinitionDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WindowDefinitionDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WindowDefinitionDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WindowDefinition = D1 ('MetaData "WindowDefinition" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WindowDefinition" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpecification)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata WindowSpecification

window_specification:
  |  '(' opt_existing_window_name opt_partition_clause
            opt_sort_clause opt_frame_clause ')'

opt_existing_window_name:
  |  ColId
  |  EMPTY

opt_partition_clause:
  |  PARTITION BY expr_list
  |  EMPTY

Constructors

WindowSpecification (Maybe ExistingWindowName) (Maybe PartitionClause) (Maybe SortClause) (Maybe FrameClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq WindowSpecificationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WindowSpecificationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WindowSpecificationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WindowSpecificationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WindowSpecification = D1 ('MetaData "WindowSpecification" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WindowSpecification" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExistingWindowName)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PartitionClause))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FrameClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ExistingWindowName = ColId

typetype PartitionClause = ExprList

datadata FrameClause

References

opt_frame_clause:
  |  RANGE frame_extent opt_window_exclusion_clause
  |  ROWS frame_extent opt_window_exclusion_clause
  |  GROUPS frame_extent opt_window_exclusion_clause
  |  EMPTY

Constructors

FrameClause FrameClauseMode FrameExtent (Maybe WindowExclusionClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq FrameClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FrameClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FrameClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FrameClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FrameClause = D1 ('MetaData "FrameClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "FrameClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameClauseMode) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameExtent) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WindowExclusionClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FrameClauseMode

References

opt_frame_clause:
  |  RANGE frame_extent opt_window_exclusion_clause
  |  ROWS frame_extent opt_window_exclusion_clause
  |  GROUPS frame_extent opt_window_exclusion_clause
  |  EMPTY

RangeFrameClauseMode RowsFrameClauseMode GroupsFrameClauseMode

Instances5Eq, Ord, Show, Generic, Rep

Eq FrameClauseModeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FrameClauseModeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FrameClauseModeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FrameClauseModeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FrameClauseMode = D1 ('MetaData "FrameClauseMode" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "RangeFrameClauseMode" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "RowsFrameClauseMode" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GroupsFrameClauseMode" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FrameExtent

References

frame_extent:
  |  frame_bound
  |  BETWEEN frame_bound AND frame_bound

Constructors

SingularFrameExtent FrameBound
BetweenFrameExtent FrameBound FrameBound

Instances5Eq, Ord, Show, Generic, Rep

Eq FrameExtentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FrameExtentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FrameExtentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FrameExtentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FrameExtent = D1 ('MetaData "FrameExtent" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SingularFrameExtent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound)) :+: C1 ('MetaCons "BetweenFrameExtent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FrameBound

References

frame_bound:
  |  UNBOUNDED PRECEDING
  |  UNBOUNDED FOLLOWING
  |  CURRENT_P ROW
  |  a_expr PRECEDING
  |  a_expr FOLLOWING

Constructors

UnboundedPrecedingFrameBound
UnboundedFollowingFrameBound
CurrentRowFrameBound
PrecedingFrameBound AExpr
FollowingFrameBound AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq FrameBoundDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FrameBoundDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FrameBoundDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FrameBoundDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FrameBound = D1 ('MetaData "FrameBound" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "UnboundedPrecedingFrameBound" 'PrefixI 'False) U1 :+: C1 ('MetaCons "UnboundedFollowingFrameBound" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CurrentRowFrameBound" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PrecedingFrameBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "FollowingFrameBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata WindowExclusionClause

References

opt_window_exclusion_clause:
  |  EXCLUDE CURRENT_P ROW
  |  EXCLUDE GROUP_P
  |  EXCLUDE TIES
  |  EXCLUDE NO OTHERS
  |  EMPTY

CurrentRowWindowExclusionClause GroupWindowExclusionClause TiesWindowExclusionClause NoOthersWindowExclusionClause

Instances5Eq, Ord, Show, Generic, Rep

Eq WindowExclusionClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WindowExclusionClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WindowExclusionClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WindowExclusionClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WindowExclusionClause = D1 ('MetaData "WindowExclusionClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "CurrentRowWindowExclusionClause" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GroupWindowExclusionClause" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TiesWindowExclusionClause" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NoOthersWindowExclusionClause" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ValuesClause = NonEmpty ExprList

References

values_clause:
  |  VALUES '(' expr_list ')'
  |  values_clause ',' '(' expr_list ')'

typetype SortClause = NonEmpty SortBy

sort_clause: | ORDER BY sortby_list

sortby_list: | sortby | sortby_list ',' sortby

datadata SortBy

References

sortby:
  |  a_expr USING qual_all_Op opt_nulls_order
  |  a_expr opt_asc_desc opt_nulls_order

Constructors

UsingSortBy AExpr QualAllOp (Maybe NullsOrder)
AscDescSortBy AExpr (Maybe AscDesc) (Maybe NullsOrder)

Instances5Eq, Ord, Show, Generic, Rep

Eq SortByDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SortByDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SortByDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SortByDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SortBy = D1 ('MetaData "SortBy" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UsingSortBy" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualAllOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder)))) :+: C1 ('MetaCons "AscDescSortBy" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AscDesc)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SelectLimit

References

select_limit:
  | limit_clause offset_clause
  | offset_clause limit_clause
  | limit_clause
  | offset_clause

Constructors

LimitOffsetSelectLimit LimitClause OffsetClause
OffsetLimitSelectLimit OffsetClause LimitClause
LimitSelectLimit LimitClause
OffsetSelectLimit OffsetClause

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectLimitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectLimitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectLimitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectLimitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectLimit = D1 ('MetaData "SelectLimit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "LimitOffsetSelectLimit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause)) :+: C1 ('MetaCons "OffsetLimitSelectLimit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause))) :+: (C1 ('MetaCons "LimitSelectLimit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause)) :+: C1 ('MetaCons "OffsetSelectLimit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata LimitClause

References

limit_clause:
  | LIMIT select_limit_value
  | LIMIT select_limit_value ',' select_offset_value
  | FETCH first_or_next select_fetch_first_value row_or_rows ONLY
  | FETCH first_or_next row_or_rows ONLY
select_offset_value:
  | a_expr
first_or_next:
  | FIRST_P
  | NEXT
row_or_rows:
  | ROW
  | ROWS

Constructors

LimitLimitClause SelectLimitValue (Maybe AExpr)
FetchOnlyLimitClause Bool (Maybe SelectFetchFirstValue) Bool

Instances5Eq, Ord, Show, Generic, Rep

Eq LimitClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord LimitClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show LimitClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic LimitClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep LimitClause = D1 ('MetaData "LimitClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "LimitLimitClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectLimitValue) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr))) :+: C1 ('MetaCons "FetchOnlyLimitClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SelectFetchFirstValue)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SelectFetchFirstValue

References

select_fetch_first_value:
  | c_expr
  | + I_or_F_const
  | - I_or_F_const

Constructors

ExprSelectFetchFirstValue CExpr
NumSelectFetchFirstValue Bool (Either Int64 Double)

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectFetchFirstValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectFetchFirstValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectFetchFirstValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectFetchFirstValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectFetchFirstValue = D1 ('MetaData "SelectFetchFirstValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprSelectFetchFirstValue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: C1 ('MetaCons "NumSelectFetchFirstValue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Int64 Double))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SelectLimitValue

References

select_limit_value:
  | a_expr
  | ALL

Constructors

ExprSelectLimitValue AExpr
AllSelectLimitValue

Instances5Eq, Ord, Show, Generic, Rep

Eq SelectLimitValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SelectLimitValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SelectLimitValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SelectLimitValueDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SelectLimitValue = D1 ('MetaData "SelectLimitValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprSelectLimitValue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "AllSelectLimitValue" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata OffsetClause

References

offset_clause:
  | OFFSET select_offset_value
  | OFFSET select_fetch_first_value row_or_rows
select_offset_value:
  | a_expr
row_or_rows:
  | ROW
  | ROWS

Constructors

ExprOffsetClause AExpr
FetchFirstOffsetClause SelectFetchFirstValue Bool

Instances5Eq, Ord, Show, Generic, Rep

Eq OffsetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OffsetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OffsetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OffsetClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OffsetClause = D1 ('MetaData "OffsetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprOffsetClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "FetchFirstOffsetClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectFetchFirstValue) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

For Locking

3 declarations

datadata ForLockingClause

References

for_locking_clause:
  | for_locking_items
  | FOR READ ONLY
for_locking_items:
  | for_locking_item
  | for_locking_items for_locking_item

Constructors

ItemsForLockingClause (NonEmpty ForLockingItem)
ReadOnlyForLockingClause

Instances5Eq, Ord, Show, Generic, Rep

Eq ForLockingClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ForLockingClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ForLockingClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ForLockingClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ForLockingClause = D1 ('MetaData "ForLockingClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ItemsForLockingClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ForLockingItem))) :+: C1 ('MetaCons "ReadOnlyForLockingClause" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ForLockingItem

References

for_locking_item:
  | for_locking_strength locked_rels_list opt_nowait_or_skip
locked_rels_list:
  | OF qualified_name_list
  | EMPTY
opt_nowait_or_skip:
  | NOWAIT
  | SKIP LOCKED
  | EMPTY

Constructors

ForLockingItem ForLockingStrength (Maybe (NonEmpty QualifiedName)) (Maybe Bool)

Instances5Eq, Ord, Show, Generic, Rep

Eq ForLockingItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ForLockingItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ForLockingItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ForLockingItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ForLockingItem = D1 ('MetaData "ForLockingItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ForLockingItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForLockingStrength) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty QualifiedName))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ForLockingStrength

References

for_locking_strength:
  | FOR UPDATE
  | FOR NO KEY UPDATE
  | FOR SHARE
  | FOR KEY SHARE

UpdateForLockingStrength NoKeyUpdateForLockingStrength ShareForLockingStrength KeyForLockingStrength

Instances5Eq, Ord, Show, Generic, Rep

Eq ForLockingStrengthDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ForLockingStrengthDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ForLockingStrengthDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ForLockingStrengthDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ForLockingStrength = D1 ('MetaData "ForLockingStrength" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "UpdateForLockingStrength" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NoKeyUpdateForLockingStrength" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ShareForLockingStrength" 'PrefixI 'False) U1 :+: C1 ('MetaCons "KeyForLockingStrength" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Table references and joining

20 declarations

typetype FromList = NonEmpty TableRef

References

from_list:
  | table_ref
  | from_list ',' table_ref

datadata TableRef

References

| relation_expr opt_alias_clause
| relation_expr opt_alias_clause tablesample_clause
| func_table func_alias_clause
| LATERAL_P func_table func_alias_clause
| xmltable opt_alias_clause
| LATERAL_P xmltable opt_alias_clause
| select_with_parens opt_alias_clause
| LATERAL_P select_with_parens opt_alias_clause
| joined_table
| '(' joined_table ')' alias_clause

TODO: Add xmltable

Constructors

RelationExprTableRef RelationExpr (Maybe AliasClause) (Maybe TablesampleClause)

   | relation_expr opt_alias_clause
   | relation_expr opt_alias_clause tablesample_clause

FuncTableRef Bool FuncTable (Maybe FuncAliasClause)

   | func_table func_alias_clause
   | LATERAL_P func_table func_alias_clause

SelectTableRef Bool SelectWithParens (Maybe AliasClause)

   | select_with_parens opt_alias_clause
   | LATERAL_P select_with_parens opt_alias_clause

JoinTableRef JoinedTable (Maybe AliasClause)

   | joined_table
   | '(' joined_table ')' alias_clause

Instances5Eq, Ord, Show, Generic, Rep

Eq TableRefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TableRefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TableRefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TableRefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TableRef = D1 ('MetaData "TableRef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "RelationExprTableRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TablesampleClause)))) :+: C1 ('MetaCons "FuncTableRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncTable) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncAliasClause))))) :+: (C1 ('MetaCons "SelectTableRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause)))) :+: C1 ('MetaCons "JoinTableRef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata RelationExpr

References

| qualified_name
| qualified_name *
| ONLY qualified_name
| ONLY '(' qualified_name ')'

Constructors

SimpleRelationExpr QualifiedName Bool
OnlyRelationExpr QualifiedName Bool

Instances5Eq, Ord, Show, Generic, Rep

Eq RelationExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord RelationExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show RelationExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic RelationExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep RelationExpr = D1 ('MetaData "RelationExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SimpleRelationExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "OnlyRelationExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata RelationExprOptAlias

References

relation_expr_opt_alias:
  | relation_expr
  | relation_expr ColId
  | relation_expr AS ColId

Constructors

RelationExprOptAlias RelationExpr (Maybe (Bool, ColId))

Instances5Eq, Ord, Show, Generic, Rep

Eq RelationExprOptAliasDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord RelationExprOptAliasDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show RelationExprOptAliasDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic RelationExprOptAliasDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep RelationExprOptAlias = D1 ('MetaData "RelationExprOptAlias" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "RelationExprOptAlias" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Bool, ColId)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata TablesampleClause

References

tablesample_clause:
  | TABLESAMPLE func_name '(' expr_list ')' opt_repeatable_clause

Constructors

TablesampleClause FuncName ExprList (Maybe RepeatableClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq TablesampleClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TablesampleClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TablesampleClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TablesampleClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TablesampleClause = D1 ('MetaData "TablesampleClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "TablesampleClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RepeatableClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype RepeatableClause = AExpr

References

opt_repeatable_clause:
  | REPEATABLE '(' a_expr ')'
  | EMPTY

datadata FuncTable

References

func_table:
  | func_expr_windowless opt_ordinality
  | ROWS FROM '(' rowsfrom_list ')' opt_ordinality

Constructors

FuncExprFuncTable FuncExprWindowless OptOrdinality
RowsFromFuncTable RowsfromList OptOrdinality

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncTable = D1 ('MetaData "FuncTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "FuncExprFuncTable" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptOrdinality)) :+: C1 ('MetaCons "RowsFromFuncTable" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowsfromList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptOrdinality)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata RowsfromItem

References

rowsfrom_item:
  | func_expr_windowless opt_col_def_list

Constructors

RowsfromItem FuncExprWindowless (Maybe ColDefList)

Instances5Eq, Ord, Show, Generic, Rep

Eq RowsfromItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord RowsfromItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show RowsfromItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic RowsfromItemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep RowsfromItem = D1 ('MetaData "RowsfromItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "RowsfromItem" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ColDefList))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype RowsfromList = NonEmpty RowsfromItem

References

rowsfrom_list:
  | rowsfrom_item
  | rowsfrom_list ',' rowsfrom_item

typetype ColDefList = TableFuncElementList

References

opt_col_def_list:
  | AS '(' TableFuncElementList ')'
  | EMPTY

typetype OptOrdinality = Bool

References

opt_ordinality:
  | WITH_LA ORDINALITY
  | EMPTY

typetype TableFuncElementList = NonEmpty TableFuncElement

References

TableFuncElementList:
  | TableFuncElement
  | TableFuncElementList ',' TableFuncElement

datadata TableFuncElement

References

TableFuncElement:
  | ColId Typename opt_collate_clause

Constructors

TableFuncElement ColId Typename (Maybe CollateClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq TableFuncElementDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TableFuncElementDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TableFuncElementDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TableFuncElementDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TableFuncElement = D1 ('MetaData "TableFuncElement" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "TableFuncElement" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CollateClause)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype CollateClause = AnyName

References

opt_collate_clause:
  | COLLATE any_name
  | EMPTY

datadata AliasClause

References

alias_clause:
  |  AS ColId '(' name_list ')'
  |  AS ColId
  |  ColId '(' name_list ')'
  |  ColId

Constructors

AliasClause Bool ColId (Maybe NameList)

Instances5Eq, Ord, Show, Generic, Rep

Eq AliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AliasClause = D1 ('MetaData "AliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AliasClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NameList)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncAliasClause

References

func_alias_clause:
  | alias_clause
  | AS '(' TableFuncElementList ')'
  | AS ColId '(' TableFuncElementList ')'
  | ColId '(' TableFuncElementList ')'
  | EMPTY

Constructors

AliasFuncAliasClause AliasClause
AsFuncAliasClause TableFuncElementList
AsColIdFuncAliasClause ColId TableFuncElementList
ColIdFuncAliasClause ColId TableFuncElementList

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncAliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncAliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncAliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncAliasClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncAliasClause = D1 ('MetaData "FuncAliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "AliasFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AliasClause)) :+: C1 ('MetaCons "AsFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList))) :+: (C1 ('MetaCons "AsColIdFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList)) :+: C1 ('MetaCons "ColIdFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata JoinedTable

References

| '(' joined_table ')'
| table_ref CROSS JOIN table_ref
| table_ref join_type JOIN table_ref join_qual
| table_ref JOIN table_ref join_qual
| table_ref NATURAL join_type JOIN table_ref
| table_ref NATURAL JOIN table_ref

The options are covered by the JoinMeth type.

Constructors

InParensJoinedTable JoinedTable
MethJoinedTable JoinMeth TableRef TableRef

Instances5Eq, Ord, Show, Generic, Rep

Eq JoinedTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord JoinedTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show JoinedTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic JoinedTableDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep JoinedTable = D1 ('MetaData "JoinedTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "InParensJoinedTable" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable)) :+: C1 ('MetaCons "MethJoinedTable" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinMeth) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata JoinMeth

References

| table_ref CROSS JOIN table_ref
| table_ref join_type JOIN table_ref join_qual
| table_ref JOIN table_ref join_qual
| table_ref NATURAL join_type JOIN table_ref
| table_ref NATURAL JOIN table_ref

Constructors

CrossJoinMeth
QualJoinMeth (Maybe JoinType) JoinQual
NaturalJoinMeth (Maybe JoinType)

Instances5Eq, Ord, Show, Generic, Rep

Eq JoinMethDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord JoinMethDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show JoinMethDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic JoinMethDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep JoinMeth = D1 ('MetaData "JoinMeth" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "CrossJoinMeth" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "QualJoinMeth" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JoinType)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinQual)) :+: C1 ('MetaCons "NaturalJoinMeth" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JoinType)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata JoinType

References

| FULL join_outer
| LEFT join_outer
| RIGHT join_outer
| INNER_P

Constructors

FullJoinType Bool
LeftJoinType Bool
RightJoinType Bool
InnerJoinType

Instances5Eq, Ord, Show, Generic, Rep

Eq JoinTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord JoinTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show JoinTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic JoinTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep JoinType = D1 ('MetaData "JoinType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "FullJoinType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "LeftJoinType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "RightJoinType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "InnerJoinType" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata JoinQual

References

join_qual:
  |  USING '(' name_list ')'
  |  ON a_expr

Constructors

UsingJoinQual (NonEmpty Ident)
OnJoinQual AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq JoinQualDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord JoinQualDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show JoinQualDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic JoinQualDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep JoinQual = D1 ('MetaData "JoinQual" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "UsingJoinQual" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Ident))) :+: C1 ('MetaCons "OnJoinQual" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Where

2 declarations

typetype WhereClause = AExpr

datadata WhereOrCurrentClause

References

| WHERE a_expr
| WHERE CURRENT_P OF cursor_name
| *EMPTY*

Constructors

ExprWhereOrCurrentClause AExpr
CursorWhereOrCurrentClause CursorName

Instances5Eq, Ord, Show, Generic, Rep

Eq WhereOrCurrentClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WhereOrCurrentClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WhereOrCurrentClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WhereOrCurrentClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WhereOrCurrentClause = D1 ('MetaData "WhereOrCurrentClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprWhereOrCurrentClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "CursorWhereOrCurrentClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CursorName)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Expression

36 declarations

typetype ExprList = NonEmpty AExpr

datadata AExpr

References

a_expr:
  | c_expr
  | a_expr TYPECAST Typename
  | a_expr COLLATE any_name
  | a_expr AT TIME ZONE a_expr
  | + a_expr
  | - a_expr
  | a_expr + a_expr
  | a_expr - a_expr
  | a_expr * a_expr
  | a_expr / a_expr
  | a_expr % a_expr
  | a_expr ^ a_expr
  | a_expr < a_expr
  | a_expr > a_expr
  | a_expr = a_expr
  | a_expr LESS_EQUALS a_expr
  | a_expr GREATER_EQUALS a_expr
  | a_expr NOT_EQUALS a_expr
  | a_expr qual_Op a_expr
  | qual_Op a_expr
  | a_expr qual_Op
  | a_expr AND a_expr
  | a_expr OR a_expr
  | NOT a_expr
  | NOT_LA a_expr
  | a_expr LIKE a_expr
  | a_expr LIKE a_expr ESCAPE a_expr
  | a_expr NOT_LA LIKE a_expr
  | a_expr NOT_LA LIKE a_expr ESCAPE a_expr
  | a_expr ILIKE a_expr
  | a_expr ILIKE a_expr ESCAPE a_expr
  | a_expr NOT_LA ILIKE a_expr
  | a_expr NOT_LA ILIKE a_expr ESCAPE a_expr
  | a_expr SIMILAR TO a_expr
  | a_expr SIMILAR TO a_expr ESCAPE a_expr
  | a_expr NOT_LA SIMILAR TO a_expr
  | a_expr NOT_LA SIMILAR TO a_expr ESCAPE a_expr
  | a_expr IS NULL_P
  | a_expr ISNULL
  | a_expr IS NOT NULL_P
  | a_expr NOTNULL
  | row OVERLAPS row
  | a_expr IS TRUE_P
  | a_expr IS NOT TRUE_P
  | a_expr IS FALSE_P
  | a_expr IS NOT FALSE_P
  | a_expr IS UNKNOWN
  | a_expr IS NOT UNKNOWN
  | a_expr IS DISTINCT FROM a_expr
  | a_expr IS NOT DISTINCT FROM a_expr
  | a_expr IS OF '(' type_list ')'
  | a_expr IS NOT OF '(' type_list ')'
  | a_expr BETWEEN opt_asymmetric b_expr AND a_expr
  | a_expr NOT_LA BETWEEN opt_asymmetric b_expr AND a_expr
  | a_expr BETWEEN SYMMETRIC b_expr AND a_expr
  | a_expr NOT_LA BETWEEN SYMMETRIC b_expr AND a_expr
  | a_expr IN_P in_expr
  | a_expr NOT_LA IN_P in_expr
  | a_expr subquery_Op sub_type select_with_parens
  | a_expr subquery_Op sub_type '(' a_expr ')'
  | UNIQUE select_with_parens
  | a_expr IS DOCUMENT_P
  | a_expr IS NOT DOCUMENT_P
  | DEFAULT

Instances5Eq, Ord, Show, Generic, Rep

Eq AExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AExpr = D1 ('MetaData "AExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((((C1 ('MetaCons "CExprAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: C1 ('MetaCons "TypecastAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename))) :+: (C1 ('MetaCons "CollateAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyName)) :+: (C1 ('MetaCons "AtTimeZoneAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "PlusAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "MinusAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "SymbolicBinOpAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicExprBinOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "PrefixQualOpAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "SuffixQualOpAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp)) :+: C1 ('MetaCons "AndAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))))) :+: (((C1 ('MetaCons "OrAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "NotAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) :+: (C1 ('MetaCons "VerbalExprBinOpAExpr" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerbalExprBinOp) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr))))) :+: (C1 ('MetaCons "ReversableOpAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExprReversableOp))) :+: C1 ('MetaCons "IsnullAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "NotnullAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "OverlapsAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Row) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Row))) :+: (C1 ('MetaCons "SubqueryAExpr" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubqueryOp)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubType) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either SelectWithParens AExpr)))) :+: (C1 ('MetaCons "UniqueAExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "DefaultAExpr" 'PrefixI 'False) U1)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata BExpr

References

b_expr:
  | c_expr
  | b_expr TYPECAST Typename
  | + b_expr
  | - b_expr
  | b_expr + b_expr
  | b_expr - b_expr
  | b_expr * b_expr
  | b_expr / b_expr
  | b_expr % b_expr
  | b_expr ^ b_expr
  | b_expr < b_expr
  | b_expr > b_expr
  | b_expr = b_expr
  | b_expr LESS_EQUALS b_expr
  | b_expr GREATER_EQUALS b_expr
  | b_expr NOT_EQUALS b_expr
  | b_expr qual_Op b_expr
  | qual_Op b_expr
  | b_expr qual_Op
  | b_expr IS DISTINCT FROM b_expr
  | b_expr IS NOT DISTINCT FROM b_expr
  | b_expr IS OF '(' type_list ')'
  | b_expr IS NOT OF '(' type_list ')'
  | b_expr IS DOCUMENT_P
  | b_expr IS NOT DOCUMENT_P

Constructors

CExprBExpr CExpr
TypecastBExpr BExpr Typename
PlusBExpr BExpr
MinusBExpr BExpr
SymbolicBinOpBExpr BExpr SymbolicExprBinOp BExpr
QualOpBExpr QualOp BExpr
IsOpBExpr BExpr Bool BExprIsOp

Instances5Eq, Ord, Show, Generic, Rep

Eq BExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord BExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show BExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic BExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep BExpr = D1 ('MetaData "BExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "CExprBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: (C1 ('MetaCons "TypecastBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: C1 ('MetaCons "PlusBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)))) :+: ((C1 ('MetaCons "MinusBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: C1 ('MetaCons "SymbolicBinOpBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicExprBinOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)))) :+: (C1 ('MetaCons "QualOpBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: C1 ('MetaCons "IsOpBExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExprIsOp))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata CExpr

References

c_expr:
  | columnref
  | AexprConst
  | PARAM opt_indirection
  | '(' a_expr ')' opt_indirection
  | case_expr
  | func_expr
  | select_with_parens
  | select_with_parens indirection
  | EXISTS select_with_parens
  | ARRAY select_with_parens
  | ARRAY array_expr
  | explicit_row
  | implicit_row
  | GROUPING '(' expr_list ')'

Instances5Eq, Ord, Show, Generic, Rep

Eq CExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord CExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show CExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic CExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep CExpr = D1 ('MetaData "CExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "ColumnrefCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Columnref)) :+: (C1 ('MetaCons "AexprConstCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AexprConst)) :+: C1 ('MetaCons "ParamCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))))) :+: (C1 ('MetaCons "InParensCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))) :+: (C1 ('MetaCons "CaseCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CaseExpr)) :+: C1 ('MetaCons "FuncCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExpr))))) :+: ((C1 ('MetaCons "SelectWithParensCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))) :+: (C1 ('MetaCons "ExistsCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "ArrayCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either SelectWithParens ArrayExpr))))) :+: (C1 ('MetaCons "ExplicitRowCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExplicitRow)) :+: (C1 ('MetaCons "ImplicitRowCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplicitRow)) :+: C1 ('MetaCons "GroupingCExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata InExpr

References

in_expr:
  | select_with_parens
  | '(' expr_list ')'

Constructors

SelectInExpr SelectWithParens
ExprListInExpr ExprList

Instances5Eq, Ord, Show, Generic, Rep

Eq InExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord InExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show InExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic InExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep InExpr = D1 ('MetaData "InExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SelectInExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "ExprListInExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SubType

References

sub_type:
  | ANY
  | SOME
  | ALL

AnySubType SomeSubType AllSubType

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SubTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SubType = D1 ('MetaData "SubType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AnySubType" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "SomeSubType" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AllSubType" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ArrayExpr

References

array_expr:
  | '[' expr_list ']'
  | '[' array_expr_list ']'
  | '[' ']'

Constructors

ExprListArrayExpr ExprList
ArrayExprListArrayExpr ArrayExprList
EmptyArrayExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq ArrayExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ArrayExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ArrayExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ArrayExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ArrayExpr = D1 ('MetaData "ArrayExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprListArrayExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "ArrayExprListArrayExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayExprList)) :+: C1 ('MetaCons "EmptyArrayExpr" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ArrayExprList = NonEmpty ArrayExpr

References

array_expr_list:
  | array_expr
  | array_expr_list ',' array_expr

datadata Row

References

row:
  | ROW '(' expr_list ')'
  | ROW '(' ')'
  | '(' expr_list ',' a_expr ')'

Constructors

ExplicitRowRow ExplicitRow
ImplicitRowRow ImplicitRow

Instances5Eq, Ord, Show, Generic, Rep

Eq RowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord RowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show RowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic RowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Row = D1 ('MetaData "Row" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExplicitRowRow" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExplicitRow)) :+: C1 ('MetaCons "ImplicitRowRow" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplicitRow)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ExplicitRow = Maybe ExprList

References

explicit_row:
  | ROW '(' expr_list ')'
  | ROW '(' ')'

datadata ImplicitRow

References

implicit_row:
  | '(' expr_list ',' a_expr ')'

Constructors

ImplicitRow ExprList AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq ImplicitRowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ImplicitRowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ImplicitRowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ImplicitRowDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ImplicitRow = D1 ('MetaData "ImplicitRow" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ImplicitRow" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncExpr

References

func_expr:
  | func_application within_group_clause filter_clause over_clause
  | func_expr_common_subexpr

Constructors

ApplicationFuncExpr FuncApplication (Maybe WithinGroupClause) (Maybe FilterClause) (Maybe OverClause)
SubexprFuncExpr FuncExprCommonSubexpr

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncExpr = D1 ('MetaData "FuncExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ApplicationFuncExpr" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithinGroupClause))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilterClause)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OverClause)))) :+: C1 ('MetaCons "SubexprFuncExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprCommonSubexpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncExprWindowless

References

func_expr_windowless:
  | func_application
  | func_expr_common_subexpr

Constructors

ApplicationFuncExprWindowless FuncApplication
CommonSubexprFuncExprWindowless FuncExprCommonSubexpr

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncExprWindowlessDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncExprWindowlessDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncExprWindowlessDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncExprWindowlessDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncExprWindowless = D1 ('MetaData "FuncExprWindowless" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ApplicationFuncExprWindowless" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication)) :+: C1 ('MetaCons "CommonSubexprFuncExprWindowless" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprCommonSubexpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype WithinGroupClause = SortClause

References

within_group_clause:
  | WITHIN GROUP_P '(' sort_clause ')'
  | EMPTY

typetype FilterClause = AExpr

References

filter_clause:
  | FILTER '(' WHERE a_expr ')'
  | EMPTY

datadata OverClause

References

over_clause:
  | OVER window_specification
  | OVER ColId
  | EMPTY

Constructors

WindowOverClause WindowSpecification
ColIdOverClause ColId

Instances5Eq, Ord, Show, Generic, Rep

Eq OverClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OverClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OverClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OverClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OverClause = D1 ('MetaData "OverClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WindowOverClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpecification)) :+: C1 ('MetaCons "ColIdOverClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncExprCommonSubexpr

References

func_expr_common_subexpr:
  | COLLATION FOR '(' a_expr ')'
  | CURRENT_DATE
  | CURRENT_TIME
  | CURRENT_TIME '(' Iconst ')'
  | CURRENT_TIMESTAMP
  | CURRENT_TIMESTAMP '(' Iconst ')'
  | LOCALTIME
  | LOCALTIME '(' Iconst ')'
  | LOCALTIMESTAMP
  | LOCALTIMESTAMP '(' Iconst ')'
  | CURRENT_ROLE
  | CURRENT_USER
  | SESSION_USER
  | USER
  | CURRENT_CATALOG
  | CURRENT_SCHEMA
  | CAST '(' a_expr AS Typename ')'
  | EXTRACT '(' extract_list ')'
  | OVERLAY '(' overlay_list ')'
  | POSITION '(' position_list ')'
  | SUBSTRING '(' substr_list ')'
  | TREAT '(' a_expr AS Typename ')'
  | TRIM '(' BOTH trim_list ')'
  | TRIM '(' LEADING trim_list ')'
  | TRIM '(' TRAILING trim_list ')'
  | TRIM '(' trim_list ')'
  | NULLIF '(' a_expr ',' a_expr ')'
  | COALESCE '(' expr_list ')'
  | GREATEST '(' expr_list ')'
  | LEAST '(' expr_list ')'
  | XMLCONCAT '(' expr_list ')'
  | XMLELEMENT '(' NAME_P ColLabel ')'
  | XMLELEMENT '(' NAME_P ColLabel ',' xml_attributes ')'
  | XMLELEMENT '(' NAME_P ColLabel ',' expr_list ')'
  | XMLELEMENT '(' NAME_P ColLabel ',' xml_attributes ',' expr_list ')'
  | XMLEXISTS '(' c_expr xmlexists_argument ')'
  | XMLFOREST '(' xml_attribute_list ')'
  | XMLPARSE '(' document_or_content a_expr xml_whitespace_option ')'
  | XMLPI '(' NAME_P ColLabel ')'
  | XMLPI '(' NAME_P ColLabel ',' a_expr ')'
  | XMLROOT '(' a_expr ',' xml_root_version opt_xml_root_standalone ')'
  | XMLSERIALIZE '(' document_or_content a_expr AS SimpleTypename ')'

TODO: Implement the XML cases

Constructors

CollationForFuncExprCommonSubexpr AExpr
CurrentDateFuncExprCommonSubexpr
CurrentTimeFuncExprCommonSubexpr (Maybe Int64)
CurrentTimestampFuncExprCommonSubexpr (Maybe Int64)
LocalTimeFuncExprCommonSubexpr (Maybe Int64)
LocalTimestampFuncExprCommonSubexpr (Maybe Int64)
CurrentRoleFuncExprCommonSubexpr
CurrentUserFuncExprCommonSubexpr
SessionUserFuncExprCommonSubexpr
UserFuncExprCommonSubexpr
CurrentCatalogFuncExprCommonSubexpr
CurrentSchemaFuncExprCommonSubexpr
CastFuncExprCommonSubexpr AExpr Typename
ExtractFuncExprCommonSubexpr (Maybe ExtractList)
OverlayFuncExprCommonSubexpr OverlayList
PositionFuncExprCommonSubexpr (Maybe PositionList)
SubstringFuncExprCommonSubexpr (Maybe SubstrList)
TreatFuncExprCommonSubexpr AExpr Typename
TrimFuncExprCommonSubexpr (Maybe TrimModifier) TrimList
NullIfFuncExprCommonSubexpr AExpr AExpr
CoalesceFuncExprCommonSubexpr ExprList
GreatestFuncExprCommonSubexpr ExprList
LeastFuncExprCommonSubexpr ExprList

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncExprCommonSubexprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncExprCommonSubexprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncExprCommonSubexprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncExprCommonSubexprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncExprCommonSubexpr = D1 ('MetaData "FuncExprCommonSubexpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((((C1 ('MetaCons "CollationForFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "CurrentDateFuncExprCommonSubexpr" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CurrentTimeFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "CurrentTimestampFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: C1 ('MetaCons "LocalTimeFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)))))) :+: ((C1 ('MetaCons "LocalTimestampFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "CurrentRoleFuncExprCommonSubexpr" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CurrentUserFuncExprCommonSubexpr" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "SessionUserFuncExprCommonSubexpr" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "UserFuncExprCommonSubexpr" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CurrentCatalogFuncExprCommonSubexpr" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "CurrentSchemaFuncExprCommonSubexpr" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CastFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: C1 ('MetaCons "ExtractFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExtractList))))) :+: (C1 ('MetaCons "OverlayFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayList)) :+: (C1 ('MetaCons "PositionFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PositionList))) :+: C1 ('MetaCons "SubstringFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubstrList)))))) :+: ((C1 ('MetaCons "TreatFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: (C1 ('MetaCons "TrimFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TrimModifier)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TrimList)) :+: C1 ('MetaCons "NullIfFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "CoalesceFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "GreatestFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "LeastFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ExtractList

References

extract_list:
  | extract_arg FROM a_expr
  | EMPTY

Constructors

ExtractList ExtractArg AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq ExtractListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ExtractListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ExtractListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ExtractListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ExtractList = D1 ('MetaData "ExtractList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExtractList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtractArg) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ExtractArg

References

extract_arg:
  | IDENT
  | YEAR_P
  | MONTH_P
  | DAY_P
  | HOUR_P
  | MINUTE_P
  | SECOND_P
  | Sconst

Constructors

IdentExtractArg Ident
YearExtractArg
MonthExtractArg
DayExtractArg
HourExtractArg
MinuteExtractArg
SecondExtractArg
SconstExtractArg Sconst

Instances5Eq, Ord, Show, Generic, Rep

Eq ExtractArgDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ExtractArgDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ExtractArgDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ExtractArgDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ExtractArg = D1 ('MetaData "ExtractArg" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "IdentExtractArg" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "YearExtractArg" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "MonthExtractArg" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DayExtractArg" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "HourExtractArg" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MinuteExtractArg" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "SecondExtractArg" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SconstExtractArg" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata OverlayList

References

overlay_list:
  | a_expr overlay_placing substr_from substr_for
  | a_expr overlay_placing substr_from

Constructors

OverlayList AExpr OverlayPlacing SubstrFrom (Maybe SubstrFor)

Instances5Eq, Ord, Show, Generic, Rep

Eq OverlayListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord OverlayListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show OverlayListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic OverlayListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep OverlayList = D1 ('MetaData "OverlayList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "OverlayList" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayPlacing)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubstrFor)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype OverlayPlacing = AExpr

References

overlay_placing:
  | PLACING a_expr

datadata PositionList

References

position_list:
  | b_expr IN_P b_expr
  | EMPTY

Constructors

PositionList BExpr BExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq PositionListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord PositionListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show PositionListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic PositionListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep PositionList = D1 ('MetaData "PositionList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "PositionList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SubstrList

References

substr_list:
  | a_expr substr_from substr_for
  | a_expr substr_for substr_from
  | a_expr substr_from
  | a_expr substr_for
  | expr_list
  | EMPTY

Constructors

ExprSubstrList AExpr SubstrListFromFor
ExprListSubstrList ExprList

Instances5Eq, Ord, Show, Generic, Rep

Eq SubstrListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SubstrListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SubstrListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SubstrListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SubstrList = D1 ('MetaData "SubstrList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprSubstrList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrListFromFor)) :+: C1 ('MetaCons "ExprListSubstrList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SubstrListFromFor

References

  | a_expr substr_from substr_for
  | a_expr substr_for substr_from
  | a_expr substr_from
  | a_expr substr_for

Constructors

FromForSubstrListFromFor SubstrFrom SubstrFor
ForFromSubstrListFromFor SubstrFor SubstrFrom
FromSubstrListFromFor SubstrFrom
ForSubstrListFromFor SubstrFor

Instances5Eq, Ord, Show, Generic, Rep

Eq SubstrListFromForDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SubstrListFromForDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SubstrListFromForDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SubstrListFromForDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SubstrListFromFor = D1 ('MetaData "SubstrListFromFor" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "FromForSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor)) :+: C1 ('MetaCons "ForFromSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom))) :+: (C1 ('MetaCons "FromSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom)) :+: C1 ('MetaCons "ForSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype SubstrFrom = AExpr

References

substr_from:
  | FROM a_expr

typetype SubstrFor = AExpr

References

substr_for:
  | FOR a_expr

datadata TrimModifier

References

  | TRIM '(' BOTH trim_list ')'
  | TRIM '(' LEADING trim_list ')'
  | TRIM '(' TRAILING trim_list ')'

BothTrimModifier LeadingTrimModifier TrailingTrimModifier

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TrimModifierDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TrimModifier = D1 ('MetaData "TrimModifier" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "BothTrimModifier" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "LeadingTrimModifier" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TrailingTrimModifier" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata TrimList

References

trim_list:
  | a_expr FROM expr_list
  | FROM expr_list
  | expr_list

Constructors

ExprFromExprListTrimList AExpr ExprList
FromExprListTrimList ExprList
ExprListTrimList ExprList

Instances5Eq, Ord, Show, Generic, Rep

Eq TrimListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TrimListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TrimListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TrimListDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TrimList = D1 ('MetaData "TrimList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprFromExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "FromExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "ExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata CaseExpr

References

case_expr:
  | CASE case_arg when_clause_list case_default END_P

Constructors

CaseExpr (Maybe CaseArg) WhenClauseList (Maybe CaseDefault)

Instances5Eq, Ord, Show, Generic, Rep

Eq CaseExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord CaseExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show CaseExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic CaseExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep CaseExpr = D1 ('MetaData "CaseExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "CaseExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CaseArg)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhenClauseList) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CaseDefault)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype CaseArg = AExpr

References

case_arg:
  | a_expr
  | EMPTY

typetype WhenClauseList = NonEmpty WhenClause

References

when_clause_list:
  | when_clause
  | when_clause_list when_clause

typetype CaseDefault = AExpr

References

case_default:
  | ELSE a_expr
  | EMPTY

datadata WhenClause

References

when_clause:
  |  WHEN a_expr THEN a_expr

Constructors

WhenClause AExpr AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq WhenClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord WhenClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show WhenClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic WhenClauseDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep WhenClause = D1 ('MetaData "WhenClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "WhenClause" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncApplication

References

func_application:
  |  func_name '(' ')'
  |  func_name '(' func_arg_list opt_sort_clause ')'
  |  func_name '(' VARIADIC func_arg_expr opt_sort_clause ')'
  |  func_name '(' func_arg_list ',' VARIADIC func_arg_expr opt_sort_clause ')'
  |  func_name '(' ALL func_arg_list opt_sort_clause ')'
  |  func_name '(' DISTINCT func_arg_list opt_sort_clause ')'
  |  func_name '(' * ')'

Constructors

FuncApplication FuncName (Maybe FuncApplicationParams)

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncApplicationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncApplicationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncApplicationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncApplicationDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncApplication = D1 ('MetaData "FuncApplication" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "FuncApplication" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncApplicationParams))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncApplicationParams

References

func_application:
  |  func_name '(' ')'
  |  func_name '(' func_arg_list opt_sort_clause ')'
  |  func_name '(' VARIADIC func_arg_expr opt_sort_clause ')'
  |  func_name '(' func_arg_list ',' VARIADIC func_arg_expr opt_sort_clause ')'
  |  func_name '(' ALL func_arg_list opt_sort_clause ')'
  |  func_name '(' DISTINCT func_arg_list opt_sort_clause ')'
  |  func_name '(' * ')'

Constructors

NormalFuncApplicationParams (Maybe Bool) (NonEmpty FuncArgExpr) (Maybe SortClause)
VariadicFuncApplicationParams (Maybe (NonEmpty FuncArgExpr)) FuncArgExpr (Maybe SortClause)
StarFuncApplicationParams

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncApplicationParamsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncApplicationParamsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncApplicationParamsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncApplicationParamsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncApplicationParams = D1 ('MetaData "FuncApplicationParams" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "NormalFuncApplicationParams" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FuncArgExpr)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)))) :+: (C1 ('MetaCons "VariadicFuncApplicationParams" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty FuncArgExpr))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncArgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)))) :+: C1 ('MetaCons "StarFuncApplicationParams" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncArgExpr

Constructors

ExprFuncArgExpr AExpr
ColonEqualsFuncArgExpr Ident AExpr
EqualsGreaterFuncArgExpr Ident AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncArgExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncArgExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncArgExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncArgExprDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncArgExpr = D1 ('MetaData "FuncArgExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ExprFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "ColonEqualsFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "EqualsGreaterFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Constants

18 declarations

typetype Sconst = Text

typetype Iconst = Int64

typetype Fconst = Double

typetype Bconst = Text

typetype Xconst = Text

datadata AexprConst

Instances5Eq, Ord, Show, Generic, Rep

Eq AexprConstDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AexprConstDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AexprConstDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AexprConstDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AexprConst = D1 ('MetaData "AexprConst" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "IAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Iconst)) :+: C1 ('MetaCons "FAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fconst))) :+: (C1 ('MetaCons "SAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: (C1 ('MetaCons "BAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bconst)) :+: C1 ('MetaCons "XAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Xconst))))) :+: ((C1 ('MetaCons "FuncAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncConstArgs)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst))) :+: (C1 ('MetaCons "ConstTypenameAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstTypename) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: C1 ('MetaCons "StringIntervalAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Interval))))) :+: (C1 ('MetaCons "IntIntervalAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Iconst) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: (C1 ('MetaCons "BoolAexprConst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "NullAexprConst" 'PrefixI 'False) U1))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncConstArgs

References

  |  func_name '(' func_arg_list opt_sort_clause ')' Sconst

Constructors

FuncConstArgs (NonEmpty FuncArgExpr) (Maybe SortClause)

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncConstArgsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncConstArgsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncConstArgsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncConstArgsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncConstArgs = D1 ('MetaData "FuncConstArgs" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "FuncConstArgs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FuncArgExpr)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ConstTypename

References

ConstTypename:
  | Numeric
  | ConstBit
  | ConstCharacter
  | ConstDatetime

Constructors

NumericConstTypename Numeric
ConstBitConstTypename ConstBit
ConstCharacterConstTypename ConstCharacter
ConstDatetimeConstTypename ConstDatetime

Instances5Eq, Ord, Show, Generic, Rep

Eq ConstTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ConstTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ConstTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ConstTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ConstTypename = D1 ('MetaData "ConstTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "NumericConstTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Numeric)) :+: C1 ('MetaCons "ConstBitConstTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBit))) :+: (C1 ('MetaCons "ConstCharacterConstTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstCharacter)) :+: C1 ('MetaCons "ConstDatetimeConstTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstDatetime))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata Numeric

References

Numeric:
  | INT_P
  | INTEGER
  | SMALLINT
  | BIGINT
  | REAL
  | FLOAT_P opt_float
  | DOUBLE_P PRECISION
  | DECIMAL_P opt_type_modifiers
  | DEC opt_type_modifiers
  | NUMERIC opt_type_modifiers
  | BOOLEAN_P
opt_float:
  | '(' Iconst ')'
  | EMPTY
opt_type_modifiers:
  | '(' expr_list ')'
  | EMPTY

Constructors

IntNumeric
IntegerNumeric
SmallintNumeric
BigintNumeric
RealNumeric
FloatNumeric (Maybe Int64)
DoublePrecisionNumeric
DecimalNumeric (Maybe TypeModifiers)
DecNumeric (Maybe TypeModifiers)
NumericNumeric (Maybe TypeModifiers)
BooleanNumeric

Instances5Eq, Ord, Show, Generic, Rep

Eq NumericDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord NumericDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show NumericDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic NumericDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Numeric = D1 ('MetaData "Numeric" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "IntNumeric" 'PrefixI 'False) U1 :+: C1 ('MetaCons "IntegerNumeric" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "SmallintNumeric" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "BigintNumeric" 'PrefixI 'False) U1 :+: C1 ('MetaCons "RealNumeric" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "FloatNumeric" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "DoublePrecisionNumeric" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DecimalNumeric" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))))) :+: (C1 ('MetaCons "DecNumeric" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))) :+: (C1 ('MetaCons "NumericNumeric" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))) :+: C1 ('MetaCons "BooleanNumeric" 'PrefixI 'False) U1))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata Bit

References

Bit:
  | BitWithLength
  | BitWithoutLength
ConstBit:
  | BitWithLength
  | BitWithoutLength
BitWithLength:
  | BIT opt_varying '(' expr_list ')'
BitWithoutLength:
  | BIT opt_varying

Constructors

Bit OptVarying (Maybe ExprList)

Instances5Eq, Ord, Show, Generic, Rep

Eq BitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord BitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show BitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic BitDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Bit = D1 ('MetaData "Bit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "Bit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExprList))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ConstBit = Bit

typetype OptVarying = Bool

References

opt_varying:
  | VARYING
  | EMPTY

datadata ConstCharacter

References

Character:
  | CharacterWithLength
  | CharacterWithoutLength
ConstCharacter:
  | CharacterWithLength
  | CharacterWithoutLength
CharacterWithLength:
  | character '(' Iconst ')'
CharacterWithoutLength:
  | character

Constructors

ConstCharacter Character (Maybe Int64)

Instances5Eq, Ord, Show, Generic, Rep

Eq ConstCharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ConstCharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ConstCharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ConstCharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ConstCharacter = D1 ('MetaData "ConstCharacter" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "ConstCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Character) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata Character

References

character:
  | CHARACTER opt_varying
  | CHAR_P opt_varying
  | VARCHAR
  | NATIONAL CHARACTER opt_varying
  | NATIONAL CHAR_P opt_varying
  | NCHAR opt_varying

Constructors

CharacterCharacter OptVarying
CharCharacter OptVarying
VarcharCharacter
NationalCharacterCharacter OptVarying
NationalCharCharacter OptVarying
NcharCharacter OptVarying

Instances5Eq, Ord, Show, Generic, Rep

Eq CharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord CharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show CharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic CharacterDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Character = D1 ('MetaData "Character" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "CharacterCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: (C1 ('MetaCons "CharCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: C1 ('MetaCons "VarcharCharacter" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "NationalCharacterCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: (C1 ('MetaCons "NationalCharCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: C1 ('MetaCons "NcharCharacter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata ConstDatetime

References

ConstDatetime:
  | TIMESTAMP '(' Iconst ')' opt_timezone
  | TIMESTAMP opt_timezone
  | TIME '(' Iconst ')' opt_timezone
  | TIME opt_timezone

Constructors

TimestampConstDatetime (Maybe Int64) (Maybe Timezone)
TimeConstDatetime (Maybe Int64) (Maybe Timezone)

Instances5Eq, Ord, Show, Generic, Rep

Eq ConstDatetimeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ConstDatetimeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ConstDatetimeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ConstDatetimeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep ConstDatetime = D1 ('MetaData "ConstDatetime" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "TimestampConstDatetime" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timezone))) :+: C1 ('MetaCons "TimeConstDatetime" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timezone))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype Timezone = Bool

References

opt_timezone:
  | WITH_LA TIME ZONE
  | WITHOUT TIME ZONE
  | EMPTY

datadata Interval

References

opt_interval:
  | YEAR_P
  | MONTH_P
  | DAY_P
  | HOUR_P
  | MINUTE_P
  | interval_second
  | YEAR_P TO MONTH_P
  | DAY_P TO HOUR_P
  | DAY_P TO MINUTE_P
  | DAY_P TO interval_second
  | HOUR_P TO MINUTE_P
  | HOUR_P TO interval_second
  | MINUTE_P TO interval_second
  | EMPTY

Constructors

YearInterval
MonthInterval
DayInterval
HourInterval
MinuteInterval
SecondInterval IntervalSecond
YearToMonthInterval
DayToHourInterval
DayToMinuteInterval
DayToSecondInterval IntervalSecond
HourToMinuteInterval
HourToSecondInterval IntervalSecond
MinuteToSecondInterval IntervalSecond

Instances5Eq, Ord, Show, Generic, Rep

Eq IntervalDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord IntervalDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show IntervalDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic IntervalDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Interval = D1 ('MetaData "Interval" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "YearInterval" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "MonthInterval" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DayInterval" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "HourInterval" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "MinuteInterval" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SecondInterval" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond))))) :+: ((C1 ('MetaCons "YearToMonthInterval" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DayToHourInterval" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DayToMinuteInterval" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "DayToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond)) :+: C1 ('MetaCons "HourToMinuteInterval" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "HourToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond)) :+: C1 ('MetaCons "MinuteToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype IntervalSecond = Maybe Int64

References

interval_second:
  | SECOND_P
  | SECOND_P '(' Iconst ')'

Names & References

13 declarations

datadata Ident

References

IDENT

Constructors

QuotedIdent Text
UnquotedIdent Text

Instances5Eq, Ord, Show, Generic, Rep

Eq IdentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord IdentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show IdentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic IdentDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Ident = D1 ('MetaData "Ident" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "QuotedIdent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "UnquotedIdent" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ColId = Ident

References

ColId:
  | IDENT
  | unreserved_keyword
  | col_name_keyword

typetype ColLabel = Ident

References

ColLabel:
  | IDENT
  | unreserved_keyword
  | col_name_keyword
  | type_func_name_keyword
  | reserved_keyword

typetype Name = ColId

References

name:
  | ColId

typetype NameList = NonEmpty Name

References

name_list:
  | name
  | name_list ',' name

typetype CursorName = Name

References

cursor_name:
  | name

datadata Columnref

References

columnref:
  | ColId
  | ColId indirection

Constructors

Columnref ColId (Maybe Indirection)

Instances5Eq, Ord, Show, Generic, Rep

Eq ColumnrefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord ColumnrefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show ColumnrefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic ColumnrefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Columnref = D1 ('MetaData "Columnref" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "Columnref" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata AnyName

References

any_name:
  | ColId
  | ColId attrs

Constructors

AnyName ColId (Maybe Attrs)

Instances5Eq, Ord, Show, Generic, Rep

Eq AnyNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AnyNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AnyNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AnyNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AnyName = D1 ('MetaData "AnyName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AnyName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attrs))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata FuncName

References

func_name:
  | type_function_name
  | ColId indirection

Constructors

TypeFuncName TypeFunctionName
IndirectedFuncName ColId Indirection

Instances5Eq, Ord, Show, Generic, Rep

Eq FuncNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord FuncNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show FuncNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic FuncNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep FuncName = D1 ('MetaData "FuncName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "TypeFuncName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFunctionName)) :+: C1 ('MetaCons "IndirectedFuncName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Indirection)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype TypeFunctionName = Ident

References

type_function_name:
  | IDENT
  | unreserved_keyword
  | type_func_name_keyword

datadata QualifiedName

References

columnref:
  | ColId
  | ColId indirection
qualified_name:
  | ColId
  | ColId indirection

Constructors

SimpleQualifiedName Ident
IndirectedQualifiedName Ident Indirection

Instances5Eq, Ord, Show, Generic, Rep

Eq QualifiedNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord QualifiedNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show QualifiedNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic QualifiedNameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep QualifiedName = D1 ('MetaData "QualifiedName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "SimpleQualifiedName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "IndirectedQualifiedName" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Indirection)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype Indirection = NonEmpty IndirectionEl

References

indirection:
  |  indirection_el
  |  indirection indirection_el

datadata IndirectionEl

References

indirection_el:
  |  . attr_name
  |  . *
  |  '[' a_expr ']'
  |  '[' opt_slice_bound : opt_slice_bound ']'
opt_slice_bound:
  |  a_expr
  |  EMPTY

Constructors

AttrNameIndirectionEl Ident
AllIndirectionEl
ExprIndirectionEl AExpr
SliceIndirectionEl (Maybe AExpr) (Maybe AExpr)

Instances5Eq, Ord, Show, Generic, Rep

Eq IndirectionElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord IndirectionElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show IndirectionElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic IndirectionElDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep IndirectionEl = D1 ('MetaData "IndirectionEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "AttrNameIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "AllIndirectionEl" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ExprIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "SliceIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Types

9 declarations

datadata Typename

Typename definition extended with custom question-marks for nullability specification.

To match the standard Postgres syntax simply interpret their presence as a parsing error.

References

Typename:
  | SimpleTypename opt_array_bounds
  | SETOF SimpleTypename opt_array_bounds
  | SimpleTypename ARRAY '[' Iconst ']'
  | SETOF SimpleTypename ARRAY '[' Iconst ']'
  | SimpleTypename ARRAY
  | SETOF SimpleTypename ARRAY

Constructors

Typename Bool SimpleTypename Bool (Maybe (TypenameArrayDimensions, Bool))

Instances5Eq, Ord, Show, Generic, Rep

Eq TypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep Typename = D1 ('MetaData "Typename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "Typename" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTypename)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TypenameArrayDimensions, Bool))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata TypenameArrayDimensions

References

Part of the Typename specification responsible for the choice between the following:
  | opt_array_bounds
  | ARRAY '[' Iconst ']'
  | ARRAY

Constructors

BoundsTypenameArrayDimensions ArrayBounds
ExplicitTypenameArrayDimensions (Maybe Iconst)

Instances5Eq, Ord, Show, Generic, Rep

Eq TypenameArrayDimensionsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord TypenameArrayDimensionsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show TypenameArrayDimensionsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic TypenameArrayDimensionsDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep TypenameArrayDimensions = D1 ('MetaData "TypenameArrayDimensions" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "BoundsTypenameArrayDimensions" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayBounds)) :+: C1 ('MetaCons "ExplicitTypenameArrayDimensions" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Iconst))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype ArrayBounds = NonEmpty (Maybe Iconst)

References

opt_array_bounds:
  | opt_array_bounds '[' ']'
  | opt_array_bounds '[' Iconst ']'
  | EMPTY

datadata SimpleTypename

References

SimpleTypename:
  | GenericType
  | Numeric
  | Bit
  | Character
  | ConstDatetime
  | ConstInterval opt_interval
  | ConstInterval '(' Iconst ')'
ConstInterval:
  | INTERVAL

Constructors

GenericTypeSimpleTypename GenericType
NumericSimpleTypename Numeric
BitSimpleTypename Bit
CharacterSimpleTypename Character
ConstDatetimeSimpleTypename ConstDatetime
ConstIntervalSimpleTypename (Either (Maybe Interval) Iconst)

Instances5Eq, Ord, Show, Generic, Rep

Eq SimpleTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SimpleTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SimpleTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SimpleTypenameDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SimpleTypename = D1 ('MetaData "SimpleTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "GenericTypeSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenericType)) :+: (C1 ('MetaCons "NumericSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Numeric)) :+: C1 ('MetaCons "BitSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit)))) :+: (C1 ('MetaCons "CharacterSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Character)) :+: (C1 ('MetaCons "ConstDatetimeSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstDatetime)) :+: C1 ('MetaCons "ConstIntervalSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either (Maybe Interval) Iconst))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata GenericType

References

GenericType:
  | type_function_name opt_type_modifiers
  | type_function_name attrs opt_type_modifiers

Constructors

GenericType TypeFunctionName (Maybe Attrs) (Maybe TypeModifiers)

Instances5Eq, Ord, Show, Generic, Rep

Eq GenericTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord GenericTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show GenericTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic GenericTypeDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep GenericType = D1 ('MetaData "GenericType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "GenericType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFunctionName) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attrs)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers)))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype Attrs = NonEmpty AttrName

References

attrs:
  | . attr_name
  | attrs . attr_name

typetype AttrName = ColLabel

References

attr_name:
  | ColLabel

typetype TypeModifiers = ExprList

References

opt_type_modifiers:
  | '(' expr_list ')'
  | EMPTY

typetype TypeList = NonEmpty Typename

References

type_list:
  | Typename
  | type_list ',' Typename

Operators

11 declarations

datadata QualOp

References

qual_Op:
  | Op
  | OPERATOR '(' any_operator ')'

Constructors

OpQualOp Op
OperatorQualOp AnyOperator

Instances5Eq, Ord, Show, Generic, Rep

Eq QualOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord QualOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show QualOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic QualOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep QualOp = D1 ('MetaData "QualOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "OpQualOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op)) :+: C1 ('MetaCons "OperatorQualOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata QualAllOp

References

qual_all_Op:
  | all_Op
  | OPERATOR '(' any_operator ')'

Constructors

AllQualAllOp AllOp
AnyQualAllOp AnyOperator

Instances5Eq, Ord, Show, Generic, Rep

Eq QualAllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord QualAllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show QualAllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic QualAllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep QualAllOp = D1 ('MetaData "QualAllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AllQualAllOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "AnyQualAllOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype Op = Text

References

The operator name is a sequence of up to NAMEDATALEN-1 (63 by default)
characters from the following list:

+ - * /  = ~ !  # % ^ & | ` ?

There are a few restrictions on your choice of name:
-- and /* cannot appear anywhere in an operator name,
since they will be taken as the start of a comment.

A multicharacter operator name cannot end in + or -,
unless the name also contains at least one of these characters:

~ !  # % ^ & | ` ?

For example, @- is an allowed operator name, but *- is not.
This restriction allows PostgreSQL to parse SQL-compliant
commands without requiring spaces between tokens.
The use of => as an operator name is deprecated.
It may be disallowed altogether in a future release.

The operator != is mapped to <> on input,
so these two names are always equivalent.

datadata AnyOperator

References

any_operator:
  | all_Op
  | ColId . any_operator

Constructors

AllOpAnyOperator AllOp
QualifiedAnyOperator ColId AnyOperator

Instances5Eq, Ord, Show, Generic, Rep

Eq AnyOperatorDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AnyOperatorDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AnyOperatorDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AnyOperatorDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AnyOperator = D1 ('MetaData "AnyOperator" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AllOpAnyOperator" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "QualifiedAnyOperator" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata AllOp

References

all_Op:
  | Op
  | MathOp

Constructors

OpAllOp Op
MathAllOp MathOp

Instances5Eq, Ord, Show, Generic, Rep

Eq AllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AllOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AllOp = D1 ('MetaData "AllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "OpAllOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op)) :+: C1 ('MetaCons "MathAllOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MathOp)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata MathOp

References

MathOp:
  | +
  | -
  | *
  | /
  | %
  | ^
  | <
  | >
  | =
  | LESS_EQUALS
  | GREATER_EQUALS
  | NOT_EQUALS

PlusMathOp MinusMathOp AsteriskMathOp SlashMathOp PercentMathOp ArrowUpMathOp ArrowLeftMathOp ArrowRightMathOp EqualsMathOp LessEqualsMathOp GreaterEqualsMathOp ArrowLeftArrowRightMathOp ExclamationEqualsMathOp

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic MathOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep MathOp = D1 ('MetaData "MathOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "PlusMathOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "MinusMathOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "AsteriskMathOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "SlashMathOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "PercentMathOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ArrowUpMathOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "ArrowLeftMathOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ArrowRightMathOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "EqualsMathOp" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "LessEqualsMathOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GreaterEqualsMathOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "ArrowLeftArrowRightMathOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ExclamationEqualsMathOp" 'PrefixI 'False) U1))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SymbolicExprBinOp

Constructors

MathSymbolicExprBinOp MathOp
QualSymbolicExprBinOp QualOp

Instances5Eq, Ord, Show, Generic, Rep

Eq SymbolicExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SymbolicExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SymbolicExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SymbolicExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SymbolicExprBinOp = D1 ('MetaData "SymbolicExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "MathSymbolicExprBinOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MathOp)) :+: C1 ('MetaCons "QualSymbolicExprBinOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp)))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata VerbalExprBinOp

LikeVerbalExprBinOp IlikeVerbalExprBinOp SimilarToVerbalExprBinOp

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic VerbalExprBinOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep VerbalExprBinOp = D1 ('MetaData "VerbalExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "LikeVerbalExprBinOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "IlikeVerbalExprBinOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SimilarToVerbalExprBinOp" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata AExprReversableOp

References

  | a_expr IS NULL_P
  | a_expr IS TRUE_P
  | a_expr IS FALSE_P
  | a_expr IS UNKNOWN
  | a_expr IS DISTINCT FROM a_expr
  | a_expr IS OF '(' type_list ')'
  | a_expr BETWEEN opt_asymmetric b_expr AND a_expr
  | a_expr BETWEEN SYMMETRIC b_expr AND a_expr
  | a_expr IN_P in_expr
  | a_expr IS DOCUMENT_P

Constructors

NullAExprReversableOp
TrueAExprReversableOp
FalseAExprReversableOp
UnknownAExprReversableOp
DistinctFromAExprReversableOp AExpr
OfAExprReversableOp TypeList
BetweenAExprReversableOp Bool BExpr AExpr
BetweenSymmetricAExprReversableOp BExpr AExpr
InAExprReversableOp InExpr
DocumentAExprReversableOp

Instances5Eq, Ord, Show, Generic, Rep

Eq AExprReversableOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AExprReversableOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AExprReversableOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AExprReversableOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AExprReversableOp = D1 ('MetaData "AExprReversableOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (((C1 ('MetaCons "NullAExprReversableOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TrueAExprReversableOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "FalseAExprReversableOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "UnknownAExprReversableOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DistinctFromAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "OfAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeList)) :+: C1 ('MetaCons "BetweenAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "BetweenSymmetricAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "InAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InExpr)) :+: C1 ('MetaCons "DocumentAExprReversableOp" 'PrefixI 'False) U1))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata BExprIsOp

References

  | b_expr IS DISTINCT FROM b_expr
  | b_expr IS NOT DISTINCT FROM b_expr
  | b_expr IS OF '(' type_list ')'
  | b_expr IS NOT OF '(' type_list ')'
  | b_expr IS DOCUMENT_P
  | b_expr IS NOT DOCUMENT_P

Constructors

DistinctFromBExprIsOp BExpr
OfBExprIsOp TypeList
DocumentBExprIsOp

Instances5Eq, Ord, Show, Generic, Rep

Eq BExprIsOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord BExprIsOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show BExprIsOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic BExprIsOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep BExprIsOp = D1 ('MetaData "BExprIsOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "DistinctFromBExprIsOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: (C1 ('MetaCons "OfBExprIsOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeList)) :+: C1 ('MetaCons "DocumentBExprIsOp" 'PrefixI 'False) U1))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata SubqueryOp

References

subquery_Op:
  | all_Op
  | OPERATOR '(' any_operator ')'
  | LIKE
  | NOT_LA LIKE
  | ILIKE
  | NOT_LA ILIKE

Constructors

AllSubqueryOp AllOp
AnySubqueryOp AnyOperator
LikeSubqueryOp Bool
IlikeSubqueryOp Bool

Instances5Eq, Ord, Show, Generic, Rep

Eq SubqueryOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord SubqueryOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show SubqueryOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic SubqueryOpDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep SubqueryOp = D1 ('MetaData "SubqueryOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) ((C1 ('MetaCons "AllSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "AnySubqueryOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator))) :+: (C1 ('MetaCons "LikeSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "IlikeSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

Indexes

7 declarations

typetype IndexParams = NonEmpty IndexElem

References

index_params:
  | index_elem
  | index_params ',' index_elem

datadata IndexElem

References

index_elem:
  | ColId opt_collate opt_class opt_asc_desc opt_nulls_order
  | func_expr_windowless opt_collate opt_class opt_asc_desc opt_nulls_order
  | '(' a_expr ')' opt_collate opt_class opt_asc_desc opt_nulls_order

Constructors

IndexElem IndexElemDef (Maybe Collate) (Maybe Class) (Maybe AscDesc) (Maybe NullsOrder)

Instances5Eq, Ord, Show, Generic, Rep

Eq IndexElemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord IndexElemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show IndexElemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic IndexElemDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep IndexElem = D1 ('MetaData "IndexElem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "IndexElem" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexElemDef) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Collate))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Class)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AscDesc)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder))))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata IndexElemDef

References

  | ColId opt_collate opt_class opt_asc_desc opt_nulls_order
  | func_expr_windowless opt_collate opt_class opt_asc_desc opt_nulls_order
  | '(' a_expr ')' opt_collate opt_class opt_asc_desc opt_nulls_order

Constructors

IdIndexElemDef ColId
FuncIndexElemDef FuncExprWindowless
ExprIndexElemDef AExpr

Instances5Eq, Ord, Show, Generic, Rep

Eq IndexElemDefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord IndexElemDefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show IndexElemDefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic IndexElemDefDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep IndexElemDef = D1 ('MetaData "IndexElemDef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "IdIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId)) :+: (C1 ('MetaCons "FuncIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless)) :+: C1 ('MetaCons "ExprIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

typetype Collate = AnyName

References

opt_collate:
  | COLLATE any_name
  | EMPTY

typetype Class = AnyName

References

opt_class:
  | any_name
  | EMPTY

datadata AscDesc

References

opt_asc_desc:
  | ASC
  | DESC
  | EMPTY

AscAscDesc DescAscDesc

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic AscDescDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep AscDesc = D1 ('MetaData "AscDesc" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "AscAscDesc" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DescAscDesc" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast

datadata NullsOrder

References

opt_nulls_order:
  | NULLS_LA FIRST_P
  | NULLS_LA LAST_P
  | EMPTY

FirstNullsOrder LastNullsOrder

Instances7Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Enum NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Eq NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Ord NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Show NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
Generic NullsOrderDefined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast
type Rep NullsOrder = D1 ('MetaData "NullsOrder" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.1-HRWLsauwoiMBpucBUqtiea" 'False) (C1 ('MetaCons "FirstNullsOrder" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LastNullsOrder" 'PrefixI 'False) U1)Defined in postgresql-syntax-0.4.1.1 · PostgresqlSyntax.Ast