| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PostgresqlSyntax.Ast
Description
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.
Synopsis
- data PreparableStmt
- newtype CallStmt = CallStmt FuncApplication
- data InsertStmt = InsertStmt (Maybe WithClause) InsertTarget InsertRest (Maybe OnConflict) (Maybe ReturningClause)
- data InsertTarget = InsertTarget QualifiedName (Maybe ColId)
- data InsertRest
- data OverrideKind
- type InsertColumnList = NonEmpty InsertColumnItem
- data InsertColumnItem = InsertColumnItem ColId (Maybe Indirection)
- data OnConflict = OnConflict (Maybe ConfExpr) OnConflictDo
- data OnConflictDo
- data ConfExpr
- type ReturningClause = TargetList
- data UpdateStmt = UpdateStmt (Maybe WithClause) RelationExprOptAlias SetClauseList (Maybe FromClause) (Maybe WhereOrCurrentClause) (Maybe ReturningClause)
- type SetClauseList = NonEmpty SetClause
- data SetClause
- data SetTarget = SetTarget ColId (Maybe Indirection)
- type SetTargetList = NonEmpty SetTarget
- data DeleteStmt = DeleteStmt (Maybe WithClause) RelationExprOptAlias (Maybe UsingClause) (Maybe WhereOrCurrentClause) (Maybe ReturningClause)
- type UsingClause = FromList
- type SelectStmt = Either SelectNoParens SelectWithParens
- data SelectWithParens
- data SelectNoParens = SelectNoParens (Maybe WithClause) SelectClause (Maybe SortClause) (Maybe SelectLimit) (Maybe ForLockingClause)
- type SelectClause = Either SimpleSelect SelectWithParens
- data SimpleSelect
- data Targeting
- type TargetList = NonEmpty TargetEl
- data TargetEl
- data SelectBinOp
- data WithClause = WithClause Bool (NonEmpty CommonTableExpr)
- data CommonTableExpr = CommonTableExpr Ident (Maybe (NonEmpty Ident)) (Maybe Bool) PreparableStmt
- type IntoClause = OptTempTableName
- data OptTempTableName
- = TemporaryOptTempTableName Bool QualifiedName
- | TempOptTempTableName Bool QualifiedName
- | LocalTemporaryOptTempTableName Bool QualifiedName
- | LocalTempOptTempTableName Bool QualifiedName
- | GlobalTemporaryOptTempTableName Bool QualifiedName
- | GlobalTempOptTempTableName Bool QualifiedName
- | UnloggedOptTempTableName Bool QualifiedName
- | TableOptTempTableName QualifiedName
- | QualifedOptTempTableName QualifiedName
- type FromClause = NonEmpty TableRef
- type GroupClause = NonEmpty GroupByItem
- data GroupByItem
- type HavingClause = AExpr
- type WindowClause = NonEmpty WindowDefinition
- data WindowDefinition = WindowDefinition Ident WindowSpecification
- data WindowSpecification = WindowSpecification (Maybe ExistingWindowName) (Maybe PartitionClause) (Maybe SortClause) (Maybe FrameClause)
- type ExistingWindowName = ColId
- type PartitionClause = ExprList
- data FrameClause = FrameClause FrameClauseMode FrameExtent (Maybe WindowExclusionClause)
- data FrameClauseMode
- data FrameExtent
- data FrameBound
- data WindowExclusionClause
- type ValuesClause = NonEmpty ExprList
- type SortClause = NonEmpty SortBy
- data SortBy
- data SelectLimit
- data LimitClause
- data SelectFetchFirstValue
- data SelectLimitValue
- data OffsetClause
- data ForLockingClause
- data ForLockingItem = ForLockingItem ForLockingStrength (Maybe (NonEmpty QualifiedName)) (Maybe Bool)
- data ForLockingStrength
- type FromList = NonEmpty TableRef
- data TableRef
- data RelationExpr
- data RelationExprOptAlias = RelationExprOptAlias RelationExpr (Maybe (Bool, ColId))
- data TablesampleClause = TablesampleClause FuncName ExprList (Maybe RepeatableClause)
- type RepeatableClause = AExpr
- data FuncTable
- data RowsfromItem = RowsfromItem FuncExprWindowless (Maybe ColDefList)
- type RowsfromList = NonEmpty RowsfromItem
- type ColDefList = TableFuncElementList
- type OptOrdinality = Bool
- type TableFuncElementList = NonEmpty TableFuncElement
- data TableFuncElement = TableFuncElement ColId Typename (Maybe CollateClause)
- type CollateClause = AnyName
- data AliasClause = AliasClause Bool ColId (Maybe NameList)
- data FuncAliasClause
- data JoinedTable
- data JoinMeth
- data JoinType
- data JoinQual
- type WhereClause = AExpr
- data WhereOrCurrentClause
- type ExprList = NonEmpty AExpr
- data AExpr
- = CExprAExpr CExpr
- | TypecastAExpr AExpr Typename
- | CollateAExpr AExpr AnyName
- | AtTimeZoneAExpr AExpr AExpr
- | PlusAExpr AExpr
- | MinusAExpr AExpr
- | SymbolicBinOpAExpr AExpr SymbolicExprBinOp AExpr
- | PrefixQualOpAExpr QualOp AExpr
- | SuffixQualOpAExpr AExpr QualOp
- | AndAExpr AExpr AExpr
- | OrAExpr AExpr AExpr
- | NotAExpr AExpr
- | VerbalExprBinOpAExpr AExpr Bool VerbalExprBinOp AExpr (Maybe AExpr)
- | ReversableOpAExpr AExpr Bool AExprReversableOp
- | IsnullAExpr AExpr
- | NotnullAExpr AExpr
- | OverlapsAExpr Row Row
- | SubqueryAExpr AExpr SubqueryOp SubType (Either SelectWithParens AExpr)
- | UniqueAExpr SelectWithParens
- | DefaultAExpr
- data BExpr
- data CExpr
- = ColumnrefCExpr Columnref
- | AexprConstCExpr AexprConst
- | ParamCExpr Int (Maybe Indirection)
- | InParensCExpr AExpr (Maybe Indirection)
- | CaseCExpr CaseExpr
- | FuncCExpr FuncExpr
- | SelectWithParensCExpr SelectWithParens (Maybe Indirection)
- | ExistsCExpr SelectWithParens
- | ArrayCExpr (Either SelectWithParens ArrayExpr)
- | ExplicitRowCExpr ExplicitRow
- | ImplicitRowCExpr ImplicitRow
- | GroupingCExpr ExprList
- data InExpr
- data SubType
- data ArrayExpr
- type ArrayExprList = NonEmpty ArrayExpr
- data Row
- type ExplicitRow = Maybe ExprList
- data ImplicitRow = ImplicitRow ExprList AExpr
- data FuncExpr
- data FuncExprWindowless
- type WithinGroupClause = SortClause
- type FilterClause = AExpr
- data OverClause
- data FuncExprCommonSubexpr
- = 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
- data ExtractList = ExtractList ExtractArg AExpr
- data ExtractArg
- data OverlayList = OverlayList AExpr OverlayPlacing SubstrFrom (Maybe SubstrFor)
- type OverlayPlacing = AExpr
- data PositionList = PositionList BExpr BExpr
- data SubstrList
- data SubstrListFromFor
- type SubstrFrom = AExpr
- type SubstrFor = AExpr
- data TrimModifier
- data TrimList
- data CaseExpr = CaseExpr (Maybe CaseArg) WhenClauseList (Maybe CaseDefault)
- type CaseArg = AExpr
- type WhenClauseList = NonEmpty WhenClause
- type CaseDefault = AExpr
- data WhenClause = WhenClause AExpr AExpr
- data FuncApplication = FuncApplication FuncName (Maybe FuncApplicationParams)
- data FuncApplicationParams
- data FuncArgExpr
- type Sconst = Text
- type Iconst = Int64
- type Fconst = Double
- type Bconst = Text
- type Xconst = Text
- data AexprConst
- = IAexprConst Iconst
- | FAexprConst Fconst
- | SAexprConst Sconst
- | BAexprConst Bconst
- | XAexprConst Xconst
- | FuncAexprConst FuncName (Maybe FuncConstArgs) Sconst
- | ConstTypenameAexprConst ConstTypename Sconst
- | StringIntervalAexprConst Sconst (Maybe Interval)
- | IntIntervalAexprConst Iconst Sconst
- | BoolAexprConst Bool
- | NullAexprConst
- data FuncConstArgs = FuncConstArgs (NonEmpty FuncArgExpr) (Maybe SortClause)
- data ConstTypename
- data Numeric
- data Bit = Bit OptVarying (Maybe ExprList)
- type ConstBit = Bit
- type OptVarying = Bool
- data ConstCharacter = ConstCharacter Character (Maybe Int64)
- data Character
- data ConstDatetime
- type Timezone = Bool
- data Interval
- type IntervalSecond = Maybe Int64
- data Ident
- type ColId = Ident
- type ColLabel = Ident
- type Name = ColId
- type NameList = NonEmpty Name
- type CursorName = Name
- data Columnref = Columnref ColId (Maybe Indirection)
- data AnyName = AnyName ColId (Maybe Attrs)
- data FuncName
- type TypeFunctionName = Ident
- data QualifiedName
- type Indirection = NonEmpty IndirectionEl
- data IndirectionEl
- data Typename = Typename Bool SimpleTypename Bool (Maybe (TypenameArrayDimensions, Bool))
- data TypenameArrayDimensions
- type ArrayBounds = NonEmpty (Maybe Iconst)
- data SimpleTypename
- data GenericType = GenericType TypeFunctionName (Maybe Attrs) (Maybe TypeModifiers)
- type Attrs = NonEmpty AttrName
- type AttrName = ColLabel
- type TypeModifiers = ExprList
- type TypeList = NonEmpty Typename
- data QualOp
- data QualAllOp
- type Op = Text
- data AnyOperator
- data AllOp
- data MathOp
- data SymbolicExprBinOp
- data VerbalExprBinOp
- data AExprReversableOp
- = NullAExprReversableOp
- | TrueAExprReversableOp
- | FalseAExprReversableOp
- | UnknownAExprReversableOp
- | DistinctFromAExprReversableOp AExpr
- | OfAExprReversableOp TypeList
- | BetweenAExprReversableOp Bool BExpr AExpr
- | BetweenSymmetricAExprReversableOp BExpr AExpr
- | InAExprReversableOp InExpr
- | DocumentAExprReversableOp
- data BExprIsOp
- data SubqueryOp
- type IndexParams = NonEmpty IndexElem
- data IndexElem = IndexElem IndexElemDef (Maybe Collate) (Maybe Class) (Maybe AscDesc) (Maybe NullsOrder)
- data IndexElemDef
- type Collate = AnyName
- type Class = AnyName
- data AscDesc
- data NullsOrder
Statement
data PreparableStmt Source #
References
PreparableStmt: | SelectStmt | InsertStmt | UpdateStmt | DeleteStmt | CallStmt
Constructors
| SelectPreparableStmt SelectStmt | |
| InsertPreparableStmt InsertStmt | |
| UpdatePreparableStmt UpdateStmt | |
| DeletePreparableStmt DeleteStmt | |
| CallPreparableStmt CallStmt |
Instances
Call
Constructors
| CallStmt FuncApplication |
Instances
| Generic CallStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show CallStmt Source # | |||||
| Eq CallStmt Source # | |||||
| Ord CallStmt Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep CallStmt Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep CallStmt = D1 ('MetaData "CallStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'True) (C1 ('MetaCons "CallStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication))) | |||||
Insert
data InsertStmt Source #
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) |
Instances
| Generic InsertStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show InsertStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertStmt -> ShowS # show :: InsertStmt -> String # showList :: [InsertStmt] -> ShowS # | |||||
| Eq InsertStmt Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord InsertStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: InsertStmt -> InsertStmt -> Ordering # (<) :: InsertStmt -> InsertStmt -> Bool # (<=) :: InsertStmt -> InsertStmt -> Bool # (>) :: InsertStmt -> InsertStmt -> Bool # (>=) :: InsertStmt -> InsertStmt -> Bool # max :: InsertStmt -> InsertStmt -> InsertStmt # min :: InsertStmt -> InsertStmt -> InsertStmt # | |||||
| type Rep InsertStmt Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep InsertStmt = D1 ('MetaData "InsertStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "InsertStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertTarget)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertRest) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OnConflict)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause)))))) | |||||
data InsertTarget Source #
References
insert_target: | qualified_name | qualified_name AS ColId
Constructors
| InsertTarget QualifiedName (Maybe ColId) |
Instances
| Generic InsertTarget Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show InsertTarget Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertTarget -> ShowS # show :: InsertTarget -> String # showList :: [InsertTarget] -> ShowS # | |||||
| Eq InsertTarget Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord InsertTarget Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: InsertTarget -> InsertTarget -> Ordering # (<) :: InsertTarget -> InsertTarget -> Bool # (<=) :: InsertTarget -> InsertTarget -> Bool # (>) :: InsertTarget -> InsertTarget -> Bool # (>=) :: InsertTarget -> InsertTarget -> Bool # max :: InsertTarget -> InsertTarget -> InsertTarget # min :: InsertTarget -> InsertTarget -> InsertTarget # | |||||
| type Rep InsertTarget Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep InsertTarget = D1 ('MetaData "InsertTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "InsertTarget" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ColId)))) | |||||
data InsertRest Source #
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 |
Instances
| Generic InsertRest Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show InsertRest Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertRest -> ShowS # show :: InsertRest -> String # showList :: [InsertRest] -> ShowS # | |||||
| Eq InsertRest Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord InsertRest Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: InsertRest -> InsertRest -> Ordering # (<) :: InsertRest -> InsertRest -> Bool # (<=) :: InsertRest -> InsertRest -> Bool # (>) :: InsertRest -> InsertRest -> Bool # (>=) :: InsertRest -> InsertRest -> Bool # max :: InsertRest -> InsertRest -> InsertRest # min :: InsertRest -> InsertRest -> InsertRest # | |||||
| type Rep InsertRest Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep InsertRest = D1 ('MetaData "InsertRest" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SelectInsertRest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InsertColumnList)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OverrideKind)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectStmt))) :+: C1 ('MetaCons "DefaultValuesInsertRest" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
data OverrideKind Source #
References
override_kind: | USER | SYSTEM_P
Constructors
| UserOverrideKind | |
| SystemOverrideKind |
Instances
| Bounded OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Enum OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast Methods succ :: OverrideKind -> OverrideKind # pred :: OverrideKind -> OverrideKind # toEnum :: Int -> OverrideKind # fromEnum :: OverrideKind -> Int # enumFrom :: OverrideKind -> [OverrideKind] # enumFromThen :: OverrideKind -> OverrideKind -> [OverrideKind] # enumFromTo :: OverrideKind -> OverrideKind -> [OverrideKind] # enumFromThenTo :: OverrideKind -> OverrideKind -> OverrideKind -> [OverrideKind] # | |||||
| Generic OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverrideKind -> ShowS # show :: OverrideKind -> String # showList :: [OverrideKind] -> ShowS # | |||||
| Eq OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OverrideKind -> OverrideKind -> Ordering # (<) :: OverrideKind -> OverrideKind -> Bool # (<=) :: OverrideKind -> OverrideKind -> Bool # (>) :: OverrideKind -> OverrideKind -> Bool # (>=) :: OverrideKind -> OverrideKind -> Bool # max :: OverrideKind -> OverrideKind -> OverrideKind # min :: OverrideKind -> OverrideKind -> OverrideKind # | |||||
| type Rep OverrideKind Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
type InsertColumnList = NonEmpty InsertColumnItem Source #
References
insert_column_list: | insert_column_item | insert_column_list ',' insert_column_item
data InsertColumnItem Source #
References
insert_column_item: | ColId opt_indirection
Constructors
| InsertColumnItem ColId (Maybe Indirection) |
Instances
| Generic InsertColumnItem Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: InsertColumnItem -> Rep InsertColumnItem x # to :: Rep InsertColumnItem x -> InsertColumnItem # | |||||
| Show InsertColumnItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertColumnItem -> ShowS # show :: InsertColumnItem -> String # showList :: [InsertColumnItem] -> ShowS # | |||||
| Eq InsertColumnItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: InsertColumnItem -> InsertColumnItem -> Bool # (/=) :: InsertColumnItem -> InsertColumnItem -> Bool # | |||||
| Ord InsertColumnItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: InsertColumnItem -> InsertColumnItem -> Ordering # (<) :: InsertColumnItem -> InsertColumnItem -> Bool # (<=) :: InsertColumnItem -> InsertColumnItem -> Bool # (>) :: InsertColumnItem -> InsertColumnItem -> Bool # (>=) :: InsertColumnItem -> InsertColumnItem -> Bool # max :: InsertColumnItem -> InsertColumnItem -> InsertColumnItem # min :: InsertColumnItem -> InsertColumnItem -> InsertColumnItem # | |||||
| type Rep InsertColumnItem Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep InsertColumnItem = D1 ('MetaData "InsertColumnItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "InsertColumnItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection)))) | |||||
data OnConflict Source #
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 |
Instances
| Generic OnConflict Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OnConflict Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OnConflict -> ShowS # show :: OnConflict -> String # showList :: [OnConflict] -> ShowS # | |||||
| Eq OnConflict Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OnConflict Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OnConflict -> OnConflict -> Ordering # (<) :: OnConflict -> OnConflict -> Bool # (<=) :: OnConflict -> OnConflict -> Bool # (>) :: OnConflict -> OnConflict -> Bool # (>=) :: OnConflict -> OnConflict -> Bool # max :: OnConflict -> OnConflict -> OnConflict # min :: OnConflict -> OnConflict -> OnConflict # | |||||
| type Rep OnConflict Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OnConflict = D1 ('MetaData "OnConflict" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "OnConflict" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ConfExpr)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OnConflictDo))) | |||||
data OnConflictDo Source #
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 |
Instances
| Generic OnConflictDo Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OnConflictDo Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OnConflictDo -> ShowS # show :: OnConflictDo -> String # showList :: [OnConflictDo] -> ShowS # | |||||
| Eq OnConflictDo Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OnConflictDo Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OnConflictDo -> OnConflictDo -> Ordering # (<) :: OnConflictDo -> OnConflictDo -> Bool # (<=) :: OnConflictDo -> OnConflictDo -> Bool # (>) :: OnConflictDo -> OnConflictDo -> Bool # (>=) :: OnConflictDo -> OnConflictDo -> Bool # max :: OnConflictDo -> OnConflictDo -> OnConflictDo # min :: OnConflictDo -> OnConflictDo -> OnConflictDo # | |||||
| type Rep OnConflictDo Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OnConflictDo = D1 ('MetaData "OnConflictDo" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "UpdateOnConflictDo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetClauseList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause))) :+: C1 ('MetaCons "NothingOnConflictDo" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
References
opt_conf_expr:
| '(' index_params ')' where_clause
| ON CONSTRAINT name
| EMPTY
Constructors
| WhereConfExpr IndexParams (Maybe WhereClause) | |
| ConstraintConfExpr Name |
Instances
| Generic ConfExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ConfExpr Source # | |||||
| Eq ConfExpr Source # | |||||
| Ord ConfExpr Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep ConfExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ConfExpr = D1 ('MetaData "ConfExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WhereConfExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexParams) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause))) :+: C1 ('MetaCons "ConstraintConfExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
type ReturningClause = TargetList Source #
References
returning_clause: | RETURNING target_list | EMPTY
Update
data UpdateStmt Source #
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) |
Instances
| Generic UpdateStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show UpdateStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> UpdateStmt -> ShowS # show :: UpdateStmt -> String # showList :: [UpdateStmt] -> ShowS # | |||||
| Eq UpdateStmt Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord UpdateStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: UpdateStmt -> UpdateStmt -> Ordering # (<) :: UpdateStmt -> UpdateStmt -> Bool # (<=) :: UpdateStmt -> UpdateStmt -> Bool # (>) :: UpdateStmt -> UpdateStmt -> Bool # (>=) :: UpdateStmt -> UpdateStmt -> Bool # max :: UpdateStmt -> UpdateStmt -> UpdateStmt # min :: UpdateStmt -> UpdateStmt -> UpdateStmt # | |||||
| type Rep UpdateStmt Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep UpdateStmt = D1 ('MetaData "UpdateStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "UpdateStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExprOptAlias) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetClauseList))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FromClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereOrCurrentClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause)))))) | |||||
type SetClauseList = NonEmpty SetClause Source #
References
set_clause_list: | set_clause | set_clause_list ',' set_clause
References
set_clause:
| set_target '=' a_expr
| '(' set_target_list ')' '=' a_expr
Constructors
| TargetSetClause SetTarget AExpr | |
| TargetListSetClause SetTargetList AExpr |
Instances
| Generic SetClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SetClause Source # | |||||
| Eq SetClause Source # | |||||
| Ord SetClause Source # | |||||
| type Rep SetClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SetClause = D1 ('MetaData "SetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "TargetSetClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetTarget) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "TargetListSetClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetTargetList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) | |||||
References
set_target: | ColId opt_indirection
Constructors
| SetTarget ColId (Maybe Indirection) |
Instances
| Generic SetTarget Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SetTarget Source # | |||||
| Eq SetTarget Source # | |||||
| Ord SetTarget Source # | |||||
| type Rep SetTarget Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SetTarget = D1 ('MetaData "SetTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SetTarget" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection)))) | |||||
type SetTargetList = NonEmpty SetTarget Source #
References
set_target_list: | set_target | set_target_list ',' set_target
Delete
data DeleteStmt Source #
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) |
Instances
| Generic DeleteStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show DeleteStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> DeleteStmt -> ShowS # show :: DeleteStmt -> String # showList :: [DeleteStmt] -> ShowS # | |||||
| Eq DeleteStmt Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord DeleteStmt Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: DeleteStmt -> DeleteStmt -> Ordering # (<) :: DeleteStmt -> DeleteStmt -> Bool # (<=) :: DeleteStmt -> DeleteStmt -> Bool # (>) :: DeleteStmt -> DeleteStmt -> Bool # (>=) :: DeleteStmt -> DeleteStmt -> Bool # max :: DeleteStmt -> DeleteStmt -> DeleteStmt # min :: DeleteStmt -> DeleteStmt -> DeleteStmt # | |||||
| type Rep DeleteStmt Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep DeleteStmt = D1 ('MetaData "DeleteStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "DeleteStmt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExprOptAlias)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UsingClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereOrCurrentClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReturningClause)))))) | |||||
type UsingClause = FromList Source #
References
using_clause: | USING from_list | EMPTY
Select
type SelectStmt = Either SelectNoParens SelectWithParens Source #
References
SelectStmt: | select_no_parens | select_with_parens
data SelectWithParens Source #
References
select_with_parens:
| '(' select_no_parens ')'
| '(' select_with_parens ')'
Instances
| Generic SelectWithParens Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SelectWithParens -> Rep SelectWithParens x # to :: Rep SelectWithParens x -> SelectWithParens # | |||||
| Show SelectWithParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectWithParens -> ShowS # show :: SelectWithParens -> String # showList :: [SelectWithParens] -> ShowS # | |||||
| Eq SelectWithParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SelectWithParens -> SelectWithParens -> Bool # (/=) :: SelectWithParens -> SelectWithParens -> Bool # | |||||
| Ord SelectWithParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectWithParens -> SelectWithParens -> Ordering # (<) :: SelectWithParens -> SelectWithParens -> Bool # (<=) :: SelectWithParens -> SelectWithParens -> Bool # (>) :: SelectWithParens -> SelectWithParens -> Bool # (>=) :: SelectWithParens -> SelectWithParens -> Bool # max :: SelectWithParens -> SelectWithParens -> SelectWithParens # min :: SelectWithParens -> SelectWithParens -> SelectWithParens # | |||||
| type Rep SelectWithParens Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectWithParens = D1 ('MetaData "SelectWithParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "NoParensSelectWithParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectNoParens)) :+: C1 ('MetaCons "WithParensSelectWithParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens))) | |||||
data SelectNoParens Source #
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) |
Instances
| Generic SelectNoParens Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SelectNoParens -> Rep SelectNoParens x # to :: Rep SelectNoParens x -> SelectNoParens # | |||||
| Show SelectNoParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectNoParens -> ShowS # show :: SelectNoParens -> String # showList :: [SelectNoParens] -> ShowS # | |||||
| Eq SelectNoParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SelectNoParens -> SelectNoParens -> Bool # (/=) :: SelectNoParens -> SelectNoParens -> Bool # | |||||
| Ord SelectNoParens Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectNoParens -> SelectNoParens -> Ordering # (<) :: SelectNoParens -> SelectNoParens -> Bool # (<=) :: SelectNoParens -> SelectNoParens -> Bool # (>) :: SelectNoParens -> SelectNoParens -> Bool # (>=) :: SelectNoParens -> SelectNoParens -> Bool # max :: SelectNoParens -> SelectNoParens -> SelectNoParens # min :: SelectNoParens -> SelectNoParens -> SelectNoParens # | |||||
| type Rep SelectNoParens Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectNoParens = D1 ('MetaData "SelectNoParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SelectNoParens" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SelectLimit)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ForLockingClause)))))) | |||||
type SelectClause = Either SimpleSelect SelectWithParens Source #
select_clause: | simple_select | select_with_parens
data SimpleSelect Source #
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
Constructors
| NormalSimpleSelect (Maybe Targeting) (Maybe IntoClause) (Maybe FromClause) (Maybe WhereClause) (Maybe GroupClause) (Maybe HavingClause) (Maybe WindowClause) | |
| ValuesSimpleSelect ValuesClause | |
| TableSimpleSelect RelationExpr | |
| BinSimpleSelect SelectBinOp SelectClause (Maybe Bool) SelectClause |
Instances
| Generic SimpleSelect Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SimpleSelect Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SimpleSelect -> ShowS # show :: SimpleSelect -> String # showList :: [SimpleSelect] -> ShowS # | |||||
| Eq SimpleSelect Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord SimpleSelect Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SimpleSelect -> SimpleSelect -> Ordering # (<) :: SimpleSelect -> SimpleSelect -> Bool # (<=) :: SimpleSelect -> SimpleSelect -> Bool # (>) :: SimpleSelect -> SimpleSelect -> Bool # (>=) :: SimpleSelect -> SimpleSelect -> Bool # max :: SimpleSelect -> SimpleSelect -> SimpleSelect # min :: SimpleSelect -> SimpleSelect -> SimpleSelect # | |||||
| type Rep SimpleSelect Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SimpleSelect = D1 ('MetaData "SimpleSelect" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "NormalSimpleSelect" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Targeting)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IntoClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FromClause)))) :*: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WhereClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GroupClause))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HavingClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WindowClause))))) :+: C1 ('MetaCons "ValuesSimpleSelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValuesClause))) :+: (C1 ('MetaCons "TableSimpleSelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr)) :+: C1 ('MetaCons "BinSimpleSelect" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectBinOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectClause))))) | |||||
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 |
Instances
| Generic Targeting Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Targeting Source # | |||||
| Eq Targeting Source # | |||||
| Ord Targeting Source # | |||||
| type Rep Targeting Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Targeting = D1 ('MetaData "Targeting" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "NormalTargeting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TargetList)) :+: (C1 ('MetaCons "AllTargeting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TargetList))) :+: C1 ('MetaCons "DistinctTargeting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExprList)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TargetList)))) | |||||
type TargetList = NonEmpty TargetEl Source #
References
target_list: | target_el | target_list ',' target_el
References
target_el:
| a_expr AS ColLabel
| a_expr IDENT
| a_expr
| *
Constructors
| AliasedExprTargetEl AExpr Ident | |
| ImplicitlyAliasedExprTargetEl AExpr Ident | |
| ExprTargetEl AExpr | |
| AsteriskTargetEl |
Instances
| Generic TargetEl Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show TargetEl Source # | |||||
| Eq TargetEl Source # | |||||
| Ord TargetEl Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep TargetEl Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TargetEl = D1 ('MetaData "TargetEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "AliasedExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "ImplicitlyAliasedExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))) :+: (C1 ('MetaCons "ExprTargetEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "AsteriskTargetEl" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data SelectBinOp Source #
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
Constructors
| UnionSelectBinOp | |
| IntersectSelectBinOp | |
| ExceptSelectBinOp |
Instances
| Generic SelectBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SelectBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectBinOp -> ShowS # show :: SelectBinOp -> String # showList :: [SelectBinOp] -> ShowS # | |||||
| Eq SelectBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord SelectBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectBinOp -> SelectBinOp -> Ordering # (<) :: SelectBinOp -> SelectBinOp -> Bool # (<=) :: SelectBinOp -> SelectBinOp -> Bool # (>) :: SelectBinOp -> SelectBinOp -> Bool # (>=) :: SelectBinOp -> SelectBinOp -> Bool # max :: SelectBinOp -> SelectBinOp -> SelectBinOp # min :: SelectBinOp -> SelectBinOp -> SelectBinOp # | |||||
| type Rep SelectBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectBinOp = D1 ('MetaData "SelectBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "UnionSelectBinOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntersectSelectBinOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExceptSelectBinOp" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data WithClause Source #
References
with_clause: | WITH cte_list | WITH_LA cte_list | WITH RECURSIVE cte_list
Constructors
| WithClause Bool (NonEmpty CommonTableExpr) |
Instances
| Generic WithClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show WithClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WithClause -> ShowS # show :: WithClause -> String # showList :: [WithClause] -> ShowS # | |||||
| Eq WithClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord WithClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WithClause -> WithClause -> Ordering # (<) :: WithClause -> WithClause -> Bool # (<=) :: WithClause -> WithClause -> Bool # (>) :: WithClause -> WithClause -> Bool # (>=) :: WithClause -> WithClause -> Bool # max :: WithClause -> WithClause -> WithClause # min :: WithClause -> WithClause -> WithClause # | |||||
| type Rep WithClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WithClause = D1 ('MetaData "WithClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WithClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty CommonTableExpr)))) | |||||
data CommonTableExpr Source #
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 |
Instances
| Generic CommonTableExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: CommonTableExpr -> Rep CommonTableExpr x # to :: Rep CommonTableExpr x -> CommonTableExpr # | |||||
| Show CommonTableExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> CommonTableExpr -> ShowS # show :: CommonTableExpr -> String # showList :: [CommonTableExpr] -> ShowS # | |||||
| Eq CommonTableExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: CommonTableExpr -> CommonTableExpr -> Bool # (/=) :: CommonTableExpr -> CommonTableExpr -> Bool # | |||||
| Ord CommonTableExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: CommonTableExpr -> CommonTableExpr -> Ordering # (<) :: CommonTableExpr -> CommonTableExpr -> Bool # (<=) :: CommonTableExpr -> CommonTableExpr -> Bool # (>) :: CommonTableExpr -> CommonTableExpr -> Bool # (>=) :: CommonTableExpr -> CommonTableExpr -> Bool # max :: CommonTableExpr -> CommonTableExpr -> CommonTableExpr # min :: CommonTableExpr -> CommonTableExpr -> CommonTableExpr # | |||||
| type Rep CommonTableExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep CommonTableExpr = D1 ('MetaData "CommonTableExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "CommonTableExpr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty Ident)))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PreparableStmt)))) | |||||
type IntoClause = OptTempTableName Source #
data OptTempTableName Source #
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
Constructors
| TemporaryOptTempTableName Bool QualifiedName | |
| TempOptTempTableName Bool QualifiedName | |
| LocalTemporaryOptTempTableName Bool QualifiedName | |
| LocalTempOptTempTableName Bool QualifiedName | |
| GlobalTemporaryOptTempTableName Bool QualifiedName | |
| GlobalTempOptTempTableName Bool QualifiedName | |
| UnloggedOptTempTableName Bool QualifiedName | |
| TableOptTempTableName QualifiedName | |
| QualifedOptTempTableName QualifiedName |
Instances
| Generic OptTempTableName Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: OptTempTableName -> Rep OptTempTableName x # to :: Rep OptTempTableName x -> OptTempTableName # | |||||
| Show OptTempTableName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OptTempTableName -> ShowS # show :: OptTempTableName -> String # showList :: [OptTempTableName] -> ShowS # | |||||
| Eq OptTempTableName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: OptTempTableName -> OptTempTableName -> Bool # (/=) :: OptTempTableName -> OptTempTableName -> Bool # | |||||
| Ord OptTempTableName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OptTempTableName -> OptTempTableName -> Ordering # (<) :: OptTempTableName -> OptTempTableName -> Bool # (<=) :: OptTempTableName -> OptTempTableName -> Bool # (>) :: OptTempTableName -> OptTempTableName -> Bool # (>=) :: OptTempTableName -> OptTempTableName -> Bool # max :: OptTempTableName -> OptTempTableName -> OptTempTableName # min :: OptTempTableName -> OptTempTableName -> OptTempTableName # | |||||
| type Rep OptTempTableName Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OptTempTableName = D1 ('MetaData "OptTempTableName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "TemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "TempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))) :+: (C1 ('MetaCons "LocalTemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "LocalTempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))) :+: ((C1 ('MetaCons "GlobalTemporaryOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "GlobalTempOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))) :+: (C1 ('MetaCons "UnloggedOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: (C1 ('MetaCons "TableOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "QualifedOptTempTableName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))))) | |||||
type FromClause = NonEmpty TableRef Source #
type GroupClause = NonEmpty GroupByItem Source #
data GroupByItem Source #
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) |
Instances
| Generic GroupByItem Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show GroupByItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> GroupByItem -> ShowS # show :: GroupByItem -> String # showList :: [GroupByItem] -> ShowS # | |||||
| Eq GroupByItem Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord GroupByItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: GroupByItem -> GroupByItem -> Ordering # (<) :: GroupByItem -> GroupByItem -> Bool # (<=) :: GroupByItem -> GroupByItem -> Bool # (>) :: GroupByItem -> GroupByItem -> Bool # (>=) :: GroupByItem -> GroupByItem -> Bool # max :: GroupByItem -> GroupByItem -> GroupByItem # min :: GroupByItem -> GroupByItem -> GroupByItem # | |||||
| type Rep GroupByItem Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep GroupByItem = D1 ('MetaData "GroupByItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "ExprGroupByItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "EmptyGroupingSetGroupByItem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RollupGroupByItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "CubeGroupByItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "GroupingSetsGroupByItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty GroupByItem)))))) | |||||
type HavingClause = AExpr Source #
having_clause: | HAVING a_expr | EMPTY
type WindowClause = NonEmpty WindowDefinition Source #
window_clause: | WINDOW window_definition_list | EMPTY window_definition_list: | window_definition | window_definition_list ',' window_definition
data WindowDefinition Source #
window_definition: | ColId AS window_specification
Constructors
| WindowDefinition Ident WindowSpecification |
Instances
| Generic WindowDefinition Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: WindowDefinition -> Rep WindowDefinition x # to :: Rep WindowDefinition x -> WindowDefinition # | |||||
| Show WindowDefinition Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowDefinition -> ShowS # show :: WindowDefinition -> String # showList :: [WindowDefinition] -> ShowS # | |||||
| Eq WindowDefinition Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: WindowDefinition -> WindowDefinition -> Bool # (/=) :: WindowDefinition -> WindowDefinition -> Bool # | |||||
| Ord WindowDefinition Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WindowDefinition -> WindowDefinition -> Ordering # (<) :: WindowDefinition -> WindowDefinition -> Bool # (<=) :: WindowDefinition -> WindowDefinition -> Bool # (>) :: WindowDefinition -> WindowDefinition -> Bool # (>=) :: WindowDefinition -> WindowDefinition -> Bool # max :: WindowDefinition -> WindowDefinition -> WindowDefinition # min :: WindowDefinition -> WindowDefinition -> WindowDefinition # | |||||
| type Rep WindowDefinition Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WindowDefinition = D1 ('MetaData "WindowDefinition" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WindowDefinition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpecification))) | |||||
data WindowSpecification Source #
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) |
Instances
| Generic WindowSpecification Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: WindowSpecification -> Rep WindowSpecification x # to :: Rep WindowSpecification x -> WindowSpecification # | |||||
| Show WindowSpecification Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowSpecification -> ShowS # show :: WindowSpecification -> String # showList :: [WindowSpecification] -> ShowS # | |||||
| Eq WindowSpecification Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: WindowSpecification -> WindowSpecification -> Bool # (/=) :: WindowSpecification -> WindowSpecification -> Bool # | |||||
| Ord WindowSpecification Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WindowSpecification -> WindowSpecification -> Ordering # (<) :: WindowSpecification -> WindowSpecification -> Bool # (<=) :: WindowSpecification -> WindowSpecification -> Bool # (>) :: WindowSpecification -> WindowSpecification -> Bool # (>=) :: WindowSpecification -> WindowSpecification -> Bool # max :: WindowSpecification -> WindowSpecification -> WindowSpecification # min :: WindowSpecification -> WindowSpecification -> WindowSpecification # | |||||
| type Rep WindowSpecification Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WindowSpecification = D1 ('MetaData "WindowSpecification" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WindowSpecification" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExistingWindowName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PartitionClause))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FrameClause))))) | |||||
type ExistingWindowName = ColId Source #
type PartitionClause = ExprList Source #
data FrameClause Source #
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) |
Instances
| Generic FrameClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FrameClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameClause -> ShowS # show :: FrameClause -> String # showList :: [FrameClause] -> ShowS # | |||||
| Eq FrameClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord FrameClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FrameClause -> FrameClause -> Ordering # (<) :: FrameClause -> FrameClause -> Bool # (<=) :: FrameClause -> FrameClause -> Bool # (>) :: FrameClause -> FrameClause -> Bool # (>=) :: FrameClause -> FrameClause -> Bool # max :: FrameClause -> FrameClause -> FrameClause # min :: FrameClause -> FrameClause -> FrameClause # | |||||
| type Rep FrameClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FrameClause = D1 ('MetaData "FrameClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "FrameClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameClauseMode) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameExtent) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WindowExclusionClause))))) | |||||
data FrameClauseMode Source #
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
Instances
| Generic FrameClauseMode Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FrameClauseMode -> Rep FrameClauseMode x # to :: Rep FrameClauseMode x -> FrameClauseMode # | |||||
| Show FrameClauseMode Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameClauseMode -> ShowS # show :: FrameClauseMode -> String # showList :: [FrameClauseMode] -> ShowS # | |||||
| Eq FrameClauseMode Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FrameClauseMode -> FrameClauseMode -> Bool # (/=) :: FrameClauseMode -> FrameClauseMode -> Bool # | |||||
| Ord FrameClauseMode Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FrameClauseMode -> FrameClauseMode -> Ordering # (<) :: FrameClauseMode -> FrameClauseMode -> Bool # (<=) :: FrameClauseMode -> FrameClauseMode -> Bool # (>) :: FrameClauseMode -> FrameClauseMode -> Bool # (>=) :: FrameClauseMode -> FrameClauseMode -> Bool # max :: FrameClauseMode -> FrameClauseMode -> FrameClauseMode # min :: FrameClauseMode -> FrameClauseMode -> FrameClauseMode # | |||||
| type Rep FrameClauseMode Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FrameClauseMode = D1 ('MetaData "FrameClauseMode" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "RangeFrameClauseMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RowsFrameClauseMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GroupsFrameClauseMode" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data FrameExtent Source #
References
frame_extent: | frame_bound | BETWEEN frame_bound AND frame_bound
Instances
| Generic FrameExtent Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FrameExtent Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameExtent -> ShowS # show :: FrameExtent -> String # showList :: [FrameExtent] -> ShowS # | |||||
| Eq FrameExtent Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord FrameExtent Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FrameExtent -> FrameExtent -> Ordering # (<) :: FrameExtent -> FrameExtent -> Bool # (<=) :: FrameExtent -> FrameExtent -> Bool # (>) :: FrameExtent -> FrameExtent -> Bool # (>=) :: FrameExtent -> FrameExtent -> Bool # max :: FrameExtent -> FrameExtent -> FrameExtent # min :: FrameExtent -> FrameExtent -> FrameExtent # | |||||
| type Rep FrameExtent Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FrameExtent = D1 ('MetaData "FrameExtent" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SingularFrameExtent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound)) :+: C1 ('MetaCons "BetweenFrameExtent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FrameBound))) | |||||
data FrameBound Source #
References
frame_bound: | UNBOUNDED PRECEDING | UNBOUNDED FOLLOWING | CURRENT_P ROW | a_expr PRECEDING | a_expr FOLLOWING
Constructors
| UnboundedPrecedingFrameBound | |
| UnboundedFollowingFrameBound | |
| CurrentRowFrameBound | |
| PrecedingFrameBound AExpr | |
| FollowingFrameBound AExpr |
Instances
| Generic FrameBound Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FrameBound Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameBound -> ShowS # show :: FrameBound -> String # showList :: [FrameBound] -> ShowS # | |||||
| Eq FrameBound Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord FrameBound Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FrameBound -> FrameBound -> Ordering # (<) :: FrameBound -> FrameBound -> Bool # (<=) :: FrameBound -> FrameBound -> Bool # (>) :: FrameBound -> FrameBound -> Bool # (>=) :: FrameBound -> FrameBound -> Bool # max :: FrameBound -> FrameBound -> FrameBound # min :: FrameBound -> FrameBound -> FrameBound # | |||||
| type Rep FrameBound Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FrameBound = D1 ('MetaData "FrameBound" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "UnboundedPrecedingFrameBound" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnboundedFollowingFrameBound" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CurrentRowFrameBound" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrecedingFrameBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "FollowingFrameBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) | |||||
data WindowExclusionClause Source #
References
opt_window_exclusion_clause: | EXCLUDE CURRENT_P ROW | EXCLUDE GROUP_P | EXCLUDE TIES | EXCLUDE NO OTHERS | EMPTY
Constructors
| CurrentRowWindowExclusionClause | |
| GroupWindowExclusionClause | |
| TiesWindowExclusionClause | |
| NoOthersWindowExclusionClause |
Instances
| Generic WindowExclusionClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: WindowExclusionClause -> Rep WindowExclusionClause x # to :: Rep WindowExclusionClause x -> WindowExclusionClause # | |||||
| Show WindowExclusionClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowExclusionClause -> ShowS # show :: WindowExclusionClause -> String # showList :: [WindowExclusionClause] -> ShowS # | |||||
| Eq WindowExclusionClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: WindowExclusionClause -> WindowExclusionClause -> Bool # (/=) :: WindowExclusionClause -> WindowExclusionClause -> Bool # | |||||
| Ord WindowExclusionClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WindowExclusionClause -> WindowExclusionClause -> Ordering # (<) :: WindowExclusionClause -> WindowExclusionClause -> Bool # (<=) :: WindowExclusionClause -> WindowExclusionClause -> Bool # (>) :: WindowExclusionClause -> WindowExclusionClause -> Bool # (>=) :: WindowExclusionClause -> WindowExclusionClause -> Bool # max :: WindowExclusionClause -> WindowExclusionClause -> WindowExclusionClause # min :: WindowExclusionClause -> WindowExclusionClause -> WindowExclusionClause # | |||||
| type Rep WindowExclusionClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WindowExclusionClause = D1 ('MetaData "WindowExclusionClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "CurrentRowWindowExclusionClause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GroupWindowExclusionClause" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TiesWindowExclusionClause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoOthersWindowExclusionClause" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
type ValuesClause = NonEmpty ExprList Source #
References
values_clause:
| VALUES '(' expr_list ')'
| values_clause ',' '(' expr_list ')'
type SortClause = NonEmpty SortBy Source #
sort_clause: | ORDER BY sortby_list
sortby_list: | sortby | sortby_list ',' 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) |
Instances
| Generic SortBy Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SortBy Source # | |||||
| Eq SortBy Source # | |||||
| Ord SortBy Source # | |||||
| type Rep SortBy Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SortBy = D1 ('MetaData "SortBy" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "UsingSortBy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualAllOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder)))) :+: C1 ('MetaCons "AscDescSortBy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AscDesc)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder))))) | |||||
data SelectLimit Source #
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 |
Instances
| Generic SelectLimit Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SelectLimit Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectLimit -> ShowS # show :: SelectLimit -> String # showList :: [SelectLimit] -> ShowS # | |||||
| Eq SelectLimit Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord SelectLimit Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectLimit -> SelectLimit -> Ordering # (<) :: SelectLimit -> SelectLimit -> Bool # (<=) :: SelectLimit -> SelectLimit -> Bool # (>) :: SelectLimit -> SelectLimit -> Bool # (>=) :: SelectLimit -> SelectLimit -> Bool # max :: SelectLimit -> SelectLimit -> SelectLimit # min :: SelectLimit -> SelectLimit -> SelectLimit # | |||||
| type Rep SelectLimit Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectLimit = D1 ('MetaData "SelectLimit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "LimitOffsetSelectLimit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause)) :+: C1 ('MetaCons "OffsetLimitSelectLimit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause))) :+: (C1 ('MetaCons "LimitSelectLimit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LimitClause)) :+: C1 ('MetaCons "OffsetSelectLimit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OffsetClause)))) | |||||
data LimitClause Source #
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 |
Instances
| Generic LimitClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show LimitClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> LimitClause -> ShowS # show :: LimitClause -> String # showList :: [LimitClause] -> ShowS # | |||||
| Eq LimitClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord LimitClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: LimitClause -> LimitClause -> Ordering # (<) :: LimitClause -> LimitClause -> Bool # (<=) :: LimitClause -> LimitClause -> Bool # (>) :: LimitClause -> LimitClause -> Bool # (>=) :: LimitClause -> LimitClause -> Bool # max :: LimitClause -> LimitClause -> LimitClause # min :: LimitClause -> LimitClause -> LimitClause # | |||||
| type Rep LimitClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep LimitClause = D1 ('MetaData "LimitClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "LimitLimitClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectLimitValue) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr))) :+: C1 ('MetaCons "FetchOnlyLimitClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SelectFetchFirstValue)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) | |||||
data SelectFetchFirstValue Source #
Constructors
| ExprSelectFetchFirstValue CExpr | |
| NumSelectFetchFirstValue Bool (Either Int64 Double) |
Instances
| Generic SelectFetchFirstValue Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SelectFetchFirstValue -> Rep SelectFetchFirstValue x # to :: Rep SelectFetchFirstValue x -> SelectFetchFirstValue # | |||||
| Show SelectFetchFirstValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectFetchFirstValue -> ShowS # show :: SelectFetchFirstValue -> String # showList :: [SelectFetchFirstValue] -> ShowS # | |||||
| Eq SelectFetchFirstValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # (/=) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # | |||||
| Ord SelectFetchFirstValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectFetchFirstValue -> SelectFetchFirstValue -> Ordering # (<) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # (<=) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # (>) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # (>=) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # max :: SelectFetchFirstValue -> SelectFetchFirstValue -> SelectFetchFirstValue # min :: SelectFetchFirstValue -> SelectFetchFirstValue -> SelectFetchFirstValue # | |||||
| type Rep SelectFetchFirstValue Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectFetchFirstValue = D1 ('MetaData "SelectFetchFirstValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprSelectFetchFirstValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: C1 ('MetaCons "NumSelectFetchFirstValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Int64 Double)))) | |||||
data SelectLimitValue Source #
References
select_limit_value: | a_expr | ALL
Constructors
| ExprSelectLimitValue AExpr | |
| AllSelectLimitValue |
Instances
| Generic SelectLimitValue Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SelectLimitValue -> Rep SelectLimitValue x # to :: Rep SelectLimitValue x -> SelectLimitValue # | |||||
| Show SelectLimitValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectLimitValue -> ShowS # show :: SelectLimitValue -> String # showList :: [SelectLimitValue] -> ShowS # | |||||
| Eq SelectLimitValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SelectLimitValue -> SelectLimitValue -> Bool # (/=) :: SelectLimitValue -> SelectLimitValue -> Bool # | |||||
| Ord SelectLimitValue Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SelectLimitValue -> SelectLimitValue -> Ordering # (<) :: SelectLimitValue -> SelectLimitValue -> Bool # (<=) :: SelectLimitValue -> SelectLimitValue -> Bool # (>) :: SelectLimitValue -> SelectLimitValue -> Bool # (>=) :: SelectLimitValue -> SelectLimitValue -> Bool # max :: SelectLimitValue -> SelectLimitValue -> SelectLimitValue # min :: SelectLimitValue -> SelectLimitValue -> SelectLimitValue # | |||||
| type Rep SelectLimitValue Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SelectLimitValue = D1 ('MetaData "SelectLimitValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprSelectLimitValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "AllSelectLimitValue" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
data OffsetClause Source #
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
Instances
| Generic OffsetClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OffsetClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OffsetClause -> ShowS # show :: OffsetClause -> String # showList :: [OffsetClause] -> ShowS # | |||||
| Eq OffsetClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OffsetClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OffsetClause -> OffsetClause -> Ordering # (<) :: OffsetClause -> OffsetClause -> Bool # (<=) :: OffsetClause -> OffsetClause -> Bool # (>) :: OffsetClause -> OffsetClause -> Bool # (>=) :: OffsetClause -> OffsetClause -> Bool # max :: OffsetClause -> OffsetClause -> OffsetClause # min :: OffsetClause -> OffsetClause -> OffsetClause # | |||||
| type Rep OffsetClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OffsetClause = D1 ('MetaData "OffsetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprOffsetClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "FetchFirstOffsetClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectFetchFirstValue) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
For Locking
data ForLockingClause Source #
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 |
Instances
| Generic ForLockingClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: ForLockingClause -> Rep ForLockingClause x # to :: Rep ForLockingClause x -> ForLockingClause # | |||||
| Show ForLockingClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingClause -> ShowS # show :: ForLockingClause -> String # showList :: [ForLockingClause] -> ShowS # | |||||
| Eq ForLockingClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingClause -> ForLockingClause -> Bool # (/=) :: ForLockingClause -> ForLockingClause -> Bool # | |||||
| Ord ForLockingClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ForLockingClause -> ForLockingClause -> Ordering # (<) :: ForLockingClause -> ForLockingClause -> Bool # (<=) :: ForLockingClause -> ForLockingClause -> Bool # (>) :: ForLockingClause -> ForLockingClause -> Bool # (>=) :: ForLockingClause -> ForLockingClause -> Bool # max :: ForLockingClause -> ForLockingClause -> ForLockingClause # min :: ForLockingClause -> ForLockingClause -> ForLockingClause # | |||||
| type Rep ForLockingClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ForLockingClause = D1 ('MetaData "ForLockingClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ItemsForLockingClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ForLockingItem))) :+: C1 ('MetaCons "ReadOnlyForLockingClause" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
data ForLockingItem Source #
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) |
Instances
| Generic ForLockingItem Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: ForLockingItem -> Rep ForLockingItem x # to :: Rep ForLockingItem x -> ForLockingItem # | |||||
| Show ForLockingItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingItem -> ShowS # show :: ForLockingItem -> String # showList :: [ForLockingItem] -> ShowS # | |||||
| Eq ForLockingItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingItem -> ForLockingItem -> Bool # (/=) :: ForLockingItem -> ForLockingItem -> Bool # | |||||
| Ord ForLockingItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ForLockingItem -> ForLockingItem -> Ordering # (<) :: ForLockingItem -> ForLockingItem -> Bool # (<=) :: ForLockingItem -> ForLockingItem -> Bool # (>) :: ForLockingItem -> ForLockingItem -> Bool # (>=) :: ForLockingItem -> ForLockingItem -> Bool # max :: ForLockingItem -> ForLockingItem -> ForLockingItem # min :: ForLockingItem -> ForLockingItem -> ForLockingItem # | |||||
| type Rep ForLockingItem Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ForLockingItem = D1 ('MetaData "ForLockingItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ForLockingItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForLockingStrength) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty QualifiedName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))) | |||||
data ForLockingStrength Source #
References
for_locking_strength: | FOR UPDATE | FOR NO KEY UPDATE | FOR SHARE | FOR KEY SHARE
Constructors
| UpdateForLockingStrength | |
| NoKeyUpdateForLockingStrength | |
| ShareForLockingStrength | |
| KeyForLockingStrength |
Instances
| Generic ForLockingStrength Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: ForLockingStrength -> Rep ForLockingStrength x # to :: Rep ForLockingStrength x -> ForLockingStrength # | |||||
| Show ForLockingStrength Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingStrength -> ShowS # show :: ForLockingStrength -> String # showList :: [ForLockingStrength] -> ShowS # | |||||
| Eq ForLockingStrength Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingStrength -> ForLockingStrength -> Bool # (/=) :: ForLockingStrength -> ForLockingStrength -> Bool # | |||||
| Ord ForLockingStrength Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ForLockingStrength -> ForLockingStrength -> Ordering # (<) :: ForLockingStrength -> ForLockingStrength -> Bool # (<=) :: ForLockingStrength -> ForLockingStrength -> Bool # (>) :: ForLockingStrength -> ForLockingStrength -> Bool # (>=) :: ForLockingStrength -> ForLockingStrength -> Bool # max :: ForLockingStrength -> ForLockingStrength -> ForLockingStrength # min :: ForLockingStrength -> ForLockingStrength -> ForLockingStrength # | |||||
| type Rep ForLockingStrength Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ForLockingStrength = D1 ('MetaData "ForLockingStrength" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "UpdateForLockingStrength" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoKeyUpdateForLockingStrength" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ShareForLockingStrength" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyForLockingStrength" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
Table references and joining
type FromList = NonEmpty TableRef Source #
References
from_list: | table_ref | from_list ',' table_ref
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
|
Instances
| Generic TableRef Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show TableRef Source # | |||||
| Eq TableRef Source # | |||||
| Ord TableRef Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep TableRef Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TableRef = D1 ('MetaData "TableRef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "RelationExprTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TablesampleClause)))) :+: C1 ('MetaCons "FuncTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncTable) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncAliasClause))))) :+: (C1 ('MetaCons "SelectTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause)))) :+: C1 ('MetaCons "JoinTableRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AliasClause))))) | |||||
data RelationExpr Source #
References
| qualified_name
| qualified_name *
| ONLY qualified_name
| ONLY '(' qualified_name ')'
Constructors
| SimpleRelationExpr | |
Fields
| |
| OnlyRelationExpr | |
Fields
| |
Instances
| Generic RelationExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show RelationExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RelationExpr -> ShowS # show :: RelationExpr -> String # showList :: [RelationExpr] -> ShowS # | |||||
| Eq RelationExpr Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord RelationExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: RelationExpr -> RelationExpr -> Ordering # (<) :: RelationExpr -> RelationExpr -> Bool # (<=) :: RelationExpr -> RelationExpr -> Bool # (>) :: RelationExpr -> RelationExpr -> Bool # (>=) :: RelationExpr -> RelationExpr -> Bool # max :: RelationExpr -> RelationExpr -> RelationExpr # min :: RelationExpr -> RelationExpr -> RelationExpr # | |||||
| type Rep RelationExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep RelationExpr = D1 ('MetaData "RelationExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SimpleRelationExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "OnlyRelationExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) | |||||
data RelationExprOptAlias Source #
References
relation_expr_opt_alias: | relation_expr | relation_expr ColId | relation_expr AS ColId
Constructors
| RelationExprOptAlias RelationExpr (Maybe (Bool, ColId)) |
Instances
| Generic RelationExprOptAlias Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: RelationExprOptAlias -> Rep RelationExprOptAlias x # to :: Rep RelationExprOptAlias x -> RelationExprOptAlias # | |||||
| Show RelationExprOptAlias Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RelationExprOptAlias -> ShowS # show :: RelationExprOptAlias -> String # showList :: [RelationExprOptAlias] -> ShowS # | |||||
| Eq RelationExprOptAlias Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # (/=) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # | |||||
| Ord RelationExprOptAlias Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: RelationExprOptAlias -> RelationExprOptAlias -> Ordering # (<) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # (<=) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # (>) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # (>=) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # max :: RelationExprOptAlias -> RelationExprOptAlias -> RelationExprOptAlias # min :: RelationExprOptAlias -> RelationExprOptAlias -> RelationExprOptAlias # | |||||
| type Rep RelationExprOptAlias Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep RelationExprOptAlias = D1 ('MetaData "RelationExprOptAlias" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "RelationExprOptAlias" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Bool, ColId))))) | |||||
data TablesampleClause Source #
References
tablesample_clause:
| TABLESAMPLE func_name '(' expr_list ')' opt_repeatable_clause
Constructors
| TablesampleClause FuncName ExprList (Maybe RepeatableClause) |
Instances
| Generic TablesampleClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: TablesampleClause -> Rep TablesampleClause x # to :: Rep TablesampleClause x -> TablesampleClause # | |||||
| Show TablesampleClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TablesampleClause -> ShowS # show :: TablesampleClause -> String # showList :: [TablesampleClause] -> ShowS # | |||||
| Eq TablesampleClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: TablesampleClause -> TablesampleClause -> Bool # (/=) :: TablesampleClause -> TablesampleClause -> Bool # | |||||
| Ord TablesampleClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: TablesampleClause -> TablesampleClause -> Ordering # (<) :: TablesampleClause -> TablesampleClause -> Bool # (<=) :: TablesampleClause -> TablesampleClause -> Bool # (>) :: TablesampleClause -> TablesampleClause -> Bool # (>=) :: TablesampleClause -> TablesampleClause -> Bool # max :: TablesampleClause -> TablesampleClause -> TablesampleClause # min :: TablesampleClause -> TablesampleClause -> TablesampleClause # | |||||
| type Rep TablesampleClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TablesampleClause = D1 ('MetaData "TablesampleClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "TablesampleClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RepeatableClause))))) | |||||
type RepeatableClause = AExpr Source #
References
opt_repeatable_clause:
| REPEATABLE '(' a_expr ')'
| EMPTY
References
func_table:
| func_expr_windowless opt_ordinality
| ROWS FROM '(' rowsfrom_list ')' opt_ordinality
Constructors
| FuncExprFuncTable FuncExprWindowless OptOrdinality | |
| RowsFromFuncTable RowsfromList OptOrdinality |
Instances
| Generic FuncTable Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FuncTable Source # | |||||
| Eq FuncTable Source # | |||||
| Ord FuncTable Source # | |||||
| type Rep FuncTable Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncTable = D1 ('MetaData "FuncTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "FuncExprFuncTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptOrdinality)) :+: C1 ('MetaCons "RowsFromFuncTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RowsfromList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptOrdinality))) | |||||
data RowsfromItem Source #
References
rowsfrom_item: | func_expr_windowless opt_col_def_list
Constructors
| RowsfromItem FuncExprWindowless (Maybe ColDefList) |
Instances
| Generic RowsfromItem Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show RowsfromItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RowsfromItem -> ShowS # show :: RowsfromItem -> String # showList :: [RowsfromItem] -> ShowS # | |||||
| Eq RowsfromItem Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord RowsfromItem Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: RowsfromItem -> RowsfromItem -> Ordering # (<) :: RowsfromItem -> RowsfromItem -> Bool # (<=) :: RowsfromItem -> RowsfromItem -> Bool # (>) :: RowsfromItem -> RowsfromItem -> Bool # (>=) :: RowsfromItem -> RowsfromItem -> Bool # max :: RowsfromItem -> RowsfromItem -> RowsfromItem # min :: RowsfromItem -> RowsfromItem -> RowsfromItem # | |||||
| type Rep RowsfromItem Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep RowsfromItem = D1 ('MetaData "RowsfromItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "RowsfromItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ColDefList)))) | |||||
type RowsfromList = NonEmpty RowsfromItem Source #
References
rowsfrom_list: | rowsfrom_item | rowsfrom_list ',' rowsfrom_item
type ColDefList = TableFuncElementList Source #
References
opt_col_def_list:
| AS '(' TableFuncElementList ')'
| EMPTY
type OptOrdinality = Bool Source #
References
opt_ordinality: | WITH_LA ORDINALITY | EMPTY
type TableFuncElementList = NonEmpty TableFuncElement Source #
References
TableFuncElementList: | TableFuncElement | TableFuncElementList ',' TableFuncElement
data TableFuncElement Source #
References
TableFuncElement: | ColId Typename opt_collate_clause
Constructors
| TableFuncElement ColId Typename (Maybe CollateClause) |
Instances
| Generic TableFuncElement Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: TableFuncElement -> Rep TableFuncElement x # to :: Rep TableFuncElement x -> TableFuncElement # | |||||
| Show TableFuncElement Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TableFuncElement -> ShowS # show :: TableFuncElement -> String # showList :: [TableFuncElement] -> ShowS # | |||||
| Eq TableFuncElement Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: TableFuncElement -> TableFuncElement -> Bool # (/=) :: TableFuncElement -> TableFuncElement -> Bool # | |||||
| Ord TableFuncElement Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: TableFuncElement -> TableFuncElement -> Ordering # (<) :: TableFuncElement -> TableFuncElement -> Bool # (<=) :: TableFuncElement -> TableFuncElement -> Bool # (>) :: TableFuncElement -> TableFuncElement -> Bool # (>=) :: TableFuncElement -> TableFuncElement -> Bool # max :: TableFuncElement -> TableFuncElement -> TableFuncElement # min :: TableFuncElement -> TableFuncElement -> TableFuncElement # | |||||
| type Rep TableFuncElement Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TableFuncElement = D1 ('MetaData "TableFuncElement" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "TableFuncElement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CollateClause))))) | |||||
type CollateClause = AnyName Source #
References
opt_collate_clause: | COLLATE any_name | EMPTY
data AliasClause Source #
References
alias_clause:
| AS ColId '(' name_list ')'
| AS ColId
| ColId '(' name_list ')'
| ColId
Constructors
| AliasClause Bool ColId (Maybe NameList) |
Instances
| Generic AliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AliasClause -> ShowS # show :: AliasClause -> String # showList :: [AliasClause] -> ShowS # | |||||
| Eq AliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord AliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: AliasClause -> AliasClause -> Ordering # (<) :: AliasClause -> AliasClause -> Bool # (<=) :: AliasClause -> AliasClause -> Bool # (>) :: AliasClause -> AliasClause -> Bool # (>=) :: AliasClause -> AliasClause -> Bool # max :: AliasClause -> AliasClause -> AliasClause # min :: AliasClause -> AliasClause -> AliasClause # | |||||
| type Rep AliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AliasClause = D1 ('MetaData "AliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "AliasClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NameList))))) | |||||
data FuncAliasClause Source #
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 |
Instances
| Generic FuncAliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FuncAliasClause -> Rep FuncAliasClause x # to :: Rep FuncAliasClause x -> FuncAliasClause # | |||||
| Show FuncAliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncAliasClause -> ShowS # show :: FuncAliasClause -> String # showList :: [FuncAliasClause] -> ShowS # | |||||
| Eq FuncAliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncAliasClause -> FuncAliasClause -> Bool # (/=) :: FuncAliasClause -> FuncAliasClause -> Bool # | |||||
| Ord FuncAliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncAliasClause -> FuncAliasClause -> Ordering # (<) :: FuncAliasClause -> FuncAliasClause -> Bool # (<=) :: FuncAliasClause -> FuncAliasClause -> Bool # (>) :: FuncAliasClause -> FuncAliasClause -> Bool # (>=) :: FuncAliasClause -> FuncAliasClause -> Bool # max :: FuncAliasClause -> FuncAliasClause -> FuncAliasClause # min :: FuncAliasClause -> FuncAliasClause -> FuncAliasClause # | |||||
| type Rep FuncAliasClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncAliasClause = D1 ('MetaData "FuncAliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "AliasFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AliasClause)) :+: C1 ('MetaCons "AsFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList))) :+: (C1 ('MetaCons "AsColIdFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList)) :+: C1 ('MetaCons "ColIdFuncAliasClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFuncElementList)))) | |||||
data JoinedTable Source #
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.
Instances
| Generic JoinedTable Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show JoinedTable Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> JoinedTable -> ShowS # show :: JoinedTable -> String # showList :: [JoinedTable] -> ShowS # | |||||
| Eq JoinedTable Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord JoinedTable Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: JoinedTable -> JoinedTable -> Ordering # (<) :: JoinedTable -> JoinedTable -> Bool # (<=) :: JoinedTable -> JoinedTable -> Bool # (>) :: JoinedTable -> JoinedTable -> Bool # (>=) :: JoinedTable -> JoinedTable -> Bool # max :: JoinedTable -> JoinedTable -> JoinedTable # min :: JoinedTable -> JoinedTable -> JoinedTable # | |||||
| type Rep JoinedTable Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep JoinedTable = D1 ('MetaData "JoinedTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "InParensJoinedTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinedTable)) :+: C1 ('MetaCons "MethJoinedTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinMeth) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableRef)))) | |||||
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) |
Instances
| Generic JoinMeth Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show JoinMeth Source # | |||||
| Eq JoinMeth Source # | |||||
| Ord JoinMeth Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep JoinMeth Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep JoinMeth = D1 ('MetaData "JoinMeth" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "CrossJoinMeth" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QualJoinMeth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JoinType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JoinQual)) :+: C1 ('MetaCons "NaturalJoinMeth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JoinType))))) | |||||
References
| FULL join_outer | LEFT join_outer | RIGHT join_outer | INNER_P
Constructors
| FullJoinType Bool | |
| LeftJoinType Bool | |
| RightJoinType Bool | |
| InnerJoinType |
Instances
| Generic JoinType Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show JoinType Source # | |||||
| Eq JoinType Source # | |||||
| Ord JoinType Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep JoinType Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep JoinType = D1 ('MetaData "JoinType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "FullJoinType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "LeftJoinType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "RightJoinType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "InnerJoinType" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
References
join_qual:
| USING '(' name_list ')'
| ON a_expr
Constructors
| UsingJoinQual (NonEmpty Ident) | |
| OnJoinQual AExpr |
Instances
| Generic JoinQual Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show JoinQual Source # | |||||
| Eq JoinQual Source # | |||||
| Ord JoinQual Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep JoinQual Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep JoinQual = D1 ('MetaData "JoinQual" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "UsingJoinQual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Ident))) :+: C1 ('MetaCons "OnJoinQual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) | |||||
Where
type WhereClause = AExpr Source #
data WhereOrCurrentClause Source #
References
| WHERE a_expr | WHERE CURRENT_P OF cursor_name | *EMPTY*
Instances
| Generic WhereOrCurrentClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: WhereOrCurrentClause -> Rep WhereOrCurrentClause x # to :: Rep WhereOrCurrentClause x -> WhereOrCurrentClause # | |||||
| Show WhereOrCurrentClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WhereOrCurrentClause -> ShowS # show :: WhereOrCurrentClause -> String # showList :: [WhereOrCurrentClause] -> ShowS # | |||||
| Eq WhereOrCurrentClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # (/=) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # | |||||
| Ord WhereOrCurrentClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WhereOrCurrentClause -> WhereOrCurrentClause -> Ordering # (<) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # (<=) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # (>) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # (>=) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # max :: WhereOrCurrentClause -> WhereOrCurrentClause -> WhereOrCurrentClause # min :: WhereOrCurrentClause -> WhereOrCurrentClause -> WhereOrCurrentClause # | |||||
| type Rep WhereOrCurrentClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WhereOrCurrentClause = D1 ('MetaData "WhereOrCurrentClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprWhereOrCurrentClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "CursorWhereOrCurrentClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CursorName))) | |||||
Expression
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
Constructors
| CExprAExpr CExpr | |
| TypecastAExpr AExpr Typename | |
| CollateAExpr AExpr AnyName | |
| AtTimeZoneAExpr AExpr AExpr | |
| PlusAExpr AExpr | |
| MinusAExpr AExpr | |
| SymbolicBinOpAExpr AExpr SymbolicExprBinOp AExpr | |
| PrefixQualOpAExpr QualOp AExpr | |
| SuffixQualOpAExpr AExpr QualOp | |
| AndAExpr AExpr AExpr | |
| OrAExpr AExpr AExpr | |
| NotAExpr AExpr | |
| VerbalExprBinOpAExpr AExpr Bool VerbalExprBinOp AExpr (Maybe AExpr) | |
| ReversableOpAExpr AExpr Bool AExprReversableOp | |
| IsnullAExpr AExpr | |
| NotnullAExpr AExpr | |
| OverlapsAExpr Row Row | |
| SubqueryAExpr AExpr SubqueryOp SubType (Either SelectWithParens AExpr) | |
| UniqueAExpr SelectWithParens | |
| DefaultAExpr |
Instances
| Generic AExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AExpr Source # | |||||
| Eq AExpr Source # | |||||
| Ord AExpr Source # | |||||
| type Rep AExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AExpr = D1 ('MetaData "AExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((((C1 ('MetaCons "CExprAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: C1 ('MetaCons "TypecastAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename))) :+: (C1 ('MetaCons "CollateAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyName)) :+: (C1 ('MetaCons "AtTimeZoneAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "PlusAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "MinusAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "SymbolicBinOpAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicExprBinOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "PrefixQualOpAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "SuffixQualOpAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp)) :+: C1 ('MetaCons "AndAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))))) :+: (((C1 ('MetaCons "OrAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "NotAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) :+: (C1 ('MetaCons "VerbalExprBinOpAExpr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerbalExprBinOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr))))) :+: (C1 ('MetaCons "ReversableOpAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExprReversableOp))) :+: C1 ('MetaCons "IsnullAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "NotnullAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "OverlapsAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Row) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Row))) :+: (C1 ('MetaCons "SubqueryAExpr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubqueryOp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either SelectWithParens AExpr)))) :+: (C1 ('MetaCons "UniqueAExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "DefaultAExpr" 'PrefixI 'False) (U1 :: Type -> Type)))))) | |||||
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 |
Instances
| Generic BExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show BExpr Source # | |||||
| Eq BExpr Source # | |||||
| Ord BExpr Source # | |||||
| type Rep BExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep BExpr = D1 ('MetaData "BExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "CExprBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CExpr)) :+: (C1 ('MetaCons "TypecastBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: C1 ('MetaCons "PlusBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)))) :+: ((C1 ('MetaCons "MinusBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: C1 ('MetaCons "SymbolicBinOpBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicExprBinOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)))) :+: (C1 ('MetaCons "QualOpBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: C1 ('MetaCons "IsOpBExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExprIsOp)))))) | |||||
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 ')'
Constructors
| ColumnrefCExpr Columnref | |
| AexprConstCExpr AexprConst | |
| ParamCExpr Int (Maybe Indirection) | |
| InParensCExpr AExpr (Maybe Indirection) | |
| CaseCExpr CaseExpr | |
| FuncCExpr FuncExpr | |
| SelectWithParensCExpr SelectWithParens (Maybe Indirection) | |
| ExistsCExpr SelectWithParens | |
| ArrayCExpr (Either SelectWithParens ArrayExpr) | |
| ExplicitRowCExpr ExplicitRow | |
| ImplicitRowCExpr ImplicitRow | |
| GroupingCExpr ExprList |
Instances
| Generic CExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show CExpr Source # | |||||
| Eq CExpr Source # | |||||
| Ord CExpr Source # | |||||
| type Rep CExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep CExpr = D1 ('MetaData "CExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "ColumnrefCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Columnref)) :+: (C1 ('MetaCons "AexprConstCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AexprConst)) :+: C1 ('MetaCons "ParamCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))))) :+: (C1 ('MetaCons "InParensCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))) :+: (C1 ('MetaCons "CaseCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CaseExpr)) :+: C1 ('MetaCons "FuncCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExpr))))) :+: ((C1 ('MetaCons "SelectWithParensCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection))) :+: (C1 ('MetaCons "ExistsCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "ArrayCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either SelectWithParens ArrayExpr))))) :+: (C1 ('MetaCons "ExplicitRowCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExplicitRow)) :+: (C1 ('MetaCons "ImplicitRowCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplicitRow)) :+: C1 ('MetaCons "GroupingCExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)))))) | |||||
References
in_expr:
| select_with_parens
| '(' expr_list ')'
Constructors
| SelectInExpr SelectWithParens | |
| ExprListInExpr ExprList |
Instances
| Generic InExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show InExpr Source # | |||||
| Eq InExpr Source # | |||||
| Ord InExpr Source # | |||||
| type Rep InExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep InExpr = D1 ('MetaData "InExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SelectInExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SelectWithParens)) :+: C1 ('MetaCons "ExprListInExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList))) | |||||
References
sub_type: | ANY | SOME | ALL
Constructors
| AnySubType | |
| SomeSubType | |
| AllSubType |
Instances
| Bounded SubType Source # | |||||
| Enum SubType Source # | |||||
| Generic SubType Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SubType Source # | |||||
| Eq SubType Source # | |||||
| Ord SubType Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep SubType Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SubType = D1 ('MetaData "SubType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "AnySubType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SomeSubType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllSubType" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
References
array_expr: | '[' expr_list ']' | '[' array_expr_list ']' | '[' ']'
Instances
| Generic ArrayExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ArrayExpr Source # | |||||
| Eq ArrayExpr Source # | |||||
| Ord ArrayExpr Source # | |||||
| type Rep ArrayExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ArrayExpr = D1 ('MetaData "ArrayExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprListArrayExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "ArrayExprListArrayExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayExprList)) :+: C1 ('MetaCons "EmptyArrayExpr" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
type ArrayExprList = NonEmpty ArrayExpr Source #
References
array_expr_list: | array_expr | array_expr_list ',' array_expr
References
row:
| ROW '(' expr_list ')'
| ROW '(' ')'
| '(' expr_list ',' a_expr ')'
Constructors
| ExplicitRowRow ExplicitRow | |
| ImplicitRowRow ImplicitRow |
Instances
| Generic Row Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Row Source # | |||||
| Eq Row Source # | |||||
| Ord Row Source # | |||||
| type Rep Row Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Row = D1 ('MetaData "Row" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExplicitRowRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExplicitRow)) :+: C1 ('MetaCons "ImplicitRowRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplicitRow))) | |||||
type ExplicitRow = Maybe ExprList Source #
References
explicit_row:
| ROW '(' expr_list ')'
| ROW '(' ')'
data ImplicitRow Source #
References
implicit_row:
| '(' expr_list ',' a_expr ')'
Constructors
| ImplicitRow ExprList AExpr |
Instances
| Generic ImplicitRow Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ImplicitRow Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ImplicitRow -> ShowS # show :: ImplicitRow -> String # showList :: [ImplicitRow] -> ShowS # | |||||
| Eq ImplicitRow Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord ImplicitRow Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ImplicitRow -> ImplicitRow -> Ordering # (<) :: ImplicitRow -> ImplicitRow -> Bool # (<=) :: ImplicitRow -> ImplicitRow -> Bool # (>) :: ImplicitRow -> ImplicitRow -> Bool # (>=) :: ImplicitRow -> ImplicitRow -> Bool # max :: ImplicitRow -> ImplicitRow -> ImplicitRow # min :: ImplicitRow -> ImplicitRow -> ImplicitRow # | |||||
| type Rep ImplicitRow Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ImplicitRow = D1 ('MetaData "ImplicitRow" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ImplicitRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) | |||||
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 |
Instances
| Generic FuncExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FuncExpr Source # | |||||
| Eq FuncExpr Source # | |||||
| Ord FuncExpr Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep FuncExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncExpr = D1 ('MetaData "FuncExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ApplicationFuncExpr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WithinGroupClause))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilterClause)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe OverClause)))) :+: C1 ('MetaCons "SubexprFuncExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprCommonSubexpr))) | |||||
data FuncExprWindowless Source #
References
func_expr_windowless: | func_application | func_expr_common_subexpr
Constructors
| ApplicationFuncExprWindowless FuncApplication | |
| CommonSubexprFuncExprWindowless FuncExprCommonSubexpr |
Instances
| Generic FuncExprWindowless Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FuncExprWindowless -> Rep FuncExprWindowless x # to :: Rep FuncExprWindowless x -> FuncExprWindowless # | |||||
| Show FuncExprWindowless Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncExprWindowless -> ShowS # show :: FuncExprWindowless -> String # showList :: [FuncExprWindowless] -> ShowS # | |||||
| Eq FuncExprWindowless Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncExprWindowless -> FuncExprWindowless -> Bool # (/=) :: FuncExprWindowless -> FuncExprWindowless -> Bool # | |||||
| Ord FuncExprWindowless Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncExprWindowless -> FuncExprWindowless -> Ordering # (<) :: FuncExprWindowless -> FuncExprWindowless -> Bool # (<=) :: FuncExprWindowless -> FuncExprWindowless -> Bool # (>) :: FuncExprWindowless -> FuncExprWindowless -> Bool # (>=) :: FuncExprWindowless -> FuncExprWindowless -> Bool # max :: FuncExprWindowless -> FuncExprWindowless -> FuncExprWindowless # min :: FuncExprWindowless -> FuncExprWindowless -> FuncExprWindowless # | |||||
| type Rep FuncExprWindowless Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncExprWindowless = D1 ('MetaData "FuncExprWindowless" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ApplicationFuncExprWindowless" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncApplication)) :+: C1 ('MetaCons "CommonSubexprFuncExprWindowless" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprCommonSubexpr))) | |||||
type WithinGroupClause = SortClause Source #
References
within_group_clause:
| WITHIN GROUP_P '(' sort_clause ')'
| EMPTY
type FilterClause = AExpr Source #
References
filter_clause:
| FILTER '(' WHERE a_expr ')'
| EMPTY
data OverClause Source #
References
over_clause: | OVER window_specification | OVER ColId | EMPTY
Constructors
| WindowOverClause WindowSpecification | |
| ColIdOverClause ColId |
Instances
| Generic OverClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OverClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverClause -> ShowS # show :: OverClause -> String # showList :: [OverClause] -> ShowS # | |||||
| Eq OverClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OverClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OverClause -> OverClause -> Ordering # (<) :: OverClause -> OverClause -> Bool # (<=) :: OverClause -> OverClause -> Bool # (>) :: OverClause -> OverClause -> Bool # (>=) :: OverClause -> OverClause -> Bool # max :: OverClause -> OverClause -> OverClause # min :: OverClause -> OverClause -> OverClause # | |||||
| type Rep OverClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OverClause = D1 ('MetaData "OverClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WindowOverClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WindowSpecification)) :+: C1 ('MetaCons "ColIdOverClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId))) | |||||
data FuncExprCommonSubexpr Source #
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 |
Instances
| Generic FuncExprCommonSubexpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FuncExprCommonSubexpr -> Rep FuncExprCommonSubexpr x # to :: Rep FuncExprCommonSubexpr x -> FuncExprCommonSubexpr # | |||||
| Show FuncExprCommonSubexpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncExprCommonSubexpr -> ShowS # show :: FuncExprCommonSubexpr -> String # showList :: [FuncExprCommonSubexpr] -> ShowS # | |||||
| Eq FuncExprCommonSubexpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # (/=) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # | |||||
| Ord FuncExprCommonSubexpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Ordering # (<) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # (<=) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # (>) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # (>=) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # max :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> FuncExprCommonSubexpr # min :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> FuncExprCommonSubexpr # | |||||
| type Rep FuncExprCommonSubexpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncExprCommonSubexpr = D1 ('MetaData "FuncExprCommonSubexpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((((C1 ('MetaCons "CollationForFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "CurrentDateFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CurrentTimeFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "CurrentTimestampFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: C1 ('MetaCons "LocalTimeFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)))))) :+: ((C1 ('MetaCons "LocalTimestampFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "CurrentRoleFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CurrentUserFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SessionUserFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UserFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CurrentCatalogFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CurrentSchemaFuncExprCommonSubexpr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CastFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: C1 ('MetaCons "ExtractFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExtractList))))) :+: (C1 ('MetaCons "OverlayFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayList)) :+: (C1 ('MetaCons "PositionFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PositionList))) :+: C1 ('MetaCons "SubstringFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubstrList)))))) :+: ((C1 ('MetaCons "TreatFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Typename)) :+: (C1 ('MetaCons "TrimFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TrimModifier)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TrimList)) :+: C1 ('MetaCons "NullIfFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "CoalesceFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "GreatestFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "LeastFuncExprCommonSubexpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList))))))) | |||||
data ExtractList Source #
References
extract_list: | extract_arg FROM a_expr | EMPTY
Constructors
| ExtractList ExtractArg AExpr |
Instances
| Generic ExtractList Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ExtractList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ExtractList -> ShowS # show :: ExtractList -> String # showList :: [ExtractList] -> ShowS # | |||||
| Eq ExtractList Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord ExtractList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ExtractList -> ExtractList -> Ordering # (<) :: ExtractList -> ExtractList -> Bool # (<=) :: ExtractList -> ExtractList -> Bool # (>) :: ExtractList -> ExtractList -> Bool # (>=) :: ExtractList -> ExtractList -> Bool # max :: ExtractList -> ExtractList -> ExtractList # min :: ExtractList -> ExtractList -> ExtractList # | |||||
| type Rep ExtractList Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ExtractList = D1 ('MetaData "ExtractList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExtractList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtractArg) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) | |||||
data ExtractArg Source #
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 |
Instances
| Generic ExtractArg Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ExtractArg Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ExtractArg -> ShowS # show :: ExtractArg -> String # showList :: [ExtractArg] -> ShowS # | |||||
| Eq ExtractArg Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord ExtractArg Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ExtractArg -> ExtractArg -> Ordering # (<) :: ExtractArg -> ExtractArg -> Bool # (<=) :: ExtractArg -> ExtractArg -> Bool # (>) :: ExtractArg -> ExtractArg -> Bool # (>=) :: ExtractArg -> ExtractArg -> Bool # max :: ExtractArg -> ExtractArg -> ExtractArg # min :: ExtractArg -> ExtractArg -> ExtractArg # | |||||
| type Rep ExtractArg Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ExtractArg = D1 ('MetaData "ExtractArg" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "IdentExtractArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "YearExtractArg" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonthExtractArg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DayExtractArg" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "HourExtractArg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MinuteExtractArg" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SecondExtractArg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SconstExtractArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst))))) | |||||
data OverlayList Source #
References
overlay_list: | a_expr overlay_placing substr_from substr_for | a_expr overlay_placing substr_from
Constructors
| OverlayList AExpr OverlayPlacing SubstrFrom (Maybe SubstrFor) |
Instances
| Generic OverlayList Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show OverlayList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverlayList -> ShowS # show :: OverlayList -> String # showList :: [OverlayList] -> ShowS # | |||||
| Eq OverlayList Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord OverlayList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: OverlayList -> OverlayList -> Ordering # (<) :: OverlayList -> OverlayList -> Bool # (<=) :: OverlayList -> OverlayList -> Bool # (>) :: OverlayList -> OverlayList -> Bool # (>=) :: OverlayList -> OverlayList -> Bool # max :: OverlayList -> OverlayList -> OverlayList # min :: OverlayList -> OverlayList -> OverlayList # | |||||
| type Rep OverlayList Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep OverlayList = D1 ('MetaData "OverlayList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "OverlayList" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayPlacing)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubstrFor))))) | |||||
type OverlayPlacing = AExpr Source #
References
overlay_placing: | PLACING a_expr
data PositionList Source #
References
position_list: | b_expr IN_P b_expr | EMPTY
Constructors
| PositionList BExpr BExpr |
Instances
| Generic PositionList Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show PositionList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> PositionList -> ShowS # show :: PositionList -> String # showList :: [PositionList] -> ShowS # | |||||
| Eq PositionList Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord PositionList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: PositionList -> PositionList -> Ordering # (<) :: PositionList -> PositionList -> Bool # (<=) :: PositionList -> PositionList -> Bool # (>) :: PositionList -> PositionList -> Bool # (>=) :: PositionList -> PositionList -> Bool # max :: PositionList -> PositionList -> PositionList # min :: PositionList -> PositionList -> PositionList # | |||||
| type Rep PositionList Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep PositionList = D1 ('MetaData "PositionList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "PositionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr))) | |||||
data SubstrList Source #
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 |
Instances
| Generic SubstrList Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SubstrList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubstrList -> ShowS # show :: SubstrList -> String # showList :: [SubstrList] -> ShowS # | |||||
| Eq SubstrList Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord SubstrList Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SubstrList -> SubstrList -> Ordering # (<) :: SubstrList -> SubstrList -> Bool # (<=) :: SubstrList -> SubstrList -> Bool # (>) :: SubstrList -> SubstrList -> Bool # (>=) :: SubstrList -> SubstrList -> Bool # max :: SubstrList -> SubstrList -> SubstrList # min :: SubstrList -> SubstrList -> SubstrList # | |||||
| type Rep SubstrList Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SubstrList = D1 ('MetaData "SubstrList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprSubstrList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrListFromFor)) :+: C1 ('MetaCons "ExprListSubstrList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList))) | |||||
data SubstrListFromFor Source #
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 |
Instances
| Generic SubstrListFromFor Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SubstrListFromFor -> Rep SubstrListFromFor x # to :: Rep SubstrListFromFor x -> SubstrListFromFor # | |||||
| Show SubstrListFromFor Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubstrListFromFor -> ShowS # show :: SubstrListFromFor -> String # showList :: [SubstrListFromFor] -> ShowS # | |||||
| Eq SubstrListFromFor Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SubstrListFromFor -> SubstrListFromFor -> Bool # (/=) :: SubstrListFromFor -> SubstrListFromFor -> Bool # | |||||
| Ord SubstrListFromFor Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SubstrListFromFor -> SubstrListFromFor -> Ordering # (<) :: SubstrListFromFor -> SubstrListFromFor -> Bool # (<=) :: SubstrListFromFor -> SubstrListFromFor -> Bool # (>) :: SubstrListFromFor -> SubstrListFromFor -> Bool # (>=) :: SubstrListFromFor -> SubstrListFromFor -> Bool # max :: SubstrListFromFor -> SubstrListFromFor -> SubstrListFromFor # min :: SubstrListFromFor -> SubstrListFromFor -> SubstrListFromFor # | |||||
| type Rep SubstrListFromFor Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SubstrListFromFor = D1 ('MetaData "SubstrListFromFor" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "FromForSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor)) :+: C1 ('MetaCons "ForFromSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom))) :+: (C1 ('MetaCons "FromSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFrom)) :+: C1 ('MetaCons "ForSubstrListFromFor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubstrFor)))) | |||||
type SubstrFrom = AExpr Source #
References
substr_from: | FROM a_expr
data TrimModifier Source #
References
| TRIM '(' BOTH trim_list ')'
| TRIM '(' LEADING trim_list ')'
| TRIM '(' TRAILING trim_list ')'
Constructors
| BothTrimModifier | |
| LeadingTrimModifier | |
| TrailingTrimModifier |
Instances
| Bounded TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Enum TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast Methods succ :: TrimModifier -> TrimModifier # pred :: TrimModifier -> TrimModifier # toEnum :: Int -> TrimModifier # fromEnum :: TrimModifier -> Int # enumFrom :: TrimModifier -> [TrimModifier] # enumFromThen :: TrimModifier -> TrimModifier -> [TrimModifier] # enumFromTo :: TrimModifier -> TrimModifier -> [TrimModifier] # enumFromThenTo :: TrimModifier -> TrimModifier -> TrimModifier -> [TrimModifier] # | |||||
| Generic TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TrimModifier -> ShowS # show :: TrimModifier -> String # showList :: [TrimModifier] -> ShowS # | |||||
| Eq TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: TrimModifier -> TrimModifier -> Ordering # (<) :: TrimModifier -> TrimModifier -> Bool # (<=) :: TrimModifier -> TrimModifier -> Bool # (>) :: TrimModifier -> TrimModifier -> Bool # (>=) :: TrimModifier -> TrimModifier -> Bool # max :: TrimModifier -> TrimModifier -> TrimModifier # min :: TrimModifier -> TrimModifier -> TrimModifier # | |||||
| type Rep TrimModifier Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TrimModifier = D1 ('MetaData "TrimModifier" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "BothTrimModifier" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LeadingTrimModifier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TrailingTrimModifier" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
References
trim_list: | a_expr FROM expr_list | FROM expr_list | expr_list
Constructors
| ExprFromExprListTrimList AExpr ExprList | |
| FromExprListTrimList ExprList | |
| ExprListTrimList ExprList |
Instances
| Generic TrimList Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show TrimList Source # | |||||
| Eq TrimList Source # | |||||
| Ord TrimList Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep TrimList Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TrimList = D1 ('MetaData "TrimList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprFromExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: (C1 ('MetaCons "FromExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)) :+: C1 ('MetaCons "ExprListTrimList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExprList)))) | |||||
References
case_expr: | CASE case_arg when_clause_list case_default END_P
Constructors
| CaseExpr (Maybe CaseArg) WhenClauseList (Maybe CaseDefault) |
Instances
| Generic CaseExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show CaseExpr Source # | |||||
| Eq CaseExpr Source # | |||||
| Ord CaseExpr Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep CaseExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep CaseExpr = D1 ('MetaData "CaseExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "CaseExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CaseArg)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhenClauseList) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CaseDefault))))) | |||||
type WhenClauseList = NonEmpty WhenClause Source #
References
when_clause_list: | when_clause | when_clause_list when_clause
type CaseDefault = AExpr Source #
References
case_default: | ELSE a_expr | EMPTY
data WhenClause Source #
References
when_clause: | WHEN a_expr THEN a_expr
Constructors
| WhenClause AExpr AExpr |
Instances
| Generic WhenClause Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show WhenClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WhenClause -> ShowS # show :: WhenClause -> String # showList :: [WhenClause] -> ShowS # | |||||
| Eq WhenClause Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord WhenClause Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: WhenClause -> WhenClause -> Ordering # (<) :: WhenClause -> WhenClause -> Bool # (<=) :: WhenClause -> WhenClause -> Bool # (>) :: WhenClause -> WhenClause -> Bool # (>=) :: WhenClause -> WhenClause -> Bool # max :: WhenClause -> WhenClause -> WhenClause # min :: WhenClause -> WhenClause -> WhenClause # | |||||
| type Rep WhenClause Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep WhenClause = D1 ('MetaData "WhenClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "WhenClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))) | |||||
data FuncApplication Source #
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) |
Instances
| Generic FuncApplication Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FuncApplication -> Rep FuncApplication x # to :: Rep FuncApplication x -> FuncApplication # | |||||
| Show FuncApplication Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncApplication -> ShowS # show :: FuncApplication -> String # showList :: [FuncApplication] -> ShowS # | |||||
| Eq FuncApplication Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncApplication -> FuncApplication -> Bool # (/=) :: FuncApplication -> FuncApplication -> Bool # | |||||
| Ord FuncApplication Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncApplication -> FuncApplication -> Ordering # (<) :: FuncApplication -> FuncApplication -> Bool # (<=) :: FuncApplication -> FuncApplication -> Bool # (>) :: FuncApplication -> FuncApplication -> Bool # (>=) :: FuncApplication -> FuncApplication -> Bool # max :: FuncApplication -> FuncApplication -> FuncApplication # min :: FuncApplication -> FuncApplication -> FuncApplication # | |||||
| type Rep FuncApplication Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncApplication = D1 ('MetaData "FuncApplication" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "FuncApplication" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncApplicationParams)))) | |||||
data FuncApplicationParams Source #
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 |
Instances
| Generic FuncApplicationParams Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: FuncApplicationParams -> Rep FuncApplicationParams x # to :: Rep FuncApplicationParams x -> FuncApplicationParams # | |||||
| Show FuncApplicationParams Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncApplicationParams -> ShowS # show :: FuncApplicationParams -> String # showList :: [FuncApplicationParams] -> ShowS # | |||||
| Eq FuncApplicationParams Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncApplicationParams -> FuncApplicationParams -> Bool # (/=) :: FuncApplicationParams -> FuncApplicationParams -> Bool # | |||||
| Ord FuncApplicationParams Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncApplicationParams -> FuncApplicationParams -> Ordering # (<) :: FuncApplicationParams -> FuncApplicationParams -> Bool # (<=) :: FuncApplicationParams -> FuncApplicationParams -> Bool # (>) :: FuncApplicationParams -> FuncApplicationParams -> Bool # (>=) :: FuncApplicationParams -> FuncApplicationParams -> Bool # max :: FuncApplicationParams -> FuncApplicationParams -> FuncApplicationParams # min :: FuncApplicationParams -> FuncApplicationParams -> FuncApplicationParams # | |||||
| type Rep FuncApplicationParams Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncApplicationParams = D1 ('MetaData "FuncApplicationParams" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "NormalFuncApplicationParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FuncArgExpr)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)))) :+: (C1 ('MetaCons "VariadicFuncApplicationParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (NonEmpty FuncArgExpr))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncArgExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)))) :+: C1 ('MetaCons "StarFuncApplicationParams" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data FuncArgExpr Source #
Constructors
| ExprFuncArgExpr AExpr | |
| ColonEqualsFuncArgExpr Ident AExpr | |
| EqualsGreaterFuncArgExpr Ident AExpr |
Instances
| Generic FuncArgExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FuncArgExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncArgExpr -> ShowS # show :: FuncArgExpr -> String # showList :: [FuncArgExpr] -> ShowS # | |||||
| Eq FuncArgExpr Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord FuncArgExpr Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncArgExpr -> FuncArgExpr -> Ordering # (<) :: FuncArgExpr -> FuncArgExpr -> Bool # (<=) :: FuncArgExpr -> FuncArgExpr -> Bool # (>) :: FuncArgExpr -> FuncArgExpr -> Bool # (>=) :: FuncArgExpr -> FuncArgExpr -> Bool # max :: FuncArgExpr -> FuncArgExpr -> FuncArgExpr # min :: FuncArgExpr -> FuncArgExpr -> FuncArgExpr # | |||||
| type Rep FuncArgExpr Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncArgExpr = D1 ('MetaData "FuncArgExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ExprFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "ColonEqualsFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "EqualsGreaterFuncArgExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) | |||||
Constants
data AexprConst Source #
AexprConst: | Iconst | FCONST | Sconst | BCONST | XCONST | func_name Sconst | func_name '(' func_arg_list opt_sort_clause ')' Sconst | ConstTypename Sconst | ConstInterval Sconst opt_interval | ConstInterval '(' Iconst ')' Sconst | TRUE_P | FALSE_P | NULL_P
Constructors
| IAexprConst Iconst | |
| FAexprConst Fconst | |
| SAexprConst Sconst | |
| BAexprConst Bconst | |
| XAexprConst Xconst | |
| FuncAexprConst FuncName (Maybe FuncConstArgs) Sconst | |
| ConstTypenameAexprConst ConstTypename Sconst | |
| StringIntervalAexprConst Sconst (Maybe Interval) | |
| IntIntervalAexprConst Iconst Sconst | |
| BoolAexprConst Bool | |
| NullAexprConst |
Instances
| Generic AexprConst Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AexprConst Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AexprConst -> ShowS # show :: AexprConst -> String # showList :: [AexprConst] -> ShowS # | |||||
| Eq AexprConst Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord AexprConst Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: AexprConst -> AexprConst -> Ordering # (<) :: AexprConst -> AexprConst -> Bool # (<=) :: AexprConst -> AexprConst -> Bool # (>) :: AexprConst -> AexprConst -> Bool # (>=) :: AexprConst -> AexprConst -> Bool # max :: AexprConst -> AexprConst -> AexprConst # min :: AexprConst -> AexprConst -> AexprConst # | |||||
| type Rep AexprConst Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AexprConst = D1 ('MetaData "AexprConst" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "IAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Iconst)) :+: C1 ('MetaCons "FAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fconst))) :+: (C1 ('MetaCons "SAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: (C1 ('MetaCons "BAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bconst)) :+: C1 ('MetaCons "XAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Xconst))))) :+: ((C1 ('MetaCons "FuncAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FuncConstArgs)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst))) :+: (C1 ('MetaCons "ConstTypenameAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstTypename) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: C1 ('MetaCons "StringIntervalAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Interval))))) :+: (C1 ('MetaCons "IntIntervalAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Iconst) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sconst)) :+: (C1 ('MetaCons "BoolAexprConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "NullAexprConst" 'PrefixI 'False) (U1 :: Type -> Type))))) | |||||
data FuncConstArgs Source #
References
| func_name '(' func_arg_list opt_sort_clause ')' Sconst
Constructors
| FuncConstArgs (NonEmpty FuncArgExpr) (Maybe SortClause) |
Instances
| Generic FuncConstArgs Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FuncConstArgs Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncConstArgs -> ShowS # show :: FuncConstArgs -> String # showList :: [FuncConstArgs] -> ShowS # | |||||
| Eq FuncConstArgs Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: FuncConstArgs -> FuncConstArgs -> Bool # (/=) :: FuncConstArgs -> FuncConstArgs -> Bool # | |||||
| Ord FuncConstArgs Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: FuncConstArgs -> FuncConstArgs -> Ordering # (<) :: FuncConstArgs -> FuncConstArgs -> Bool # (<=) :: FuncConstArgs -> FuncConstArgs -> Bool # (>) :: FuncConstArgs -> FuncConstArgs -> Bool # (>=) :: FuncConstArgs -> FuncConstArgs -> Bool # max :: FuncConstArgs -> FuncConstArgs -> FuncConstArgs # min :: FuncConstArgs -> FuncConstArgs -> FuncConstArgs # | |||||
| type Rep FuncConstArgs Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncConstArgs = D1 ('MetaData "FuncConstArgs" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "FuncConstArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty FuncArgExpr)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SortClause)))) | |||||
data ConstTypename Source #
References
ConstTypename: | Numeric | ConstBit | ConstCharacter | ConstDatetime
Constructors
| NumericConstTypename Numeric | |
| ConstBitConstTypename ConstBit | |
| ConstCharacterConstTypename ConstCharacter | |
| ConstDatetimeConstTypename ConstDatetime |
Instances
| Generic ConstTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ConstTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstTypename -> ShowS # show :: ConstTypename -> String # showList :: [ConstTypename] -> ShowS # | |||||
| Eq ConstTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ConstTypename -> ConstTypename -> Bool # (/=) :: ConstTypename -> ConstTypename -> Bool # | |||||
| Ord ConstTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ConstTypename -> ConstTypename -> Ordering # (<) :: ConstTypename -> ConstTypename -> Bool # (<=) :: ConstTypename -> ConstTypename -> Bool # (>) :: ConstTypename -> ConstTypename -> Bool # (>=) :: ConstTypename -> ConstTypename -> Bool # max :: ConstTypename -> ConstTypename -> ConstTypename # min :: ConstTypename -> ConstTypename -> ConstTypename # | |||||
| type Rep ConstTypename Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ConstTypename = D1 ('MetaData "ConstTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "NumericConstTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Numeric)) :+: C1 ('MetaCons "ConstBitConstTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBit))) :+: (C1 ('MetaCons "ConstCharacterConstTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstCharacter)) :+: C1 ('MetaCons "ConstDatetimeConstTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstDatetime)))) | |||||
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 |
Instances
| Generic Numeric Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Numeric Source # | |||||
| Eq Numeric Source # | |||||
| Ord Numeric Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep Numeric Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Numeric = D1 ('MetaData "Numeric" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "IntNumeric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntegerNumeric" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SmallintNumeric" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BigintNumeric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RealNumeric" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FloatNumeric" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64))) :+: (C1 ('MetaCons "DoublePrecisionNumeric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecimalNumeric" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))))) :+: (C1 ('MetaCons "DecNumeric" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))) :+: (C1 ('MetaCons "NumericNumeric" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))) :+: C1 ('MetaCons "BooleanNumeric" 'PrefixI 'False) (U1 :: Type -> Type))))) | |||||
References
Bit:
| BitWithLength
| BitWithoutLength
ConstBit:
| BitWithLength
| BitWithoutLength
BitWithLength:
| BIT opt_varying '(' expr_list ')'
BitWithoutLength:
| BIT opt_varying
Constructors
| Bit OptVarying (Maybe ExprList) |
Instances
| Generic Bit Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Bit Source # | |||||
| Eq Bit Source # | |||||
| Ord Bit Source # | |||||
| type Rep Bit Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Bit = D1 ('MetaData "Bit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "Bit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExprList)))) | |||||
type OptVarying = Bool Source #
References
opt_varying: | VARYING | EMPTY
data ConstCharacter Source #
References
Character:
| CharacterWithLength
| CharacterWithoutLength
ConstCharacter:
| CharacterWithLength
| CharacterWithoutLength
CharacterWithLength:
| character '(' Iconst ')'
CharacterWithoutLength:
| character
Constructors
| ConstCharacter Character (Maybe Int64) |
Instances
| Generic ConstCharacter Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: ConstCharacter -> Rep ConstCharacter x # to :: Rep ConstCharacter x -> ConstCharacter # | |||||
| Show ConstCharacter Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstCharacter -> ShowS # show :: ConstCharacter -> String # showList :: [ConstCharacter] -> ShowS # | |||||
| Eq ConstCharacter Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ConstCharacter -> ConstCharacter -> Bool # (/=) :: ConstCharacter -> ConstCharacter -> Bool # | |||||
| Ord ConstCharacter Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ConstCharacter -> ConstCharacter -> Ordering # (<) :: ConstCharacter -> ConstCharacter -> Bool # (<=) :: ConstCharacter -> ConstCharacter -> Bool # (>) :: ConstCharacter -> ConstCharacter -> Bool # (>=) :: ConstCharacter -> ConstCharacter -> Bool # max :: ConstCharacter -> ConstCharacter -> ConstCharacter # min :: ConstCharacter -> ConstCharacter -> ConstCharacter # | |||||
| type Rep ConstCharacter Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ConstCharacter = D1 ('MetaData "ConstCharacter" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "ConstCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Character) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)))) | |||||
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 |
Instances
| Generic Character Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Character Source # | |||||
| Eq Character Source # | |||||
| Ord Character Source # | |||||
| type Rep Character Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Character = D1 ('MetaData "Character" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "CharacterCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: (C1 ('MetaCons "CharCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: C1 ('MetaCons "VarcharCharacter" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NationalCharacterCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: (C1 ('MetaCons "NationalCharCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying)) :+: C1 ('MetaCons "NcharCharacter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OptVarying))))) | |||||
data ConstDatetime Source #
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) |
Instances
| Generic ConstDatetime Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show ConstDatetime Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstDatetime -> ShowS # show :: ConstDatetime -> String # showList :: [ConstDatetime] -> ShowS # | |||||
| Eq ConstDatetime Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: ConstDatetime -> ConstDatetime -> Bool # (/=) :: ConstDatetime -> ConstDatetime -> Bool # | |||||
| Ord ConstDatetime Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: ConstDatetime -> ConstDatetime -> Ordering # (<) :: ConstDatetime -> ConstDatetime -> Bool # (<=) :: ConstDatetime -> ConstDatetime -> Bool # (>) :: ConstDatetime -> ConstDatetime -> Bool # (>=) :: ConstDatetime -> ConstDatetime -> Bool # max :: ConstDatetime -> ConstDatetime -> ConstDatetime # min :: ConstDatetime -> ConstDatetime -> ConstDatetime # | |||||
| type Rep ConstDatetime Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep ConstDatetime = D1 ('MetaData "ConstDatetime" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "TimestampConstDatetime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timezone))) :+: C1 ('MetaCons "TimeConstDatetime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int64)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Timezone)))) | |||||
References
opt_timezone: | WITH_LA TIME ZONE | WITHOUT TIME ZONE | EMPTY
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 |
Instances
| Generic Interval Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Interval Source # | |||||
| Eq Interval Source # | |||||
| Ord Interval Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep Interval Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Interval = D1 ('MetaData "Interval" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "YearInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MonthInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DayInterval" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "HourInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MinuteInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SecondInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond))))) :+: ((C1 ('MetaCons "YearToMonthInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DayToHourInterval" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DayToMinuteInterval" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DayToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond)) :+: C1 ('MetaCons "HourToMinuteInterval" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HourToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond)) :+: C1 ('MetaCons "MinuteToSecondInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntervalSecond)))))) | |||||
type IntervalSecond = Maybe Int64 Source #
References
interval_second:
| SECOND_P
| SECOND_P '(' Iconst ')'
Names & References
References
IDENT
Constructors
| QuotedIdent Text | |
| UnquotedIdent Text |
Instances
| Generic Ident Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Ident Source # | |||||
| Eq Ident Source # | |||||
| Ord Ident Source # | |||||
| type Rep Ident Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Ident = D1 ('MetaData "Ident" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "QuotedIdent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "UnquotedIdent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
type ColLabel = Ident Source #
References
ColLabel: | IDENT | unreserved_keyword | col_name_keyword | type_func_name_keyword | reserved_keyword
type CursorName = Name Source #
References
cursor_name: | name
References
columnref: | ColId | ColId indirection
Constructors
| Columnref ColId (Maybe Indirection) |
Instances
| Generic Columnref Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Columnref Source # | |||||
| Eq Columnref Source # | |||||
| Ord Columnref Source # | |||||
| type Rep Columnref Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Columnref = D1 ('MetaData "Columnref" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "Columnref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Indirection)))) | |||||
References
any_name: | ColId | ColId attrs
Instances
| Generic AnyName Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AnyName Source # | |||||
| Eq AnyName Source # | |||||
| Ord AnyName Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep AnyName Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AnyName = D1 ('MetaData "AnyName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "AnyName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attrs)))) | |||||
References
func_name: | type_function_name | ColId indirection
Constructors
| TypeFuncName TypeFunctionName | |
| IndirectedFuncName ColId Indirection |
Instances
| Generic FuncName Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show FuncName Source # | |||||
| Eq FuncName Source # | |||||
| Ord FuncName Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep FuncName Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep FuncName = D1 ('MetaData "FuncName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "TypeFuncName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFunctionName)) :+: C1 ('MetaCons "IndirectedFuncName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Indirection))) | |||||
type TypeFunctionName = Ident Source #
References
type_function_name: | IDENT | unreserved_keyword | type_func_name_keyword
data QualifiedName Source #
References
columnref: | ColId | ColId indirection qualified_name: | ColId | ColId indirection
Constructors
| SimpleQualifiedName Ident | |
| IndirectedQualifiedName Ident Indirection |
Instances
| Generic QualifiedName Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show QualifiedName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> QualifiedName -> ShowS # show :: QualifiedName -> String # showList :: [QualifiedName] -> ShowS # | |||||
| Eq QualifiedName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: QualifiedName -> QualifiedName -> Bool # (/=) :: QualifiedName -> QualifiedName -> Bool # | |||||
| Ord QualifiedName Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: QualifiedName -> QualifiedName -> Ordering # (<) :: QualifiedName -> QualifiedName -> Bool # (<=) :: QualifiedName -> QualifiedName -> Bool # (>) :: QualifiedName -> QualifiedName -> Bool # (>=) :: QualifiedName -> QualifiedName -> Bool # max :: QualifiedName -> QualifiedName -> QualifiedName # min :: QualifiedName -> QualifiedName -> QualifiedName # | |||||
| type Rep QualifiedName Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep QualifiedName = D1 ('MetaData "QualifiedName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "SimpleQualifiedName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "IndirectedQualifiedName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Indirection))) | |||||
type Indirection = NonEmpty IndirectionEl Source #
References
indirection: | indirection_el | indirection indirection_el
data IndirectionEl Source #
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) |
Instances
| Generic IndirectionEl Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show IndirectionEl Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> IndirectionEl -> ShowS # show :: IndirectionEl -> String # showList :: [IndirectionEl] -> ShowS # | |||||
| Eq IndirectionEl Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: IndirectionEl -> IndirectionEl -> Bool # (/=) :: IndirectionEl -> IndirectionEl -> Bool # | |||||
| Ord IndirectionEl Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: IndirectionEl -> IndirectionEl -> Ordering # (<) :: IndirectionEl -> IndirectionEl -> Bool # (<=) :: IndirectionEl -> IndirectionEl -> Bool # (>) :: IndirectionEl -> IndirectionEl -> Bool # (>=) :: IndirectionEl -> IndirectionEl -> Bool # max :: IndirectionEl -> IndirectionEl -> IndirectionEl # min :: IndirectionEl -> IndirectionEl -> IndirectionEl # | |||||
| type Rep IndirectionEl Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep IndirectionEl = D1 ('MetaData "IndirectionEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "AttrNameIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "AllIndirectionEl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExprIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: C1 ('MetaCons "SliceIndirectionEl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AExpr))))) | |||||
Types
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 | |
Fields
| |
Instances
| Generic Typename Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show Typename Source # | |||||
| Eq Typename Source # | |||||
| Ord Typename Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| type Rep Typename Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep Typename = D1 ('MetaData "Typename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "Typename" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTypename)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TypenameArrayDimensions, Bool)))))) | |||||
data TypenameArrayDimensions Source #
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) |
Instances
| Generic TypenameArrayDimensions Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: TypenameArrayDimensions -> Rep TypenameArrayDimensions x # to :: Rep TypenameArrayDimensions x -> TypenameArrayDimensions # | |||||
| Show TypenameArrayDimensions Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TypenameArrayDimensions -> ShowS # show :: TypenameArrayDimensions -> String # showList :: [TypenameArrayDimensions] -> ShowS # | |||||
| Eq TypenameArrayDimensions Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # (/=) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # | |||||
| Ord TypenameArrayDimensions Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: TypenameArrayDimensions -> TypenameArrayDimensions -> Ordering # (<) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # (<=) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # (>) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # (>=) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # max :: TypenameArrayDimensions -> TypenameArrayDimensions -> TypenameArrayDimensions # min :: TypenameArrayDimensions -> TypenameArrayDimensions -> TypenameArrayDimensions # | |||||
| type Rep TypenameArrayDimensions Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep TypenameArrayDimensions = D1 ('MetaData "TypenameArrayDimensions" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "BoundsTypenameArrayDimensions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArrayBounds)) :+: C1 ('MetaCons "ExplicitTypenameArrayDimensions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Iconst)))) | |||||
type ArrayBounds = NonEmpty (Maybe Iconst) Source #
References
opt_array_bounds: | opt_array_bounds '[' ']' | opt_array_bounds '[' Iconst ']' | EMPTY
data SimpleTypename Source #
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) |
Instances
| Generic SimpleTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SimpleTypename -> Rep SimpleTypename x # to :: Rep SimpleTypename x -> SimpleTypename # | |||||
| Show SimpleTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SimpleTypename -> ShowS # show :: SimpleTypename -> String # showList :: [SimpleTypename] -> ShowS # | |||||
| Eq SimpleTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SimpleTypename -> SimpleTypename -> Bool # (/=) :: SimpleTypename -> SimpleTypename -> Bool # | |||||
| Ord SimpleTypename Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SimpleTypename -> SimpleTypename -> Ordering # (<) :: SimpleTypename -> SimpleTypename -> Bool # (<=) :: SimpleTypename -> SimpleTypename -> Bool # (>) :: SimpleTypename -> SimpleTypename -> Bool # (>=) :: SimpleTypename -> SimpleTypename -> Bool # max :: SimpleTypename -> SimpleTypename -> SimpleTypename # min :: SimpleTypename -> SimpleTypename -> SimpleTypename # | |||||
| type Rep SimpleTypename Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SimpleTypename = D1 ('MetaData "SimpleTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "GenericTypeSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenericType)) :+: (C1 ('MetaCons "NumericSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Numeric)) :+: C1 ('MetaCons "BitSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit)))) :+: (C1 ('MetaCons "CharacterSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Character)) :+: (C1 ('MetaCons "ConstDatetimeSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstDatetime)) :+: C1 ('MetaCons "ConstIntervalSimpleTypename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either (Maybe Interval) Iconst)))))) | |||||
data GenericType Source #
References
GenericType: | type_function_name opt_type_modifiers | type_function_name attrs opt_type_modifiers
Constructors
| GenericType TypeFunctionName (Maybe Attrs) (Maybe TypeModifiers) |
Instances
| Generic GenericType Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show GenericType Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> GenericType -> ShowS # show :: GenericType -> String # showList :: [GenericType] -> ShowS # | |||||
| Eq GenericType Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord GenericType Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: GenericType -> GenericType -> Ordering # (<) :: GenericType -> GenericType -> Bool # (<=) :: GenericType -> GenericType -> Bool # (>) :: GenericType -> GenericType -> Bool # (>=) :: GenericType -> GenericType -> Bool # max :: GenericType -> GenericType -> GenericType # min :: GenericType -> GenericType -> GenericType # | |||||
| type Rep GenericType Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep GenericType = D1 ('MetaData "GenericType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "GenericType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFunctionName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attrs)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TypeModifiers))))) | |||||
type TypeModifiers = ExprList Source #
References
opt_type_modifiers:
| '(' expr_list ')'
| EMPTY
Operators
References
qual_Op:
| Op
| OPERATOR '(' any_operator ')'
Constructors
| OpQualOp Op | |
| OperatorQualOp AnyOperator |
Instances
| Generic QualOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show QualOp Source # | |||||
| Eq QualOp Source # | |||||
| Ord QualOp Source # | |||||
| type Rep QualOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep QualOp = D1 ('MetaData "QualOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "OpQualOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op)) :+: C1 ('MetaCons "OperatorQualOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator))) | |||||
References
qual_all_Op:
| all_Op
| OPERATOR '(' any_operator ')'
Constructors
| AllQualAllOp AllOp | |
| AnyQualAllOp AnyOperator |
Instances
| Generic QualAllOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show QualAllOp Source # | |||||
| Eq QualAllOp Source # | |||||
| Ord QualAllOp Source # | |||||
| type Rep QualAllOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep QualAllOp = D1 ('MetaData "QualAllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "AllQualAllOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "AnyQualAllOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator))) | |||||
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.
data AnyOperator Source #
References
any_operator:
| all_Op
| ColId . any_operator
Constructors
| AllOpAnyOperator AllOp | |
| QualifiedAnyOperator ColId AnyOperator |
Instances
| Generic AnyOperator Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AnyOperator Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AnyOperator -> ShowS # show :: AnyOperator -> String # showList :: [AnyOperator] -> ShowS # | |||||
| Eq AnyOperator Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord AnyOperator Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: AnyOperator -> AnyOperator -> Ordering # (<) :: AnyOperator -> AnyOperator -> Bool # (<=) :: AnyOperator -> AnyOperator -> Bool # (>) :: AnyOperator -> AnyOperator -> Bool # (>=) :: AnyOperator -> AnyOperator -> Bool # max :: AnyOperator -> AnyOperator -> AnyOperator # min :: AnyOperator -> AnyOperator -> AnyOperator # | |||||
| type Rep AnyOperator Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AnyOperator = D1 ('MetaData "AnyOperator" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "AllOpAnyOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "QualifiedAnyOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator))) | |||||
References
all_Op: | Op | MathOp
Instances
| Generic AllOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show AllOp Source # | |||||
| Eq AllOp Source # | |||||
| Ord AllOp Source # | |||||
| type Rep AllOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AllOp = D1 ('MetaData "AllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "OpAllOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op)) :+: C1 ('MetaCons "MathAllOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MathOp))) | |||||
Constructors
| PlusMathOp | |
| MinusMathOp | |
| AsteriskMathOp | |
| SlashMathOp | |
| PercentMathOp | |
| ArrowUpMathOp | |
| ArrowLeftMathOp | |
| ArrowRightMathOp | |
| EqualsMathOp | |
| LessEqualsMathOp | |
| GreaterEqualsMathOp | |
| ArrowLeftArrowRightMathOp | |
| ExclamationEqualsMathOp |
Instances
| Bounded MathOp Source # | |||||
| Enum MathOp Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Generic MathOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show MathOp Source # | |||||
| Eq MathOp Source # | |||||
| Ord MathOp Source # | |||||
| type Rep MathOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep MathOp = D1 ('MetaData "MathOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "PlusMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MinusMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AsteriskMathOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SlashMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PercentMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ArrowUpMathOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ArrowLeftMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ArrowRightMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsMathOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LessEqualsMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GreaterEqualsMathOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ArrowLeftArrowRightMathOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExclamationEqualsMathOp" 'PrefixI 'False) (U1 :: Type -> Type))))) | |||||
data SymbolicExprBinOp Source #
Constructors
| MathSymbolicExprBinOp MathOp | |
| QualSymbolicExprBinOp QualOp |
Instances
| Generic SymbolicExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: SymbolicExprBinOp -> Rep SymbolicExprBinOp x # to :: Rep SymbolicExprBinOp x -> SymbolicExprBinOp # | |||||
| Show SymbolicExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SymbolicExprBinOp -> ShowS # show :: SymbolicExprBinOp -> String # showList :: [SymbolicExprBinOp] -> ShowS # | |||||
| Eq SymbolicExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # (/=) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # | |||||
| Ord SymbolicExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SymbolicExprBinOp -> SymbolicExprBinOp -> Ordering # (<) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # (<=) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # (>) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # (>=) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # max :: SymbolicExprBinOp -> SymbolicExprBinOp -> SymbolicExprBinOp # min :: SymbolicExprBinOp -> SymbolicExprBinOp -> SymbolicExprBinOp # | |||||
| type Rep SymbolicExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SymbolicExprBinOp = D1 ('MetaData "SymbolicExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "MathSymbolicExprBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MathOp)) :+: C1 ('MetaCons "QualSymbolicExprBinOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualOp))) | |||||
data VerbalExprBinOp Source #
Instances
| Bounded VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Enum VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods succ :: VerbalExprBinOp -> VerbalExprBinOp # pred :: VerbalExprBinOp -> VerbalExprBinOp # toEnum :: Int -> VerbalExprBinOp # fromEnum :: VerbalExprBinOp -> Int # enumFrom :: VerbalExprBinOp -> [VerbalExprBinOp] # enumFromThen :: VerbalExprBinOp -> VerbalExprBinOp -> [VerbalExprBinOp] # enumFromTo :: VerbalExprBinOp -> VerbalExprBinOp -> [VerbalExprBinOp] # enumFromThenTo :: VerbalExprBinOp -> VerbalExprBinOp -> VerbalExprBinOp -> [VerbalExprBinOp] # | |||||
| Generic VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: VerbalExprBinOp -> Rep VerbalExprBinOp x # to :: Rep VerbalExprBinOp x -> VerbalExprBinOp # | |||||
| Show VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> VerbalExprBinOp -> ShowS # show :: VerbalExprBinOp -> String # showList :: [VerbalExprBinOp] -> ShowS # | |||||
| Eq VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # (/=) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # | |||||
| Ord VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: VerbalExprBinOp -> VerbalExprBinOp -> Ordering # (<) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # (<=) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # (>) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # (>=) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # max :: VerbalExprBinOp -> VerbalExprBinOp -> VerbalExprBinOp # min :: VerbalExprBinOp -> VerbalExprBinOp -> VerbalExprBinOp # | |||||
| type Rep VerbalExprBinOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep VerbalExprBinOp = D1 ('MetaData "VerbalExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "LikeVerbalExprBinOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IlikeVerbalExprBinOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SimilarToVerbalExprBinOp" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data AExprReversableOp Source #
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 |
Instances
| Generic AExprReversableOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
Methods from :: AExprReversableOp -> Rep AExprReversableOp x # to :: Rep AExprReversableOp x -> AExprReversableOp # | |||||
| Show AExprReversableOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AExprReversableOp -> ShowS # show :: AExprReversableOp -> String # showList :: [AExprReversableOp] -> ShowS # | |||||
| Eq AExprReversableOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods (==) :: AExprReversableOp -> AExprReversableOp -> Bool # (/=) :: AExprReversableOp -> AExprReversableOp -> Bool # | |||||
| Ord AExprReversableOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: AExprReversableOp -> AExprReversableOp -> Ordering # (<) :: AExprReversableOp -> AExprReversableOp -> Bool # (<=) :: AExprReversableOp -> AExprReversableOp -> Bool # (>) :: AExprReversableOp -> AExprReversableOp -> Bool # (>=) :: AExprReversableOp -> AExprReversableOp -> Bool # max :: AExprReversableOp -> AExprReversableOp -> AExprReversableOp # min :: AExprReversableOp -> AExprReversableOp -> AExprReversableOp # | |||||
| type Rep AExprReversableOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep AExprReversableOp = D1 ('MetaData "AExprReversableOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (((C1 ('MetaCons "NullAExprReversableOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TrueAExprReversableOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FalseAExprReversableOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnknownAExprReversableOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DistinctFromAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr))))) :+: ((C1 ('MetaCons "OfAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeList)) :+: C1 ('MetaCons "BetweenAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) :+: (C1 ('MetaCons "BetweenSymmetricAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)) :+: (C1 ('MetaCons "InAExprReversableOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InExpr)) :+: C1 ('MetaCons "DocumentAExprReversableOp" 'PrefixI 'False) (U1 :: Type -> Type))))) | |||||
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 |
Instances
| Generic BExprIsOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show BExprIsOp Source # | |||||
| Eq BExprIsOp Source # | |||||
| Ord BExprIsOp Source # | |||||
| type Rep BExprIsOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep BExprIsOp = D1 ('MetaData "BExprIsOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "DistinctFromBExprIsOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BExpr)) :+: (C1 ('MetaCons "OfBExprIsOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeList)) :+: C1 ('MetaCons "DocumentBExprIsOp" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data SubqueryOp Source #
References
subquery_Op:
| all_Op
| OPERATOR '(' any_operator ')'
| LIKE
| NOT_LA LIKE
| ILIKE
| NOT_LA ILIKE
Instances
| Generic SubqueryOp Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show SubqueryOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubqueryOp -> ShowS # show :: SubqueryOp -> String # showList :: [SubqueryOp] -> ShowS # | |||||
| Eq SubqueryOp Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord SubqueryOp Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: SubqueryOp -> SubqueryOp -> Ordering # (<) :: SubqueryOp -> SubqueryOp -> Bool # (<=) :: SubqueryOp -> SubqueryOp -> Bool # (>) :: SubqueryOp -> SubqueryOp -> Bool # (>=) :: SubqueryOp -> SubqueryOp -> Bool # max :: SubqueryOp -> SubqueryOp -> SubqueryOp # min :: SubqueryOp -> SubqueryOp -> SubqueryOp # | |||||
| type Rep SubqueryOp Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep SubqueryOp = D1 ('MetaData "SubqueryOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) ((C1 ('MetaCons "AllSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllOp)) :+: C1 ('MetaCons "AnySubqueryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnyOperator))) :+: (C1 ('MetaCons "LikeSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "IlikeSubqueryOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) | |||||
Indexes
type IndexParams = NonEmpty IndexElem Source #
References
index_params: | index_elem | index_params ',' index_elem
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) |
Instances
| Generic IndexElem Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show IndexElem Source # | |||||
| Eq IndexElem Source # | |||||
| Ord IndexElem Source # | |||||
| type Rep IndexElem Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep IndexElem = D1 ('MetaData "IndexElem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "IndexElem" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexElemDef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Collate))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Class)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AscDesc)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NullsOrder)))))) | |||||
data IndexElemDef Source #
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
Instances
| Generic IndexElemDef Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show IndexElemDef Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> IndexElemDef -> ShowS # show :: IndexElemDef -> String # showList :: [IndexElemDef] -> ShowS # | |||||
| Eq IndexElemDef Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord IndexElemDef Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: IndexElemDef -> IndexElemDef -> Ordering # (<) :: IndexElemDef -> IndexElemDef -> Bool # (<=) :: IndexElemDef -> IndexElemDef -> Bool # (>) :: IndexElemDef -> IndexElemDef -> Bool # (>=) :: IndexElemDef -> IndexElemDef -> Bool # max :: IndexElemDef -> IndexElemDef -> IndexElemDef # min :: IndexElemDef -> IndexElemDef -> IndexElemDef # | |||||
| type Rep IndexElemDef Source # | |||||
Defined in PostgresqlSyntax.Ast type Rep IndexElemDef = D1 ('MetaData "IndexElemDef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.4.1.3-2gJ5kknVwbv1PNV40LpRHa" 'False) (C1 ('MetaCons "IdIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColId)) :+: (C1 ('MetaCons "FuncIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncExprWindowless)) :+: C1 ('MetaCons "ExprIndexElemDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AExpr)))) | |||||
References
opt_asc_desc: | ASC | DESC | EMPTY
Constructors
| AscAscDesc | |
| DescAscDesc |
Instances
| Bounded AscDesc Source # | |
| Enum AscDesc Source # | |
| Generic AscDesc Source # | |
Defined in PostgresqlSyntax.Ast | |
| Show AscDesc Source # | |
| Eq AscDesc Source # | |
| Ord AscDesc Source # | |
Defined in PostgresqlSyntax.Ast | |
| type Rep AscDesc Source # | |
data NullsOrder Source #
References
opt_nulls_order: | NULLS_LA FIRST_P | NULLS_LA LAST_P | EMPTY
Constructors
| FirstNullsOrder | |
| LastNullsOrder |
Instances
| Bounded NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Enum NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast Methods succ :: NullsOrder -> NullsOrder # pred :: NullsOrder -> NullsOrder # toEnum :: Int -> NullsOrder # fromEnum :: NullsOrder -> Int # enumFrom :: NullsOrder -> [NullsOrder] # enumFromThen :: NullsOrder -> NullsOrder -> [NullsOrder] # enumFromTo :: NullsOrder -> NullsOrder -> [NullsOrder] # enumFromThenTo :: NullsOrder -> NullsOrder -> NullsOrder -> [NullsOrder] # | |||||
| Generic NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast Associated Types
| |||||
| Show NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> NullsOrder -> ShowS # show :: NullsOrder -> String # showList :: [NullsOrder] -> ShowS # | |||||
| Eq NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||
| Ord NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast Methods compare :: NullsOrder -> NullsOrder -> Ordering # (<) :: NullsOrder -> NullsOrder -> Bool # (<=) :: NullsOrder -> NullsOrder -> Bool # (>) :: NullsOrder -> NullsOrder -> Bool # (>=) :: NullsOrder -> NullsOrder -> Bool # max :: NullsOrder -> NullsOrder -> NullsOrder # min :: NullsOrder -> NullsOrder -> NullsOrder # | |||||
| type Rep NullsOrder Source # | |||||
Defined in PostgresqlSyntax.Ast | |||||