Safe Haskell	None
Language	Haskell2010

PostgresqlSyntax.Ast

Contents

Statement
Insert
Update
Delete
Select
For Locking
Table references and joining
Where
Expression
Constants
Names & References
Types
Operators
Indexes

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
- = SelectPreparableStmt SelectStmt
- | InsertPreparableStmt InsertStmt
- | UpdatePreparableStmt UpdateStmt
- | DeletePreparableStmt DeleteStmt
data InsertStmt = InsertStmt (Maybe WithClause) InsertTarget InsertRest (Maybe OnConflict) (Maybe ReturningClause)
data InsertTarget = InsertTarget QualifiedName (Maybe ColId)
data InsertRest
- = SelectInsertRest (Maybe InsertColumnList) (Maybe OverrideKind) SelectStmt
- | DefaultValuesInsertRest
data OverrideKind
- = UserOverrideKind
- | SystemOverrideKind
type InsertColumnList = NonEmpty InsertColumnItem
data InsertColumnItem = InsertColumnItem ColId (Maybe Indirection)
data OnConflict = OnConflict (Maybe ConfExpr) OnConflictDo
data OnConflictDo
- = UpdateOnConflictDo SetClauseList (Maybe WhereClause)
- | NothingOnConflictDo
data ConfExpr
- = WhereConfExpr IndexParams (Maybe WhereClause)
- | ConstraintConfExpr Name
type ReturningClause = TargetList
data UpdateStmt = UpdateStmt (Maybe WithClause) RelationExprOptAlias SetClauseList (Maybe FromClause) (Maybe WhereOrCurrentClause) (Maybe ReturningClause)
type SetClauseList = NonEmpty SetClause
data SetClause
- = TargetSetClause SetTarget AExpr
- | TargetListSetClause SetTargetList AExpr
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
- = NoParensSelectWithParens SelectNoParens
- | WithParensSelectWithParens SelectWithParens
data SelectNoParens = SelectNoParens (Maybe WithClause) SelectClause (Maybe SortClause) (Maybe SelectLimit) (Maybe ForLockingClause)
type SelectClause = Either SimpleSelect SelectWithParens
data SimpleSelect
- = 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
data Targeting
- = NormalTargeting TargetList
- | AllTargeting (Maybe TargetList)
- | DistinctTargeting (Maybe ExprList) TargetList
type TargetList = NonEmpty TargetEl
data TargetEl
- = AliasedExprTargetEl AExpr Ident
- | ImplicitlyAliasedExprTargetEl AExpr Ident
- | ExprTargetEl AExpr
- | AsteriskTargetEl
data SelectBinOp
- = UnionSelectBinOp
- | IntersectSelectBinOp
- | ExceptSelectBinOp
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
- = ExprGroupByItem AExpr
- | EmptyGroupingSetGroupByItem
- | RollupGroupByItem ExprList
- | CubeGroupByItem ExprList
- | GroupingSetsGroupByItem (NonEmpty 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
- = RangeFrameClauseMode
- | RowsFrameClauseMode
- | GroupsFrameClauseMode
data FrameExtent
- = SingularFrameExtent FrameBound
- | BetweenFrameExtent FrameBound FrameBound
data FrameBound
- = UnboundedPrecedingFrameBound
- | UnboundedFollowingFrameBound
- | CurrentRowFrameBound
- | PrecedingFrameBound AExpr
- | FollowingFrameBound AExpr
data WindowExclusionClause
- = CurrentRowWindowExclusionClause
- | GroupWindowExclusionClause
- | TiesWindowExclusionClause
- | NoOthersWindowExclusionClause
type ValuesClause = NonEmpty ExprList
type SortClause = NonEmpty SortBy
data SortBy
- = UsingSortBy AExpr QualAllOp (Maybe NullsOrder)
- | AscDescSortBy AExpr (Maybe AscDesc) (Maybe NullsOrder)
data SelectLimit
- = LimitOffsetSelectLimit LimitClause OffsetClause
- | OffsetLimitSelectLimit OffsetClause LimitClause
- | LimitSelectLimit LimitClause
- | OffsetSelectLimit OffsetClause
data LimitClause
- = LimitLimitClause SelectLimitValue (Maybe AExpr)
- | FetchOnlyLimitClause Bool (Maybe SelectFetchFirstValue) Bool
data SelectFetchFirstValue
- = ExprSelectFetchFirstValue CExpr
- | NumSelectFetchFirstValue Bool (Either Int64 Double)
data SelectLimitValue
- = ExprSelectLimitValue AExpr
- | AllSelectLimitValue
data OffsetClause
- = ExprOffsetClause AExpr
- | FetchFirstOffsetClause SelectFetchFirstValue Bool
data ForLockingClause
- = ItemsForLockingClause (NonEmpty ForLockingItem)
- | ReadOnlyForLockingClause
data ForLockingItem = ForLockingItem ForLockingStrength (Maybe (NonEmpty QualifiedName)) (Maybe Bool)
data ForLockingStrength
- = UpdateForLockingStrength
- | NoKeyUpdateForLockingStrength
- | ShareForLockingStrength
- | KeyForLockingStrength
type FromList = NonEmpty TableRef
data TableRef
- = RelationExprTableRef RelationExpr (Maybe AliasClause) (Maybe TablesampleClause)
- | FuncTableRef Bool FuncTable (Maybe FuncAliasClause)
- | SelectTableRef Bool SelectWithParens (Maybe AliasClause)
- | JoinTableRef JoinedTable (Maybe AliasClause)
data RelationExpr
- = SimpleRelationExpr QualifiedName Bool
- | OnlyRelationExpr QualifiedName Bool
data RelationExprOptAlias = RelationExprOptAlias RelationExpr (Maybe (Bool, ColId))
data TablesampleClause = TablesampleClause FuncName ExprList (Maybe RepeatableClause)
type RepeatableClause = AExpr
data FuncTable
- = FuncExprFuncTable FuncExprWindowless OptOrdinality
- | RowsFromFuncTable RowsfromList OptOrdinality
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
- = AliasFuncAliasClause AliasClause
- | AsFuncAliasClause TableFuncElementList
- | AsColIdFuncAliasClause ColId TableFuncElementList
- | ColIdFuncAliasClause ColId TableFuncElementList
data JoinedTable
- = InParensJoinedTable JoinedTable
- | MethJoinedTable JoinMeth TableRef TableRef
data JoinMeth
- = CrossJoinMeth
- | QualJoinMeth (Maybe JoinType) JoinQual
- | NaturalJoinMeth (Maybe JoinType)
data JoinType
- = FullJoinType Bool
- | LeftJoinType Bool
- | RightJoinType Bool
- | InnerJoinType
data JoinQual
- = UsingJoinQual (NonEmpty Ident)
- | OnJoinQual AExpr
type WhereClause = AExpr
data WhereOrCurrentClause
- = ExprWhereOrCurrentClause AExpr
- | CursorWhereOrCurrentClause CursorName
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
- = CExprBExpr CExpr
- | TypecastBExpr BExpr Typename
- | PlusBExpr BExpr
- | MinusBExpr BExpr
- | SymbolicBinOpBExpr BExpr SymbolicExprBinOp BExpr
- | QualOpBExpr QualOp BExpr
- | IsOpBExpr BExpr Bool BExprIsOp
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
- = SelectInExpr SelectWithParens
- | ExprListInExpr ExprList
data SubType
- = AnySubType
- | SomeSubType
- | AllSubType
data ArrayExpr
- = ExprListArrayExpr ExprList
- | ArrayExprListArrayExpr ArrayExprList
- | EmptyArrayExpr
type ArrayExprList = NonEmpty ArrayExpr
data Row
- = ExplicitRowRow ExplicitRow
- | ImplicitRowRow ImplicitRow
type ExplicitRow = Maybe ExprList
data ImplicitRow = ImplicitRow ExprList AExpr
data FuncExpr
- = ApplicationFuncExpr FuncApplication (Maybe WithinGroupClause) (Maybe FilterClause) (Maybe OverClause)
- | SubexprFuncExpr FuncExprCommonSubexpr
data FuncExprWindowless
- = ApplicationFuncExprWindowless FuncApplication
- | CommonSubexprFuncExprWindowless FuncExprCommonSubexpr
type WithinGroupClause = SortClause
type FilterClause = AExpr
data OverClause
- = WindowOverClause WindowSpecification
- | ColIdOverClause ColId
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
- = IdentExtractArg Ident
- | YearExtractArg
- | MonthExtractArg
- | DayExtractArg
- | HourExtractArg
- | MinuteExtractArg
- | SecondExtractArg
- | SconstExtractArg Sconst
data OverlayList = OverlayList AExpr OverlayPlacing SubstrFrom (Maybe SubstrFor)
type OverlayPlacing = AExpr
data PositionList = PositionList BExpr BExpr
data SubstrList
- = ExprSubstrList AExpr SubstrListFromFor
- | ExprListSubstrList ExprList
data SubstrListFromFor
- = FromForSubstrListFromFor SubstrFrom SubstrFor
- | ForFromSubstrListFromFor SubstrFor SubstrFrom
- | FromSubstrListFromFor SubstrFrom
- | ForSubstrListFromFor SubstrFor
type SubstrFrom = AExpr
type SubstrFor = AExpr
data TrimModifier
- = BothTrimModifier
- | LeadingTrimModifier
- | TrailingTrimModifier
data TrimList
- = ExprFromExprListTrimList AExpr ExprList
- | FromExprListTrimList ExprList
- | ExprListTrimList ExprList
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
- = NormalFuncApplicationParams (Maybe Bool) (NonEmpty FuncArgExpr) (Maybe SortClause)
- | VariadicFuncApplicationParams (Maybe (NonEmpty FuncArgExpr)) FuncArgExpr (Maybe SortClause)
- | StarFuncApplicationParams
data FuncArgExpr
- = ExprFuncArgExpr AExpr
- | ColonEqualsFuncArgExpr Ident AExpr
- | EqualsGreaterFuncArgExpr Ident AExpr
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
- = NumericConstTypename Numeric
- | ConstBitConstTypename ConstBit
- | ConstCharacterConstTypename ConstCharacter
- | ConstDatetimeConstTypename ConstDatetime
data Numeric
- = IntNumeric
- | IntegerNumeric
- | SmallintNumeric
- | BigintNumeric
- | RealNumeric
- | FloatNumeric (Maybe Int64)
- | DoublePrecisionNumeric
- | DecimalNumeric (Maybe TypeModifiers)
- | DecNumeric (Maybe TypeModifiers)
- | NumericNumeric (Maybe TypeModifiers)
- | BooleanNumeric
data Bit = Bit OptVarying (Maybe ExprList)
type ConstBit = Bit
type OptVarying = Bool
data ConstCharacter = ConstCharacter Character (Maybe Int64)
data Character
- = CharacterCharacter OptVarying
- | CharCharacter OptVarying
- | VarcharCharacter
- | NationalCharacterCharacter OptVarying
- | NationalCharCharacter OptVarying
- | NcharCharacter OptVarying
data ConstDatetime
- = TimestampConstDatetime (Maybe Int64) (Maybe Timezone)
- | TimeConstDatetime (Maybe Int64) (Maybe Timezone)
type Timezone = Bool
data Interval
- = YearInterval
- | MonthInterval
- | DayInterval
- | HourInterval
- | MinuteInterval
- | SecondInterval IntervalSecond
- | YearToMonthInterval
- | DayToHourInterval
- | DayToMinuteInterval
- | DayToSecondInterval IntervalSecond
- | HourToMinuteInterval
- | HourToSecondInterval IntervalSecond
- | MinuteToSecondInterval IntervalSecond
type IntervalSecond = Maybe Int64
data Ident
- = QuotedIdent Text
- | UnquotedIdent Text
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
- = TypeFuncName TypeFunctionName
- | IndirectedFuncName ColId Indirection
type TypeFunctionName = Ident
data QualifiedName
- = SimpleQualifiedName Ident
- | IndirectedQualifiedName Ident Indirection
type Indirection = NonEmpty IndirectionEl
data IndirectionEl
- = AttrNameIndirectionEl Ident
- | AllIndirectionEl
- | ExprIndirectionEl AExpr
- | SliceIndirectionEl (Maybe AExpr) (Maybe AExpr)
data Typename = Typename Bool SimpleTypename Bool (Maybe (TypenameArrayDimensions, Bool))
data TypenameArrayDimensions
- = BoundsTypenameArrayDimensions ArrayBounds
- | ExplicitTypenameArrayDimensions (Maybe Iconst)
type ArrayBounds = NonEmpty (Maybe Iconst)
data SimpleTypename
- = GenericTypeSimpleTypename GenericType
- | NumericSimpleTypename Numeric
- | BitSimpleTypename Bit
- | CharacterSimpleTypename Character
- | ConstDatetimeSimpleTypename ConstDatetime
- | ConstIntervalSimpleTypename (Either (Maybe Interval) Iconst)
data GenericType = GenericType TypeFunctionName (Maybe Attrs) (Maybe TypeModifiers)
type Attrs = NonEmpty AttrName
type AttrName = ColLabel
type TypeModifiers = ExprList
type TypeList = NonEmpty Typename
data QualOp
- = OpQualOp Op
- | OperatorQualOp AnyOperator
data QualAllOp
- = AllQualAllOp AllOp
- | AnyQualAllOp AnyOperator
type Op = Text
data AnyOperator
- = AllOpAnyOperator AllOp
- | QualifiedAnyOperator ColId AnyOperator
data AllOp
- = OpAllOp Op
- | MathAllOp MathOp
data MathOp
- = PlusMathOp
- | MinusMathOp
- | AsteriskMathOp
- | SlashMathOp
- | PercentMathOp
- | ArrowUpMathOp
- | ArrowLeftMathOp
- | ArrowRightMathOp
- | EqualsMathOp
- | LessEqualsMathOp
- | GreaterEqualsMathOp
- | ArrowLeftArrowRightMathOp
- | ExclamationEqualsMathOp
data SymbolicExprBinOp
- = MathSymbolicExprBinOp MathOp
- | QualSymbolicExprBinOp QualOp
data VerbalExprBinOp
- = LikeVerbalExprBinOp
- | IlikeVerbalExprBinOp
- | SimilarToVerbalExprBinOp
data AExprReversableOp
- = NullAExprReversableOp
- | TrueAExprReversableOp
- | FalseAExprReversableOp
- | UnknownAExprReversableOp
- | DistinctFromAExprReversableOp AExpr
- | OfAExprReversableOp TypeList
- | BetweenAExprReversableOp Bool BExpr AExpr
- | BetweenSymmetricAExprReversableOp BExpr AExpr
- | InAExprReversableOp InExpr
- | DocumentAExprReversableOp
data BExprIsOp
- = DistinctFromBExprIsOp BExpr
- | OfBExprIsOp TypeList
- | DocumentBExprIsOp
data SubqueryOp
- = AllSubqueryOp AllOp
- | AnySubqueryOp AnyOperator
- | LikeSubqueryOp Bool
- | IlikeSubqueryOp Bool
type IndexParams = NonEmpty IndexElem
data IndexElem = IndexElem IndexElemDef (Maybe Collate) (Maybe Class) (Maybe AscDesc) (Maybe NullsOrder)
data IndexElemDef
- = IdIndexElemDef ColId
- | FuncIndexElemDef FuncExprWindowless
- | ExprIndexElemDef AExpr
type Collate = AnyName
type Class = AnyName
data AscDesc
- = AscAscDesc
- | DescAscDesc
data NullsOrder
- = FirstNullsOrder
- | LastNullsOrder

Statement

data PreparableStmt Source #

Constructors

SelectPreparableStmt SelectStmt
InsertPreparableStmt InsertStmt
UpdatePreparableStmt UpdateStmt
DeletePreparableStmt DeleteStmt

Instances

Eq PreparableStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: PreparableStmt -> PreparableStmt -> Bool # (/=) :: PreparableStmt -> PreparableStmt -> Bool #
Ord PreparableStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: PreparableStmt -> PreparableStmt -> Ordering # (<) :: PreparableStmt -> PreparableStmt -> Bool # (<=) :: PreparableStmt -> PreparableStmt -> Bool # (>) :: PreparableStmt -> PreparableStmt -> Bool # (>=) :: PreparableStmt -> PreparableStmt -> Bool # max :: PreparableStmt -> PreparableStmt -> PreparableStmt # min :: PreparableStmt -> PreparableStmt -> PreparableStmt #
Show PreparableStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> PreparableStmt -> ShowS # show :: PreparableStmt -> String # showList :: [PreparableStmt] -> ShowS #
Generic PreparableStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep PreparableStmt :: Type -> Type # Methods from :: PreparableStmt -> Rep PreparableStmt x # to :: Rep PreparableStmt x -> PreparableStmt #
type Rep PreparableStmt Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep PreparableStmt = D1 (MetaData "PreparableStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" False) ((C1 (MetaCons "SelectPreparableStmt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SelectStmt)) :+: C1 (MetaCons "InsertPreparableStmt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InsertStmt))) :+: (C1 (MetaCons "UpdatePreparableStmt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UpdateStmt)) :+: C1 (MetaCons "DeletePreparableStmt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeleteStmt))))

Insert

data InsertStmt Source #

Constructors

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

Instances

Eq InsertStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: InsertStmt -> InsertStmt -> Bool # (/=) :: InsertStmt -> InsertStmt -> Bool #
Ord InsertStmt Source #
Instance details 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 #
Show InsertStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertStmt -> ShowS # show :: InsertStmt -> String # showList :: [InsertStmt] -> ShowS #
Generic InsertStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep InsertStmt :: Type -> Type # Methods from :: InsertStmt -> Rep InsertStmt x # to :: Rep InsertStmt x -> InsertStmt #
type Rep InsertStmt Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep InsertStmt = D1 (MetaData "InsertStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

InsertTarget QualifiedName (Maybe ColId)

Instances

Eq InsertTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: InsertTarget -> InsertTarget -> Bool # (/=) :: InsertTarget -> InsertTarget -> Bool #
Ord InsertTarget Source #
Instance details 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 #
Show InsertTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertTarget -> ShowS # show :: InsertTarget -> String # showList :: [InsertTarget] -> ShowS #
Generic InsertTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep InsertTarget :: Type -> Type # Methods from :: InsertTarget -> Rep InsertTarget x # to :: Rep InsertTarget x -> InsertTarget #
type Rep InsertTarget Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep InsertTarget = D1 (MetaData "InsertTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

SelectInsertRest (Maybe InsertColumnList) (Maybe OverrideKind) SelectStmt
DefaultValuesInsertRest

Instances

Eq InsertRest Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: InsertRest -> InsertRest -> Bool # (/=) :: InsertRest -> InsertRest -> Bool #
Ord InsertRest Source #
Instance details 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 #
Show InsertRest Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertRest -> ShowS # show :: InsertRest -> String # showList :: [InsertRest] -> ShowS #
Generic InsertRest Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep InsertRest :: Type -> Type # Methods from :: InsertRest -> Rep InsertRest x # to :: Rep InsertRest x -> InsertRest #
type Rep InsertRest Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep InsertRest = D1 (MetaData "InsertRest" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

UserOverrideKind
SystemOverrideKind

Instances

Bounded OverrideKind Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: OverrideKind # maxBound :: OverrideKind #
Enum OverrideKind Source #
Instance details 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] #
Eq OverrideKind Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OverrideKind -> OverrideKind -> Bool # (/=) :: OverrideKind -> OverrideKind -> Bool #
Ord OverrideKind Source #
Instance details 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 #
Show OverrideKind Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverrideKind -> ShowS # show :: OverrideKind -> String # showList :: [OverrideKind] -> ShowS #
Generic OverrideKind Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OverrideKind :: Type -> Type # Methods from :: OverrideKind -> Rep OverrideKind x # to :: Rep OverrideKind x -> OverrideKind #
type Rep OverrideKind Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OverrideKind = D1 (MetaData "OverrideKind" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" False) (C1 (MetaCons "UserOverrideKind" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SystemOverrideKind" PrefixI False) (U1 :: Type -> Type))

type InsertColumnList = NonEmpty InsertColumnItem Source #

data InsertColumnItem Source #

Constructors

InsertColumnItem ColId (Maybe Indirection)

Instances

Eq InsertColumnItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: InsertColumnItem -> InsertColumnItem -> Bool # (/=) :: InsertColumnItem -> InsertColumnItem -> Bool #
Ord InsertColumnItem Source #
Instance details 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 #
Show InsertColumnItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InsertColumnItem -> ShowS # show :: InsertColumnItem -> String # showList :: [InsertColumnItem] -> ShowS #
Generic InsertColumnItem Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep InsertColumnItem :: Type -> Type # Methods from :: InsertColumnItem -> Rep InsertColumnItem x # to :: Rep InsertColumnItem x -> InsertColumnItem #
type Rep InsertColumnItem Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep InsertColumnItem = D1 (MetaData "InsertColumnItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

OnConflict (Maybe ConfExpr) OnConflictDo

Instances

Eq OnConflict Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OnConflict -> OnConflict -> Bool # (/=) :: OnConflict -> OnConflict -> Bool #
Ord OnConflict Source #
Instance details 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 #
Show OnConflict Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OnConflict -> ShowS # show :: OnConflict -> String # showList :: [OnConflict] -> ShowS #
Generic OnConflict Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OnConflict :: Type -> Type # Methods from :: OnConflict -> Rep OnConflict x # to :: Rep OnConflict x -> OnConflict #
type Rep OnConflict Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OnConflict = D1 (MetaData "OnConflict" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

UpdateOnConflictDo SetClauseList (Maybe WhereClause)
NothingOnConflictDo

Instances

Eq OnConflictDo Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OnConflictDo -> OnConflictDo -> Bool # (/=) :: OnConflictDo -> OnConflictDo -> Bool #
Ord OnConflictDo Source #
Instance details 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 #
Show OnConflictDo Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OnConflictDo -> ShowS # show :: OnConflictDo -> String # showList :: [OnConflictDo] -> ShowS #
Generic OnConflictDo Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OnConflictDo :: Type -> Type # Methods from :: OnConflictDo -> Rep OnConflictDo x # to :: Rep OnConflictDo x -> OnConflictDo #
type Rep OnConflictDo Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OnConflictDo = D1 (MetaData "OnConflictDo" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))

data ConfExpr Source #

Constructors

WhereConfExpr IndexParams (Maybe WhereClause)
ConstraintConfExpr Name

Instances

Eq ConfExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ConfExpr -> ConfExpr -> Bool # (/=) :: ConfExpr -> ConfExpr -> Bool #
Ord ConfExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: ConfExpr -> ConfExpr -> Ordering # (<) :: ConfExpr -> ConfExpr -> Bool # (<=) :: ConfExpr -> ConfExpr -> Bool # (>) :: ConfExpr -> ConfExpr -> Bool # (>=) :: ConfExpr -> ConfExpr -> Bool # max :: ConfExpr -> ConfExpr -> ConfExpr # min :: ConfExpr -> ConfExpr -> ConfExpr #
Show ConfExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConfExpr -> ShowS # show :: ConfExpr -> String # showList :: [ConfExpr] -> ShowS #
Generic ConfExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ConfExpr :: Type -> Type # Methods from :: ConfExpr -> Rep ConfExpr x # to :: Rep ConfExpr x -> ConfExpr #
type Rep ConfExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ConfExpr = D1 (MetaData "ConfExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Update

data UpdateStmt Source #

Constructors

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

Instances

Eq UpdateStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: UpdateStmt -> UpdateStmt -> Bool # (/=) :: UpdateStmt -> UpdateStmt -> Bool #
Ord UpdateStmt Source #
Instance details 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 #
Show UpdateStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> UpdateStmt -> ShowS # show :: UpdateStmt -> String # showList :: [UpdateStmt] -> ShowS #
Generic UpdateStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep UpdateStmt :: Type -> Type # Methods from :: UpdateStmt -> Rep UpdateStmt x # to :: Rep UpdateStmt x -> UpdateStmt #
type Rep UpdateStmt Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep UpdateStmt = D1 (MetaData "UpdateStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data SetClause Source #

Constructors

TargetSetClause SetTarget AExpr
TargetListSetClause SetTargetList AExpr

Instances

Eq SetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SetClause -> SetClause -> Bool # (/=) :: SetClause -> SetClause -> Bool #
Ord SetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: SetClause -> SetClause -> Ordering # (<) :: SetClause -> SetClause -> Bool # (<=) :: SetClause -> SetClause -> Bool # (>) :: SetClause -> SetClause -> Bool # (>=) :: SetClause -> SetClause -> Bool # max :: SetClause -> SetClause -> SetClause # min :: SetClause -> SetClause -> SetClause #
Show SetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SetClause -> ShowS # show :: SetClause -> String # showList :: [SetClause] -> ShowS #
Generic SetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SetClause :: Type -> Type # Methods from :: SetClause -> Rep SetClause x # to :: Rep SetClause x -> SetClause #
type Rep SetClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SetClause = D1 (MetaData "SetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data SetTarget Source #

Constructors

SetTarget ColId (Maybe Indirection)

Instances

Eq SetTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SetTarget -> SetTarget -> Bool # (/=) :: SetTarget -> SetTarget -> Bool #
Ord SetTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: SetTarget -> SetTarget -> Ordering # (<) :: SetTarget -> SetTarget -> Bool # (<=) :: SetTarget -> SetTarget -> Bool # (>) :: SetTarget -> SetTarget -> Bool # (>=) :: SetTarget -> SetTarget -> Bool # max :: SetTarget -> SetTarget -> SetTarget # min :: SetTarget -> SetTarget -> SetTarget #
Show SetTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SetTarget -> ShowS # show :: SetTarget -> String # showList :: [SetTarget] -> ShowS #
Generic SetTarget Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SetTarget :: Type -> Type # Methods from :: SetTarget -> Rep SetTarget x # to :: Rep SetTarget x -> SetTarget #
type Rep SetTarget Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SetTarget = D1 (MetaData "SetTarget" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Delete

data DeleteStmt Source #

Constructors

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

Instances

Eq DeleteStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: DeleteStmt -> DeleteStmt -> Bool # (/=) :: DeleteStmt -> DeleteStmt -> Bool #
Ord DeleteStmt Source #
Instance details 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 #
Show DeleteStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> DeleteStmt -> ShowS # show :: DeleteStmt -> String # showList :: [DeleteStmt] -> ShowS #
Generic DeleteStmt Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep DeleteStmt :: Type -> Type # Methods from :: DeleteStmt -> Rep DeleteStmt x # to :: Rep DeleteStmt x -> DeleteStmt #
type Rep DeleteStmt Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep DeleteStmt = D1 (MetaData "DeleteStmt" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Select

type SelectStmt = Either SelectNoParens SelectWithParens Source #

data SelectWithParens Source #

Constructors

NoParensSelectWithParens SelectNoParens
WithParensSelectWithParens SelectWithParens

Instances

Eq SelectWithParens Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectWithParens -> SelectWithParens -> Bool # (/=) :: SelectWithParens -> SelectWithParens -> Bool #
Ord SelectWithParens Source #
Instance details 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 #
Show SelectWithParens Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectWithParens -> ShowS # show :: SelectWithParens -> String # showList :: [SelectWithParens] -> ShowS #
Generic SelectWithParens Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectWithParens :: Type -> Type # Methods from :: SelectWithParens -> Rep SelectWithParens x # to :: Rep SelectWithParens x -> SelectWithParens #
type Rep SelectWithParens Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectWithParens = D1 (MetaData "SelectWithParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq SelectNoParens Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectNoParens -> SelectNoParens -> Bool # (/=) :: SelectNoParens -> SelectNoParens -> Bool #
Ord SelectNoParens Source #
Instance details 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 #
Show SelectNoParens Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectNoParens -> ShowS # show :: SelectNoParens -> String # showList :: [SelectNoParens] -> ShowS #
Generic SelectNoParens Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectNoParens :: Type -> Type # Methods from :: SelectNoParens -> Rep SelectNoParens x # to :: Rep SelectNoParens x -> SelectNoParens #
type Rep SelectNoParens Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectNoParens = D1 (MetaData "SelectNoParens" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Instances

Eq SimpleSelect Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SimpleSelect -> SimpleSelect -> Bool # (/=) :: SimpleSelect -> SimpleSelect -> Bool #
Ord SimpleSelect Source #
Instance details 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 #
Show SimpleSelect Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SimpleSelect -> ShowS # show :: SimpleSelect -> String # showList :: [SimpleSelect] -> ShowS #
Generic SimpleSelect Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SimpleSelect :: Type -> Type # Methods from :: SimpleSelect -> Rep SimpleSelect x # to :: Rep SimpleSelect x -> SimpleSelect #
type Rep SimpleSelect Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SimpleSelect = D1 (MetaData "SimpleSelect" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))))

data Targeting Source #

Covers these parts of spec:

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

Eq Targeting Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Targeting -> Targeting -> Bool # (/=) :: Targeting -> Targeting -> Bool #
Ord Targeting Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Targeting -> Targeting -> Ordering # (<) :: Targeting -> Targeting -> Bool # (<=) :: Targeting -> Targeting -> Bool # (>) :: Targeting -> Targeting -> Bool # (>=) :: Targeting -> Targeting -> Bool # max :: Targeting -> Targeting -> Targeting # min :: Targeting -> Targeting -> Targeting #
Show Targeting Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Targeting -> ShowS # show :: Targeting -> String # showList :: [Targeting] -> ShowS #
Generic Targeting Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Targeting :: Type -> Type # Methods from :: Targeting -> Rep Targeting x # to :: Rep Targeting x -> Targeting #
type Rep Targeting Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Targeting = D1 (MetaData "Targeting" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data TargetEl Source #

Constructors

AliasedExprTargetEl AExpr Ident
ImplicitlyAliasedExprTargetEl AExpr Ident
ExprTargetEl AExpr
AsteriskTargetEl

Instances

Eq TargetEl Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TargetEl -> TargetEl -> Bool # (/=) :: TargetEl -> TargetEl -> Bool #
Ord TargetEl Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: TargetEl -> TargetEl -> Ordering # (<) :: TargetEl -> TargetEl -> Bool # (<=) :: TargetEl -> TargetEl -> Bool # (>) :: TargetEl -> TargetEl -> Bool # (>=) :: TargetEl -> TargetEl -> Bool # max :: TargetEl -> TargetEl -> TargetEl # min :: TargetEl -> TargetEl -> TargetEl #
Show TargetEl Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TargetEl -> ShowS # show :: TargetEl -> String # showList :: [TargetEl] -> ShowS #
Generic TargetEl Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TargetEl :: Type -> Type # Methods from :: TargetEl -> Rep TargetEl x # to :: Rep TargetEl x -> TargetEl #
type Rep TargetEl Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TargetEl = D1 (MetaData "TargetEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

UnionSelectBinOp
IntersectSelectBinOp
ExceptSelectBinOp

Instances

Eq SelectBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectBinOp -> SelectBinOp -> Bool # (/=) :: SelectBinOp -> SelectBinOp -> Bool #
Ord SelectBinOp Source #
Instance details 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 #
Show SelectBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectBinOp -> ShowS # show :: SelectBinOp -> String # showList :: [SelectBinOp] -> ShowS #
Generic SelectBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectBinOp :: Type -> Type # Methods from :: SelectBinOp -> Rep SelectBinOp x # to :: Rep SelectBinOp x -> SelectBinOp #
type Rep SelectBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectBinOp = D1 (MetaData "SelectBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

WithClause Bool (NonEmpty CommonTableExpr)

Instances

Eq WithClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WithClause -> WithClause -> Bool # (/=) :: WithClause -> WithClause -> Bool #
Ord WithClause Source #
Instance details 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 #
Show WithClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WithClause -> ShowS # show :: WithClause -> String # showList :: [WithClause] -> ShowS #
Generic WithClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WithClause :: Type -> Type # Methods from :: WithClause -> Rep WithClause x # to :: Rep WithClause x -> WithClause #
type Rep WithClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WithClause = D1 (MetaData "WithClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq CommonTableExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: CommonTableExpr -> CommonTableExpr -> Bool # (/=) :: CommonTableExpr -> CommonTableExpr -> Bool #
Ord CommonTableExpr Source #
Instance details 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 #
Show CommonTableExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> CommonTableExpr -> ShowS # show :: CommonTableExpr -> String # showList :: [CommonTableExpr] -> ShowS #
Generic CommonTableExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep CommonTableExpr :: Type -> Type # Methods from :: CommonTableExpr -> Rep CommonTableExpr x # to :: Rep CommonTableExpr x -> CommonTableExpr #
type Rep CommonTableExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep CommonTableExpr = D1 (MetaData "CommonTableExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Instances

Eq OptTempTableName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OptTempTableName -> OptTempTableName -> Bool # (/=) :: OptTempTableName -> OptTempTableName -> Bool #
Ord OptTempTableName Source #
Instance details 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 #
Show OptTempTableName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OptTempTableName -> ShowS # show :: OptTempTableName -> String # showList :: [OptTempTableName] -> ShowS #
Generic OptTempTableName Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OptTempTableName :: Type -> Type # Methods from :: OptTempTableName -> Rep OptTempTableName x # to :: Rep OptTempTableName x -> OptTempTableName #
type Rep OptTempTableName Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OptTempTableName = D1 (MetaData "OptTempTableName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq GroupByItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: GroupByItem -> GroupByItem -> Bool # (/=) :: GroupByItem -> GroupByItem -> Bool #
Ord GroupByItem Source #
Instance details 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 #
Show GroupByItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> GroupByItem -> ShowS # show :: GroupByItem -> String # showList :: [GroupByItem] -> ShowS #
Generic GroupByItem Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep GroupByItem :: Type -> Type # Methods from :: GroupByItem -> Rep GroupByItem x # to :: Rep GroupByItem x -> GroupByItem #
type Rep GroupByItem Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep GroupByItem = D1 (MetaData "GroupByItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq WindowDefinition Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WindowDefinition -> WindowDefinition -> Bool # (/=) :: WindowDefinition -> WindowDefinition -> Bool #
Ord WindowDefinition Source #
Instance details 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 #
Show WindowDefinition Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowDefinition -> ShowS # show :: WindowDefinition -> String # showList :: [WindowDefinition] -> ShowS #
Generic WindowDefinition Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WindowDefinition :: Type -> Type # Methods from :: WindowDefinition -> Rep WindowDefinition x # to :: Rep WindowDefinition x -> WindowDefinition #
type Rep WindowDefinition Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WindowDefinition = D1 (MetaData "WindowDefinition" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq WindowSpecification Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WindowSpecification -> WindowSpecification -> Bool # (/=) :: WindowSpecification -> WindowSpecification -> Bool #
Ord WindowSpecification Source #
Instance details 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 #
Show WindowSpecification Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowSpecification -> ShowS # show :: WindowSpecification -> String # showList :: [WindowSpecification] -> ShowS #
Generic WindowSpecification Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WindowSpecification :: Type -> Type # Methods from :: WindowSpecification -> Rep WindowSpecification x # to :: Rep WindowSpecification x -> WindowSpecification #
type Rep WindowSpecification Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WindowSpecification = D1 (MetaData "WindowSpecification" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

FrameClause FrameClauseMode FrameExtent (Maybe WindowExclusionClause)

Instances

Eq FrameClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FrameClause -> FrameClause -> Bool # (/=) :: FrameClause -> FrameClause -> Bool #
Ord FrameClause Source #
Instance details 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 #
Show FrameClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameClause -> ShowS # show :: FrameClause -> String # showList :: [FrameClause] -> ShowS #
Generic FrameClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FrameClause :: Type -> Type # Methods from :: FrameClause -> Rep FrameClause x # to :: Rep FrameClause x -> FrameClause #
type Rep FrameClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FrameClause = D1 (MetaData "FrameClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

RangeFrameClauseMode
RowsFrameClauseMode
GroupsFrameClauseMode

Instances

Eq FrameClauseMode Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FrameClauseMode -> FrameClauseMode -> Bool # (/=) :: FrameClauseMode -> FrameClauseMode -> Bool #
Ord FrameClauseMode Source #
Instance details 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 #
Show FrameClauseMode Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameClauseMode -> ShowS # show :: FrameClauseMode -> String # showList :: [FrameClauseMode] -> ShowS #
Generic FrameClauseMode Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FrameClauseMode :: Type -> Type # Methods from :: FrameClauseMode -> Rep FrameClauseMode x # to :: Rep FrameClauseMode x -> FrameClauseMode #
type Rep FrameClauseMode Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FrameClauseMode = D1 (MetaData "FrameClauseMode" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

SingularFrameExtent FrameBound
BetweenFrameExtent FrameBound FrameBound

Instances

Eq FrameExtent Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FrameExtent -> FrameExtent -> Bool # (/=) :: FrameExtent -> FrameExtent -> Bool #
Ord FrameExtent Source #
Instance details 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 #
Show FrameExtent Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameExtent -> ShowS # show :: FrameExtent -> String # showList :: [FrameExtent] -> ShowS #
Generic FrameExtent Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FrameExtent :: Type -> Type # Methods from :: FrameExtent -> Rep FrameExtent x # to :: Rep FrameExtent x -> FrameExtent #
type Rep FrameExtent Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FrameExtent = D1 (MetaData "FrameExtent" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

UnboundedPrecedingFrameBound
UnboundedFollowingFrameBound
CurrentRowFrameBound
PrecedingFrameBound AExpr
FollowingFrameBound AExpr

Instances

Eq FrameBound Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FrameBound -> FrameBound -> Bool # (/=) :: FrameBound -> FrameBound -> Bool #
Ord FrameBound Source #
Instance details 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 #
Show FrameBound Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FrameBound -> ShowS # show :: FrameBound -> String # showList :: [FrameBound] -> ShowS #
Generic FrameBound Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FrameBound :: Type -> Type # Methods from :: FrameBound -> Rep FrameBound x # to :: Rep FrameBound x -> FrameBound #
type Rep FrameBound Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FrameBound = D1 (MetaData "FrameBound" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

CurrentRowWindowExclusionClause
GroupWindowExclusionClause
TiesWindowExclusionClause
NoOthersWindowExclusionClause

Instances

Eq WindowExclusionClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WindowExclusionClause -> WindowExclusionClause -> Bool # (/=) :: WindowExclusionClause -> WindowExclusionClause -> Bool #
Ord WindowExclusionClause Source #
Instance details 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 #
Show WindowExclusionClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WindowExclusionClause -> ShowS # show :: WindowExclusionClause -> String # showList :: [WindowExclusionClause] -> ShowS #
Generic WindowExclusionClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WindowExclusionClause :: Type -> Type # Methods from :: WindowExclusionClause -> Rep WindowExclusionClause x # to :: Rep WindowExclusionClause x -> WindowExclusionClause #
type Rep WindowExclusionClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WindowExclusionClause = D1 (MetaData "WindowExclusionClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

type SortClause = NonEmpty SortBy Source #

sort_clause: | ORDER BY sortby_list

sortby_list: | sortby | sortby_list ',' sortby

data SortBy Source #

Constructors

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

Instances

Eq SortBy Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SortBy -> SortBy -> Bool # (/=) :: SortBy -> SortBy -> Bool #
Ord SortBy Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: SortBy -> SortBy -> Ordering # (<) :: SortBy -> SortBy -> Bool # (<=) :: SortBy -> SortBy -> Bool # (>) :: SortBy -> SortBy -> Bool # (>=) :: SortBy -> SortBy -> Bool # max :: SortBy -> SortBy -> SortBy # min :: SortBy -> SortBy -> SortBy #
Show SortBy Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SortBy -> ShowS # show :: SortBy -> String # showList :: [SortBy] -> ShowS #
Generic SortBy Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SortBy :: Type -> Type # Methods from :: SortBy -> Rep SortBy x # to :: Rep SortBy x -> SortBy #
type Rep SortBy Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SortBy = D1 (MetaData "SortBy" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

LimitOffsetSelectLimit LimitClause OffsetClause
OffsetLimitSelectLimit OffsetClause LimitClause
LimitSelectLimit LimitClause
OffsetSelectLimit OffsetClause

Instances

Eq SelectLimit Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectLimit -> SelectLimit -> Bool # (/=) :: SelectLimit -> SelectLimit -> Bool #
Ord SelectLimit Source #
Instance details 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 #
Show SelectLimit Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectLimit -> ShowS # show :: SelectLimit -> String # showList :: [SelectLimit] -> ShowS #
Generic SelectLimit Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectLimit :: Type -> Type # Methods from :: SelectLimit -> Rep SelectLimit x # to :: Rep SelectLimit x -> SelectLimit #
type Rep SelectLimit Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectLimit = D1 (MetaData "SelectLimit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq LimitClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: LimitClause -> LimitClause -> Bool # (/=) :: LimitClause -> LimitClause -> Bool #
Ord LimitClause Source #
Instance details 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 #
Show LimitClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> LimitClause -> ShowS # show :: LimitClause -> String # showList :: [LimitClause] -> ShowS #
Generic LimitClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep LimitClause :: Type -> Type # Methods from :: LimitClause -> Rep LimitClause x # to :: Rep LimitClause x -> LimitClause #
type Rep LimitClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep LimitClause = D1 (MetaData "LimitClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq SelectFetchFirstValue Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool # (/=) :: SelectFetchFirstValue -> SelectFetchFirstValue -> Bool #
Ord SelectFetchFirstValue Source #
Instance details 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 #
Show SelectFetchFirstValue Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectFetchFirstValue -> ShowS # show :: SelectFetchFirstValue -> String # showList :: [SelectFetchFirstValue] -> ShowS #
Generic SelectFetchFirstValue Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectFetchFirstValue :: Type -> Type # Methods from :: SelectFetchFirstValue -> Rep SelectFetchFirstValue x # to :: Rep SelectFetchFirstValue x -> SelectFetchFirstValue #
type Rep SelectFetchFirstValue Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectFetchFirstValue = D1 (MetaData "SelectFetchFirstValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ExprSelectLimitValue AExpr
AllSelectLimitValue

Instances

Eq SelectLimitValue Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SelectLimitValue -> SelectLimitValue -> Bool # (/=) :: SelectLimitValue -> SelectLimitValue -> Bool #
Ord SelectLimitValue Source #
Instance details 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 #
Show SelectLimitValue Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SelectLimitValue -> ShowS # show :: SelectLimitValue -> String # showList :: [SelectLimitValue] -> ShowS #
Generic SelectLimitValue Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SelectLimitValue :: Type -> Type # Methods from :: SelectLimitValue -> Rep SelectLimitValue x # to :: Rep SelectLimitValue x -> SelectLimitValue #
type Rep SelectLimitValue Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SelectLimitValue = D1 (MetaData "SelectLimitValue" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ExprOffsetClause AExpr
FetchFirstOffsetClause SelectFetchFirstValue Bool

Instances

Eq OffsetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OffsetClause -> OffsetClause -> Bool # (/=) :: OffsetClause -> OffsetClause -> Bool #
Ord OffsetClause Source #
Instance details 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 #
Show OffsetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OffsetClause -> ShowS # show :: OffsetClause -> String # showList :: [OffsetClause] -> ShowS #
Generic OffsetClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OffsetClause :: Type -> Type # Methods from :: OffsetClause -> Rep OffsetClause x # to :: Rep OffsetClause x -> OffsetClause #
type Rep OffsetClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OffsetClause = D1 (MetaData "OffsetClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ItemsForLockingClause (NonEmpty ForLockingItem)
ReadOnlyForLockingClause

Instances

Eq ForLockingClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingClause -> ForLockingClause -> Bool # (/=) :: ForLockingClause -> ForLockingClause -> Bool #
Ord ForLockingClause Source #
Instance details 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 #
Show ForLockingClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingClause -> ShowS # show :: ForLockingClause -> String # showList :: [ForLockingClause] -> ShowS #
Generic ForLockingClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ForLockingClause :: Type -> Type # Methods from :: ForLockingClause -> Rep ForLockingClause x # to :: Rep ForLockingClause x -> ForLockingClause #
type Rep ForLockingClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ForLockingClause = D1 (MetaData "ForLockingClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq ForLockingItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingItem -> ForLockingItem -> Bool # (/=) :: ForLockingItem -> ForLockingItem -> Bool #
Ord ForLockingItem Source #
Instance details 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 #
Show ForLockingItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingItem -> ShowS # show :: ForLockingItem -> String # showList :: [ForLockingItem] -> ShowS #
Generic ForLockingItem Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ForLockingItem :: Type -> Type # Methods from :: ForLockingItem -> Rep ForLockingItem x # to :: Rep ForLockingItem x -> ForLockingItem #
type Rep ForLockingItem Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ForLockingItem = D1 (MetaData "ForLockingItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

UpdateForLockingStrength
NoKeyUpdateForLockingStrength
ShareForLockingStrength
KeyForLockingStrength

Instances

Eq ForLockingStrength Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ForLockingStrength -> ForLockingStrength -> Bool # (/=) :: ForLockingStrength -> ForLockingStrength -> Bool #
Ord ForLockingStrength Source #
Instance details 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 #
Show ForLockingStrength Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ForLockingStrength -> ShowS # show :: ForLockingStrength -> String # showList :: [ForLockingStrength] -> ShowS #
Generic ForLockingStrength Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ForLockingStrength :: Type -> Type # Methods from :: ForLockingStrength -> Rep ForLockingStrength x # to :: Rep ForLockingStrength x -> ForLockingStrength #
type Rep ForLockingStrength Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ForLockingStrength = D1 (MetaData "ForLockingStrength" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data TableRef Source #

Instances

Eq TableRef Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TableRef -> TableRef -> Bool # (/=) :: TableRef -> TableRef -> Bool #
Ord TableRef Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: TableRef -> TableRef -> Ordering # (<) :: TableRef -> TableRef -> Bool # (<=) :: TableRef -> TableRef -> Bool # (>) :: TableRef -> TableRef -> Bool # (>=) :: TableRef -> TableRef -> Bool # max :: TableRef -> TableRef -> TableRef # min :: TableRef -> TableRef -> TableRef #
Show TableRef Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TableRef -> ShowS # show :: TableRef -> String # showList :: [TableRef] -> ShowS #
Generic TableRef Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TableRef :: Type -> Type # Methods from :: TableRef -> Rep TableRef x # to :: Rep TableRef x -> TableRef #
type Rep TableRef Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TableRef = D1 (MetaData "TableRef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

SimpleRelationExpr QualifiedName Bool
OnlyRelationExpr QualifiedName Bool

Instances

Eq RelationExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: RelationExpr -> RelationExpr -> Bool # (/=) :: RelationExpr -> RelationExpr -> Bool #
Ord RelationExpr Source #
Instance details 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 #
Show RelationExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RelationExpr -> ShowS # show :: RelationExpr -> String # showList :: [RelationExpr] -> ShowS #
Generic RelationExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep RelationExpr :: Type -> Type # Methods from :: RelationExpr -> Rep RelationExpr x # to :: Rep RelationExpr x -> RelationExpr #
type Rep RelationExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep RelationExpr = D1 (MetaData "RelationExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

RelationExprOptAlias RelationExpr (Maybe (Bool, ColId))

Instances

Eq RelationExprOptAlias Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool # (/=) :: RelationExprOptAlias -> RelationExprOptAlias -> Bool #
Ord RelationExprOptAlias Source #
Instance details 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 #
Show RelationExprOptAlias Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RelationExprOptAlias -> ShowS # show :: RelationExprOptAlias -> String # showList :: [RelationExprOptAlias] -> ShowS #
Generic RelationExprOptAlias Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep RelationExprOptAlias :: Type -> Type # Methods from :: RelationExprOptAlias -> Rep RelationExprOptAlias x # to :: Rep RelationExprOptAlias x -> RelationExprOptAlias #
type Rep RelationExprOptAlias Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep RelationExprOptAlias = D1 (MetaData "RelationExprOptAlias" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

TablesampleClause FuncName ExprList (Maybe RepeatableClause)

Instances

Eq TablesampleClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TablesampleClause -> TablesampleClause -> Bool # (/=) :: TablesampleClause -> TablesampleClause -> Bool #
Ord TablesampleClause Source #
Instance details 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 #
Show TablesampleClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TablesampleClause -> ShowS # show :: TablesampleClause -> String # showList :: [TablesampleClause] -> ShowS #
Generic TablesampleClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TablesampleClause :: Type -> Type # Methods from :: TablesampleClause -> Rep TablesampleClause x # to :: Rep TablesampleClause x -> TablesampleClause #
type Rep TablesampleClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TablesampleClause = D1 (MetaData "TablesampleClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data FuncTable Source #

Constructors

FuncExprFuncTable FuncExprWindowless OptOrdinality
RowsFromFuncTable RowsfromList OptOrdinality

Instances

Eq FuncTable Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncTable -> FuncTable -> Bool # (/=) :: FuncTable -> FuncTable -> Bool #
Ord FuncTable Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: FuncTable -> FuncTable -> Ordering # (<) :: FuncTable -> FuncTable -> Bool # (<=) :: FuncTable -> FuncTable -> Bool # (>) :: FuncTable -> FuncTable -> Bool # (>=) :: FuncTable -> FuncTable -> Bool # max :: FuncTable -> FuncTable -> FuncTable # min :: FuncTable -> FuncTable -> FuncTable #
Show FuncTable Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncTable -> ShowS # show :: FuncTable -> String # showList :: [FuncTable] -> ShowS #
Generic FuncTable Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncTable :: Type -> Type # Methods from :: FuncTable -> Rep FuncTable x # to :: Rep FuncTable x -> FuncTable #
type Rep FuncTable Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncTable = D1 (MetaData "FuncTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

RowsfromItem FuncExprWindowless (Maybe ColDefList)

Instances

Eq RowsfromItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: RowsfromItem -> RowsfromItem -> Bool # (/=) :: RowsfromItem -> RowsfromItem -> Bool #
Ord RowsfromItem Source #
Instance details 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 #
Show RowsfromItem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> RowsfromItem -> ShowS # show :: RowsfromItem -> String # showList :: [RowsfromItem] -> ShowS #
Generic RowsfromItem Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep RowsfromItem :: Type -> Type # Methods from :: RowsfromItem -> Rep RowsfromItem x # to :: Rep RowsfromItem x -> RowsfromItem #
type Rep RowsfromItem Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep RowsfromItem = D1 (MetaData "RowsfromItem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

type ColDefList = TableFuncElementList Source #

type OptOrdinality = Bool Source #

type TableFuncElementList = NonEmpty TableFuncElement Source #

data TableFuncElement Source #

Constructors

TableFuncElement ColId Typename (Maybe CollateClause)

Instances

Eq TableFuncElement Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TableFuncElement -> TableFuncElement -> Bool # (/=) :: TableFuncElement -> TableFuncElement -> Bool #
Ord TableFuncElement Source #
Instance details 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 #
Show TableFuncElement Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TableFuncElement -> ShowS # show :: TableFuncElement -> String # showList :: [TableFuncElement] -> ShowS #
Generic TableFuncElement Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TableFuncElement :: Type -> Type # Methods from :: TableFuncElement -> Rep TableFuncElement x # to :: Rep TableFuncElement x -> TableFuncElement #
type Rep TableFuncElement Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TableFuncElement = D1 (MetaData "TableFuncElement" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data AliasClause Source #

Constructors

AliasClause Bool ColId (Maybe NameList)

Instances

Eq AliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AliasClause -> AliasClause -> Bool # (/=) :: AliasClause -> AliasClause -> Bool #
Ord AliasClause Source #
Instance details 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 #
Show AliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AliasClause -> ShowS # show :: AliasClause -> String # showList :: [AliasClause] -> ShowS #
Generic AliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AliasClause :: Type -> Type # Methods from :: AliasClause -> Rep AliasClause x # to :: Rep AliasClause x -> AliasClause #
type Rep AliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AliasClause = D1 (MetaData "AliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

AliasFuncAliasClause AliasClause
AsFuncAliasClause TableFuncElementList
AsColIdFuncAliasClause ColId TableFuncElementList
ColIdFuncAliasClause ColId TableFuncElementList

Instances

Eq FuncAliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncAliasClause -> FuncAliasClause -> Bool # (/=) :: FuncAliasClause -> FuncAliasClause -> Bool #
Ord FuncAliasClause Source #
Instance details 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 #
Show FuncAliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncAliasClause -> ShowS # show :: FuncAliasClause -> String # showList :: [FuncAliasClause] -> ShowS #
Generic FuncAliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncAliasClause :: Type -> Type # Methods from :: FuncAliasClause -> Rep FuncAliasClause x # to :: Rep FuncAliasClause x -> FuncAliasClause #
type Rep FuncAliasClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncAliasClause = D1 (MetaData "FuncAliasClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

InParensJoinedTable JoinedTable
MethJoinedTable JoinMeth TableRef TableRef

Instances

Eq JoinedTable Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: JoinedTable -> JoinedTable -> Bool # (/=) :: JoinedTable -> JoinedTable -> Bool #
Ord JoinedTable Source #
Instance details 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 #
Show JoinedTable Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> JoinedTable -> ShowS # show :: JoinedTable -> String # showList :: [JoinedTable] -> ShowS #
Generic JoinedTable Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep JoinedTable :: Type -> Type # Methods from :: JoinedTable -> Rep JoinedTable x # to :: Rep JoinedTable x -> JoinedTable #
type Rep JoinedTable Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep JoinedTable = D1 (MetaData "JoinedTable" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data JoinMeth Source #

Constructors

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

Instances

Eq JoinMeth Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: JoinMeth -> JoinMeth -> Bool # (/=) :: JoinMeth -> JoinMeth -> Bool #
Ord JoinMeth Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: JoinMeth -> JoinMeth -> Ordering # (<) :: JoinMeth -> JoinMeth -> Bool # (<=) :: JoinMeth -> JoinMeth -> Bool # (>) :: JoinMeth -> JoinMeth -> Bool # (>=) :: JoinMeth -> JoinMeth -> Bool # max :: JoinMeth -> JoinMeth -> JoinMeth # min :: JoinMeth -> JoinMeth -> JoinMeth #
Show JoinMeth Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> JoinMeth -> ShowS # show :: JoinMeth -> String # showList :: [JoinMeth] -> ShowS #
Generic JoinMeth Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep JoinMeth :: Type -> Type # Methods from :: JoinMeth -> Rep JoinMeth x # to :: Rep JoinMeth x -> JoinMeth #
type Rep JoinMeth Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep JoinMeth = D1 (MetaData "JoinMeth" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))))

data JoinType Source #

Constructors

FullJoinType Bool
LeftJoinType Bool
RightJoinType Bool
InnerJoinType

Instances

Eq JoinType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: JoinType -> JoinType -> Bool # (/=) :: JoinType -> JoinType -> Bool #
Ord JoinType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: JoinType -> JoinType -> Ordering # (<) :: JoinType -> JoinType -> Bool # (<=) :: JoinType -> JoinType -> Bool # (>) :: JoinType -> JoinType -> Bool # (>=) :: JoinType -> JoinType -> Bool # max :: JoinType -> JoinType -> JoinType # min :: JoinType -> JoinType -> JoinType #
Show JoinType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> JoinType -> ShowS # show :: JoinType -> String # showList :: [JoinType] -> ShowS #
Generic JoinType Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep JoinType :: Type -> Type # Methods from :: JoinType -> Rep JoinType x # to :: Rep JoinType x -> JoinType #
type Rep JoinType Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep JoinType = D1 (MetaData "JoinType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data JoinQual Source #

Constructors

UsingJoinQual (NonEmpty Ident)
OnJoinQual AExpr

Instances

Eq JoinQual Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: JoinQual -> JoinQual -> Bool # (/=) :: JoinQual -> JoinQual -> Bool #
Ord JoinQual Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: JoinQual -> JoinQual -> Ordering # (<) :: JoinQual -> JoinQual -> Bool # (<=) :: JoinQual -> JoinQual -> Bool # (>) :: JoinQual -> JoinQual -> Bool # (>=) :: JoinQual -> JoinQual -> Bool # max :: JoinQual -> JoinQual -> JoinQual # min :: JoinQual -> JoinQual -> JoinQual #
Show JoinQual Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> JoinQual -> ShowS # show :: JoinQual -> String # showList :: [JoinQual] -> ShowS #
Generic JoinQual Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep JoinQual :: Type -> Type # Methods from :: JoinQual -> Rep JoinQual x # to :: Rep JoinQual x -> JoinQual #
type Rep JoinQual Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep JoinQual = D1 (MetaData "JoinQual" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ExprWhereOrCurrentClause AExpr
CursorWhereOrCurrentClause CursorName

Instances

Eq WhereOrCurrentClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool # (/=) :: WhereOrCurrentClause -> WhereOrCurrentClause -> Bool #
Ord WhereOrCurrentClause Source #
Instance details 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 #
Show WhereOrCurrentClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WhereOrCurrentClause -> ShowS # show :: WhereOrCurrentClause -> String # showList :: [WhereOrCurrentClause] -> ShowS #
Generic WhereOrCurrentClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WhereOrCurrentClause :: Type -> Type # Methods from :: WhereOrCurrentClause -> Rep WhereOrCurrentClause x # to :: Rep WhereOrCurrentClause x -> WhereOrCurrentClause #
type Rep WhereOrCurrentClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WhereOrCurrentClause = D1 (MetaData "WhereOrCurrentClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

type ExprList = NonEmpty AExpr Source #

data AExpr Source #

Instances

Eq AExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AExpr -> AExpr -> Bool # (/=) :: AExpr -> AExpr -> Bool #
Ord AExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: AExpr -> AExpr -> Ordering # (<) :: AExpr -> AExpr -> Bool # (<=) :: AExpr -> AExpr -> Bool # (>) :: AExpr -> AExpr -> Bool # (>=) :: AExpr -> AExpr -> Bool # max :: AExpr -> AExpr -> AExpr # min :: AExpr -> AExpr -> AExpr #
Show AExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AExpr -> ShowS # show :: AExpr -> String # showList :: [AExpr] -> ShowS #
Generic AExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AExpr :: Type -> Type # Methods from :: AExpr -> Rep AExpr x # to :: Rep AExpr x -> AExpr #
type Rep AExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AExpr = D1 (MetaData "AExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))))

data BExpr Source #

Instances

Eq BExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: BExpr -> BExpr -> Bool # (/=) :: BExpr -> BExpr -> Bool #
Ord BExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: BExpr -> BExpr -> Ordering # (<) :: BExpr -> BExpr -> Bool # (<=) :: BExpr -> BExpr -> Bool # (>) :: BExpr -> BExpr -> Bool # (>=) :: BExpr -> BExpr -> Bool # max :: BExpr -> BExpr -> BExpr # min :: BExpr -> BExpr -> BExpr #
Show BExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> BExpr -> ShowS # show :: BExpr -> String # showList :: [BExpr] -> ShowS #
Generic BExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep BExpr :: Type -> Type # Methods from :: BExpr -> Rep BExpr x # to :: Rep BExpr x -> BExpr #
type Rep BExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep BExpr = D1 (MetaData "BExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))))

data CExpr Source #

Instances

Eq CExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: CExpr -> CExpr -> Bool # (/=) :: CExpr -> CExpr -> Bool #
Ord CExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: CExpr -> CExpr -> Ordering # (<) :: CExpr -> CExpr -> Bool # (<=) :: CExpr -> CExpr -> Bool # (>) :: CExpr -> CExpr -> Bool # (>=) :: CExpr -> CExpr -> Bool # max :: CExpr -> CExpr -> CExpr # min :: CExpr -> CExpr -> CExpr #
Show CExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> CExpr -> ShowS # show :: CExpr -> String # showList :: [CExpr] -> ShowS #
Generic CExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep CExpr :: Type -> Type # Methods from :: CExpr -> Rep CExpr x # to :: Rep CExpr x -> CExpr #
type Rep CExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep CExpr = D1 (MetaData "CExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))))

data InExpr Source #

Constructors

SelectInExpr SelectWithParens
ExprListInExpr ExprList

Instances

Eq InExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: InExpr -> InExpr -> Bool # (/=) :: InExpr -> InExpr -> Bool #
Ord InExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: InExpr -> InExpr -> Ordering # (<) :: InExpr -> InExpr -> Bool # (<=) :: InExpr -> InExpr -> Bool # (>) :: InExpr -> InExpr -> Bool # (>=) :: InExpr -> InExpr -> Bool # max :: InExpr -> InExpr -> InExpr # min :: InExpr -> InExpr -> InExpr #
Show InExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> InExpr -> ShowS # show :: InExpr -> String # showList :: [InExpr] -> ShowS #
Generic InExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep InExpr :: Type -> Type # Methods from :: InExpr -> Rep InExpr x # to :: Rep InExpr x -> InExpr #
type Rep InExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep InExpr = D1 (MetaData "InExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data SubType Source #

Constructors

AnySubType
SomeSubType
AllSubType

Instances

Bounded SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: SubType # maxBound :: SubType #
Enum SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods succ :: SubType -> SubType # pred :: SubType -> SubType # toEnum :: Int -> SubType # fromEnum :: SubType -> Int # enumFrom :: SubType -> [SubType] # enumFromThen :: SubType -> SubType -> [SubType] # enumFromTo :: SubType -> SubType -> [SubType] # enumFromThenTo :: SubType -> SubType -> SubType -> [SubType] #
Eq SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SubType -> SubType -> Bool # (/=) :: SubType -> SubType -> Bool #
Ord SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: SubType -> SubType -> Ordering # (<) :: SubType -> SubType -> Bool # (<=) :: SubType -> SubType -> Bool # (>) :: SubType -> SubType -> Bool # (>=) :: SubType -> SubType -> Bool # max :: SubType -> SubType -> SubType # min :: SubType -> SubType -> SubType #
Show SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubType -> ShowS # show :: SubType -> String # showList :: [SubType] -> ShowS #
Generic SubType Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SubType :: Type -> Type # Methods from :: SubType -> Rep SubType x # to :: Rep SubType x -> SubType #
type Rep SubType Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SubType = D1 (MetaData "SubType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data ArrayExpr Source #

Constructors

ExprListArrayExpr ExprList
ArrayExprListArrayExpr ArrayExprList
EmptyArrayExpr

Instances

Eq ArrayExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ArrayExpr -> ArrayExpr -> Bool # (/=) :: ArrayExpr -> ArrayExpr -> Bool #
Ord ArrayExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: ArrayExpr -> ArrayExpr -> Ordering # (<) :: ArrayExpr -> ArrayExpr -> Bool # (<=) :: ArrayExpr -> ArrayExpr -> Bool # (>) :: ArrayExpr -> ArrayExpr -> Bool # (>=) :: ArrayExpr -> ArrayExpr -> Bool # max :: ArrayExpr -> ArrayExpr -> ArrayExpr # min :: ArrayExpr -> ArrayExpr -> ArrayExpr #
Show ArrayExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ArrayExpr -> ShowS # show :: ArrayExpr -> String # showList :: [ArrayExpr] -> ShowS #
Generic ArrayExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ArrayExpr :: Type -> Type # Methods from :: ArrayExpr -> Rep ArrayExpr x # to :: Rep ArrayExpr x -> ArrayExpr #
type Rep ArrayExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ArrayExpr = D1 (MetaData "ArrayExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data Row Source #

Constructors

ExplicitRowRow ExplicitRow
ImplicitRowRow ImplicitRow

Instances

Eq Row Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Row -> Row -> Bool # (/=) :: Row -> Row -> Bool #
Ord Row Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Row -> Row -> Ordering # (<) :: Row -> Row -> Bool # (<=) :: Row -> Row -> Bool # (>) :: Row -> Row -> Bool # (>=) :: Row -> Row -> Bool # max :: Row -> Row -> Row # min :: Row -> Row -> Row #
Show Row Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Row -> ShowS # show :: Row -> String # showList :: [Row] -> ShowS #
Generic Row Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Row :: Type -> Type # Methods from :: Row -> Rep Row x # to :: Rep Row x -> Row #
type Rep Row Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Row = D1 (MetaData "Row" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data ImplicitRow Source #

Constructors

ImplicitRow ExprList AExpr

Instances

Eq ImplicitRow Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ImplicitRow -> ImplicitRow -> Bool # (/=) :: ImplicitRow -> ImplicitRow -> Bool #
Ord ImplicitRow Source #
Instance details 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 #
Show ImplicitRow Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ImplicitRow -> ShowS # show :: ImplicitRow -> String # showList :: [ImplicitRow] -> ShowS #
Generic ImplicitRow Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ImplicitRow :: Type -> Type # Methods from :: ImplicitRow -> Rep ImplicitRow x # to :: Rep ImplicitRow x -> ImplicitRow #
type Rep ImplicitRow Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ImplicitRow = D1 (MetaData "ImplicitRow" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data FuncExpr Source #

Constructors

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

Instances

Eq FuncExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncExpr -> FuncExpr -> Bool # (/=) :: FuncExpr -> FuncExpr -> Bool #
Ord FuncExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: FuncExpr -> FuncExpr -> Ordering # (<) :: FuncExpr -> FuncExpr -> Bool # (<=) :: FuncExpr -> FuncExpr -> Bool # (>) :: FuncExpr -> FuncExpr -> Bool # (>=) :: FuncExpr -> FuncExpr -> Bool # max :: FuncExpr -> FuncExpr -> FuncExpr # min :: FuncExpr -> FuncExpr -> FuncExpr #
Show FuncExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncExpr -> ShowS # show :: FuncExpr -> String # showList :: [FuncExpr] -> ShowS #
Generic FuncExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncExpr :: Type -> Type # Methods from :: FuncExpr -> Rep FuncExpr x # to :: Rep FuncExpr x -> FuncExpr #
type Rep FuncExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncExpr = D1 (MetaData "FuncExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ApplicationFuncExprWindowless FuncApplication
CommonSubexprFuncExprWindowless FuncExprCommonSubexpr

Instances

Eq FuncExprWindowless Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncExprWindowless -> FuncExprWindowless -> Bool # (/=) :: FuncExprWindowless -> FuncExprWindowless -> Bool #
Ord FuncExprWindowless Source #
Instance details 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 #
Show FuncExprWindowless Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncExprWindowless -> ShowS # show :: FuncExprWindowless -> String # showList :: [FuncExprWindowless] -> ShowS #
Generic FuncExprWindowless Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncExprWindowless :: Type -> Type # Methods from :: FuncExprWindowless -> Rep FuncExprWindowless x # to :: Rep FuncExprWindowless x -> FuncExprWindowless #
type Rep FuncExprWindowless Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncExprWindowless = D1 (MetaData "FuncExprWindowless" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

type FilterClause = AExpr Source #

data OverClause Source #

Constructors

WindowOverClause WindowSpecification
ColIdOverClause ColId

Instances

Eq OverClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OverClause -> OverClause -> Bool # (/=) :: OverClause -> OverClause -> Bool #
Ord OverClause Source #
Instance details 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 #
Show OverClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverClause -> ShowS # show :: OverClause -> String # showList :: [OverClause] -> ShowS #
Generic OverClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OverClause :: Type -> Type # Methods from :: OverClause -> Rep OverClause x # to :: Rep OverClause x -> OverClause #
type Rep OverClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OverClause = D1 (MetaData "OverClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

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

Eq FuncExprCommonSubexpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool # (/=) :: FuncExprCommonSubexpr -> FuncExprCommonSubexpr -> Bool #
Ord FuncExprCommonSubexpr Source #
Instance details 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 #
Show FuncExprCommonSubexpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncExprCommonSubexpr -> ShowS # show :: FuncExprCommonSubexpr -> String # showList :: [FuncExprCommonSubexpr] -> ShowS #
Generic FuncExprCommonSubexpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncExprCommonSubexpr :: Type -> Type # Methods from :: FuncExprCommonSubexpr -> Rep FuncExprCommonSubexpr x # to :: Rep FuncExprCommonSubexpr x -> FuncExprCommonSubexpr #
type Rep FuncExprCommonSubexpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncExprCommonSubexpr = D1 (MetaData "FuncExprCommonSubexpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ExtractList ExtractArg AExpr

Instances

Eq ExtractList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ExtractList -> ExtractList -> Bool # (/=) :: ExtractList -> ExtractList -> Bool #
Ord ExtractList Source #
Instance details 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 #
Show ExtractList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ExtractList -> ShowS # show :: ExtractList -> String # showList :: [ExtractList] -> ShowS #
Generic ExtractList Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ExtractList :: Type -> Type # Methods from :: ExtractList -> Rep ExtractList x # to :: Rep ExtractList x -> ExtractList #
type Rep ExtractList Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ExtractList = D1 (MetaData "ExtractList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

IdentExtractArg Ident
YearExtractArg
MonthExtractArg
DayExtractArg
HourExtractArg
MinuteExtractArg
SecondExtractArg
SconstExtractArg Sconst

Instances

Eq ExtractArg Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ExtractArg -> ExtractArg -> Bool # (/=) :: ExtractArg -> ExtractArg -> Bool #
Ord ExtractArg Source #
Instance details 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 #
Show ExtractArg Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ExtractArg -> ShowS # show :: ExtractArg -> String # showList :: [ExtractArg] -> ShowS #
Generic ExtractArg Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ExtractArg :: Type -> Type # Methods from :: ExtractArg -> Rep ExtractArg x # to :: Rep ExtractArg x -> ExtractArg #
type Rep ExtractArg Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ExtractArg = D1 (MetaData "ExtractArg" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

OverlayList AExpr OverlayPlacing SubstrFrom (Maybe SubstrFor)

Instances

Eq OverlayList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: OverlayList -> OverlayList -> Bool # (/=) :: OverlayList -> OverlayList -> Bool #
Ord OverlayList Source #
Instance details 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 #
Show OverlayList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> OverlayList -> ShowS # show :: OverlayList -> String # showList :: [OverlayList] -> ShowS #
Generic OverlayList Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep OverlayList :: Type -> Type # Methods from :: OverlayList -> Rep OverlayList x # to :: Rep OverlayList x -> OverlayList #
type Rep OverlayList Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep OverlayList = D1 (MetaData "OverlayList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data PositionList Source #

Constructors

PositionList BExpr BExpr

Instances

Eq PositionList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: PositionList -> PositionList -> Bool # (/=) :: PositionList -> PositionList -> Bool #
Ord PositionList Source #
Instance details 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 #
Show PositionList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> PositionList -> ShowS # show :: PositionList -> String # showList :: [PositionList] -> ShowS #
Generic PositionList Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep PositionList :: Type -> Type # Methods from :: PositionList -> Rep PositionList x # to :: Rep PositionList x -> PositionList #
type Rep PositionList Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep PositionList = D1 (MetaData "PositionList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

ExprSubstrList AExpr SubstrListFromFor
ExprListSubstrList ExprList

Instances

Eq SubstrList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SubstrList -> SubstrList -> Bool # (/=) :: SubstrList -> SubstrList -> Bool #
Ord SubstrList Source #
Instance details 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 #
Show SubstrList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubstrList -> ShowS # show :: SubstrList -> String # showList :: [SubstrList] -> ShowS #
Generic SubstrList Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SubstrList :: Type -> Type # Methods from :: SubstrList -> Rep SubstrList x # to :: Rep SubstrList x -> SubstrList #
type Rep SubstrList Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SubstrList = D1 (MetaData "SubstrList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

FromForSubstrListFromFor SubstrFrom SubstrFor
ForFromSubstrListFromFor SubstrFor SubstrFrom
FromSubstrListFromFor SubstrFrom
ForSubstrListFromFor SubstrFor

Instances

Eq SubstrListFromFor Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SubstrListFromFor -> SubstrListFromFor -> Bool # (/=) :: SubstrListFromFor -> SubstrListFromFor -> Bool #
Ord SubstrListFromFor Source #
Instance details 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 #
Show SubstrListFromFor Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubstrListFromFor -> ShowS # show :: SubstrListFromFor -> String # showList :: [SubstrListFromFor] -> ShowS #
Generic SubstrListFromFor Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SubstrListFromFor :: Type -> Type # Methods from :: SubstrListFromFor -> Rep SubstrListFromFor x # to :: Rep SubstrListFromFor x -> SubstrListFromFor #
type Rep SubstrListFromFor Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SubstrListFromFor = D1 (MetaData "SubstrListFromFor" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

type SubstrFor = AExpr Source #

data TrimModifier Source #

Constructors

BothTrimModifier
LeadingTrimModifier
TrailingTrimModifier

Instances

Bounded TrimModifier Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: TrimModifier # maxBound :: TrimModifier #
Enum TrimModifier Source #
Instance details 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] #
Eq TrimModifier Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TrimModifier -> TrimModifier -> Bool # (/=) :: TrimModifier -> TrimModifier -> Bool #
Ord TrimModifier Source #
Instance details 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 #
Show TrimModifier Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TrimModifier -> ShowS # show :: TrimModifier -> String # showList :: [TrimModifier] -> ShowS #
Generic TrimModifier Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TrimModifier :: Type -> Type # Methods from :: TrimModifier -> Rep TrimModifier x # to :: Rep TrimModifier x -> TrimModifier #
type Rep TrimModifier Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TrimModifier = D1 (MetaData "TrimModifier" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data TrimList Source #

Constructors

ExprFromExprListTrimList AExpr ExprList
FromExprListTrimList ExprList
ExprListTrimList ExprList

Instances

Eq TrimList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TrimList -> TrimList -> Bool # (/=) :: TrimList -> TrimList -> Bool #
Ord TrimList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: TrimList -> TrimList -> Ordering # (<) :: TrimList -> TrimList -> Bool # (<=) :: TrimList -> TrimList -> Bool # (>) :: TrimList -> TrimList -> Bool # (>=) :: TrimList -> TrimList -> Bool # max :: TrimList -> TrimList -> TrimList # min :: TrimList -> TrimList -> TrimList #
Show TrimList Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TrimList -> ShowS # show :: TrimList -> String # showList :: [TrimList] -> ShowS #
Generic TrimList Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TrimList :: Type -> Type # Methods from :: TrimList -> Rep TrimList x # to :: Rep TrimList x -> TrimList #
type Rep TrimList Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TrimList = D1 (MetaData "TrimList" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data CaseExpr Source #

Constructors

CaseExpr (Maybe CaseArg) WhenClauseList (Maybe CaseDefault)

Instances

Eq CaseExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: CaseExpr -> CaseExpr -> Bool # (/=) :: CaseExpr -> CaseExpr -> Bool #
Ord CaseExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: CaseExpr -> CaseExpr -> Ordering # (<) :: CaseExpr -> CaseExpr -> Bool # (<=) :: CaseExpr -> CaseExpr -> Bool # (>) :: CaseExpr -> CaseExpr -> Bool # (>=) :: CaseExpr -> CaseExpr -> Bool # max :: CaseExpr -> CaseExpr -> CaseExpr # min :: CaseExpr -> CaseExpr -> CaseExpr #
Show CaseExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> CaseExpr -> ShowS # show :: CaseExpr -> String # showList :: [CaseExpr] -> ShowS #
Generic CaseExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep CaseExpr :: Type -> Type # Methods from :: CaseExpr -> Rep CaseExpr x # to :: Rep CaseExpr x -> CaseExpr #
type Rep CaseExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep CaseExpr = D1 (MetaData "CaseExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 CaseArg = AExpr Source #

type WhenClauseList = NonEmpty WhenClause Source #

type CaseDefault = AExpr Source #

data WhenClause Source #

Constructors

WhenClause AExpr AExpr

Instances

Eq WhenClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: WhenClause -> WhenClause -> Bool # (/=) :: WhenClause -> WhenClause -> Bool #
Ord WhenClause Source #
Instance details 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 #
Show WhenClause Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> WhenClause -> ShowS # show :: WhenClause -> String # showList :: [WhenClause] -> ShowS #
Generic WhenClause Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep WhenClause :: Type -> Type # Methods from :: WhenClause -> Rep WhenClause x # to :: Rep WhenClause x -> WhenClause #
type Rep WhenClause Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep WhenClause = D1 (MetaData "WhenClause" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

FuncApplication FuncName (Maybe FuncApplicationParams)

Instances

Eq FuncApplication Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncApplication -> FuncApplication -> Bool # (/=) :: FuncApplication -> FuncApplication -> Bool #
Ord FuncApplication Source #
Instance details 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 #
Show FuncApplication Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncApplication -> ShowS # show :: FuncApplication -> String # showList :: [FuncApplication] -> ShowS #
Generic FuncApplication Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncApplication :: Type -> Type # Methods from :: FuncApplication -> Rep FuncApplication x # to :: Rep FuncApplication x -> FuncApplication #
type Rep FuncApplication Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncApplication = D1 (MetaData "FuncApplication" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq FuncApplicationParams Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncApplicationParams -> FuncApplicationParams -> Bool # (/=) :: FuncApplicationParams -> FuncApplicationParams -> Bool #
Ord FuncApplicationParams Source #
Instance details 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 #
Show FuncApplicationParams Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncApplicationParams -> ShowS # show :: FuncApplicationParams -> String # showList :: [FuncApplicationParams] -> ShowS #
Generic FuncApplicationParams Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncApplicationParams :: Type -> Type # Methods from :: FuncApplicationParams -> Rep FuncApplicationParams x # to :: Rep FuncApplicationParams x -> FuncApplicationParams #
type Rep FuncApplicationParams Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncApplicationParams = D1 (MetaData "FuncApplicationParams" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq FuncArgExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncArgExpr -> FuncArgExpr -> Bool # (/=) :: FuncArgExpr -> FuncArgExpr -> Bool #
Ord FuncArgExpr Source #
Instance details 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 #
Show FuncArgExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncArgExpr -> ShowS # show :: FuncArgExpr -> String # showList :: [FuncArgExpr] -> ShowS #
Generic FuncArgExpr Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncArgExpr :: Type -> Type # Methods from :: FuncArgExpr -> Rep FuncArgExpr x # to :: Rep FuncArgExpr x -> FuncArgExpr #
type Rep FuncArgExpr Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncArgExpr = D1 (MetaData "FuncArgExpr" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

type Sconst = Text Source #

type Iconst = Int64 Source #

type Fconst = Double Source #

type Bconst = Text Source #

type Xconst = Text Source #

data AexprConst Source #

Instances

Eq AexprConst Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AexprConst -> AexprConst -> Bool # (/=) :: AexprConst -> AexprConst -> Bool #
Ord AexprConst Source #
Instance details 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 #
Show AexprConst Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AexprConst -> ShowS # show :: AexprConst -> String # showList :: [AexprConst] -> ShowS #
Generic AexprConst Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AexprConst :: Type -> Type # Methods from :: AexprConst -> Rep AexprConst x # to :: Rep AexprConst x -> AexprConst #
type Rep AexprConst Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AexprConst = D1 (MetaData "AexprConst" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

FuncConstArgs (NonEmpty FuncArgExpr) (Maybe SortClause)

Instances

Eq FuncConstArgs Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncConstArgs -> FuncConstArgs -> Bool # (/=) :: FuncConstArgs -> FuncConstArgs -> Bool #
Ord FuncConstArgs Source #
Instance details 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 #
Show FuncConstArgs Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncConstArgs -> ShowS # show :: FuncConstArgs -> String # showList :: [FuncConstArgs] -> ShowS #
Generic FuncConstArgs Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncConstArgs :: Type -> Type # Methods from :: FuncConstArgs -> Rep FuncConstArgs x # to :: Rep FuncConstArgs x -> FuncConstArgs #
type Rep FuncConstArgs Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncConstArgs = D1 (MetaData "FuncConstArgs" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

NumericConstTypename Numeric
ConstBitConstTypename ConstBit
ConstCharacterConstTypename ConstCharacter
ConstDatetimeConstTypename ConstDatetime

Instances

Eq ConstTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ConstTypename -> ConstTypename -> Bool # (/=) :: ConstTypename -> ConstTypename -> Bool #
Ord ConstTypename Source #
Instance details 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 #
Show ConstTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstTypename -> ShowS # show :: ConstTypename -> String # showList :: [ConstTypename] -> ShowS #
Generic ConstTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ConstTypename :: Type -> Type # Methods from :: ConstTypename -> Rep ConstTypename x # to :: Rep ConstTypename x -> ConstTypename #
type Rep ConstTypename Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ConstTypename = D1 (MetaData "ConstTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data Numeric Source #

Constructors

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

Instances

Eq Numeric Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Numeric -> Numeric -> Bool # (/=) :: Numeric -> Numeric -> Bool #
Ord Numeric Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Numeric -> Numeric -> Ordering # (<) :: Numeric -> Numeric -> Bool # (<=) :: Numeric -> Numeric -> Bool # (>) :: Numeric -> Numeric -> Bool # (>=) :: Numeric -> Numeric -> Bool # max :: Numeric -> Numeric -> Numeric # min :: Numeric -> Numeric -> Numeric #
Show Numeric Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Numeric -> ShowS # show :: Numeric -> String # showList :: [Numeric] -> ShowS #
Generic Numeric Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Numeric :: Type -> Type # Methods from :: Numeric -> Rep Numeric x # to :: Rep Numeric x -> Numeric #
type Rep Numeric Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Numeric = D1 (MetaData "Numeric" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))))

data Bit Source #

Constructors

Bit OptVarying (Maybe ExprList)

Instances

Eq Bit Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Bit -> Bit -> Bool # (/=) :: Bit -> Bit -> Bool #
Ord Bit Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Bit -> Bit -> Ordering # (<) :: Bit -> Bit -> Bool # (<=) :: Bit -> Bit -> Bool # (>) :: Bit -> Bit -> Bool # (>=) :: Bit -> Bit -> Bool # max :: Bit -> Bit -> Bit # min :: Bit -> Bit -> Bit #
Show Bit Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Bit -> ShowS # show :: Bit -> String # showList :: [Bit] -> ShowS #
Generic Bit Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Bit :: Type -> Type # Methods from :: Bit -> Rep Bit x # to :: Rep Bit x -> Bit #
type Rep Bit Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Bit = D1 (MetaData "Bit" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 ConstBit = Bit Source #

type OptVarying = Bool Source #

data ConstCharacter Source #

Constructors

ConstCharacter Character (Maybe Int64)

Instances

Eq ConstCharacter Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ConstCharacter -> ConstCharacter -> Bool # (/=) :: ConstCharacter -> ConstCharacter -> Bool #
Ord ConstCharacter Source #
Instance details 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 #
Show ConstCharacter Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstCharacter -> ShowS # show :: ConstCharacter -> String # showList :: [ConstCharacter] -> ShowS #
Generic ConstCharacter Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ConstCharacter :: Type -> Type # Methods from :: ConstCharacter -> Rep ConstCharacter x # to :: Rep ConstCharacter x -> ConstCharacter #
type Rep ConstCharacter Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ConstCharacter = D1 (MetaData "ConstCharacter" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data Character Source #

Constructors

CharacterCharacter OptVarying
CharCharacter OptVarying
VarcharCharacter
NationalCharacterCharacter OptVarying
NationalCharCharacter OptVarying
NcharCharacter OptVarying

Instances

Eq Character Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Character -> Character -> Bool # (/=) :: Character -> Character -> Bool #
Ord Character Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Character -> Character -> Ordering # (<) :: Character -> Character -> Bool # (<=) :: Character -> Character -> Bool # (>) :: Character -> Character -> Bool # (>=) :: Character -> Character -> Bool # max :: Character -> Character -> Character # min :: Character -> Character -> Character #
Show Character Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Character -> ShowS # show :: Character -> String # showList :: [Character] -> ShowS #
Generic Character Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Character :: Type -> Type # Methods from :: Character -> Rep Character x # to :: Rep Character x -> Character #
type Rep Character Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Character = D1 (MetaData "Character" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq ConstDatetime Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: ConstDatetime -> ConstDatetime -> Bool # (/=) :: ConstDatetime -> ConstDatetime -> Bool #
Ord ConstDatetime Source #
Instance details 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 #
Show ConstDatetime Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> ConstDatetime -> ShowS # show :: ConstDatetime -> String # showList :: [ConstDatetime] -> ShowS #
Generic ConstDatetime Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep ConstDatetime :: Type -> Type # Methods from :: ConstDatetime -> Rep ConstDatetime x # to :: Rep ConstDatetime x -> ConstDatetime #
type Rep ConstDatetime Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep ConstDatetime = D1 (MetaData "ConstDatetime" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

type Timezone = Bool Source #

data Interval Source #

Constructors

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

Instances

Eq Interval Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Interval -> Interval -> Bool # (/=) :: Interval -> Interval -> Bool #
Ord Interval Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Interval -> Interval -> Ordering # (<) :: Interval -> Interval -> Bool # (<=) :: Interval -> Interval -> Bool # (>) :: Interval -> Interval -> Bool # (>=) :: Interval -> Interval -> Bool # max :: Interval -> Interval -> Interval # min :: Interval -> Interval -> Interval #
Show Interval Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Interval -> ShowS # show :: Interval -> String # showList :: [Interval] -> ShowS #
Generic Interval Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Interval :: Type -> Type # Methods from :: Interval -> Rep Interval x # to :: Rep Interval x -> Interval #
type Rep Interval Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Interval = D1 (MetaData "Interval" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Names & References

data Ident Source #

Constructors

QuotedIdent Text
UnquotedIdent Text

Instances

Eq Ident Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Show Ident Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Generic Ident Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Ident :: Type -> Type # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
type Rep Ident Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Ident = D1 (MetaData "Ident" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 ColId = Ident Source #

type ColLabel = Ident Source #

type Name = ColId Source #

type NameList = NonEmpty Name Source #

type CursorName = Name Source #

data Columnref Source #

Constructors

Columnref ColId (Maybe Indirection)

Instances

Eq Columnref Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Columnref -> Columnref -> Bool # (/=) :: Columnref -> Columnref -> Bool #
Ord Columnref Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Columnref -> Columnref -> Ordering # (<) :: Columnref -> Columnref -> Bool # (<=) :: Columnref -> Columnref -> Bool # (>) :: Columnref -> Columnref -> Bool # (>=) :: Columnref -> Columnref -> Bool # max :: Columnref -> Columnref -> Columnref # min :: Columnref -> Columnref -> Columnref #
Show Columnref Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Columnref -> ShowS # show :: Columnref -> String # showList :: [Columnref] -> ShowS #
Generic Columnref Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Columnref :: Type -> Type # Methods from :: Columnref -> Rep Columnref x # to :: Rep Columnref x -> Columnref #
type Rep Columnref Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Columnref = D1 (MetaData "Columnref" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data AnyName Source #

Constructors

AnyName ColId (Maybe Attrs)

Instances

Eq AnyName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AnyName -> AnyName -> Bool # (/=) :: AnyName -> AnyName -> Bool #
Ord AnyName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: AnyName -> AnyName -> Ordering # (<) :: AnyName -> AnyName -> Bool # (<=) :: AnyName -> AnyName -> Bool # (>) :: AnyName -> AnyName -> Bool # (>=) :: AnyName -> AnyName -> Bool # max :: AnyName -> AnyName -> AnyName # min :: AnyName -> AnyName -> AnyName #
Show AnyName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AnyName -> ShowS # show :: AnyName -> String # showList :: [AnyName] -> ShowS #
Generic AnyName Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AnyName :: Type -> Type # Methods from :: AnyName -> Rep AnyName x # to :: Rep AnyName x -> AnyName #
type Rep AnyName Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AnyName = D1 (MetaData "AnyName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

data FuncName Source #

Constructors

TypeFuncName TypeFunctionName
IndirectedFuncName ColId Indirection

Instances

Eq FuncName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: FuncName -> FuncName -> Bool # (/=) :: FuncName -> FuncName -> Bool #
Ord FuncName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: FuncName -> FuncName -> Ordering # (<) :: FuncName -> FuncName -> Bool # (<=) :: FuncName -> FuncName -> Bool # (>) :: FuncName -> FuncName -> Bool # (>=) :: FuncName -> FuncName -> Bool # max :: FuncName -> FuncName -> FuncName # min :: FuncName -> FuncName -> FuncName #
Show FuncName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> FuncName -> ShowS # show :: FuncName -> String # showList :: [FuncName] -> ShowS #
Generic FuncName Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep FuncName :: Type -> Type # Methods from :: FuncName -> Rep FuncName x # to :: Rep FuncName x -> FuncName #
type Rep FuncName Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep FuncName = D1 (MetaData "FuncName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data QualifiedName Source #

Constructors

SimpleQualifiedName Ident
IndirectedQualifiedName Ident Indirection

Instances

Eq QualifiedName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: QualifiedName -> QualifiedName -> Bool # (/=) :: QualifiedName -> QualifiedName -> Bool #
Ord QualifiedName Source #
Instance details 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 #
Show QualifiedName Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> QualifiedName -> ShowS # show :: QualifiedName -> String # showList :: [QualifiedName] -> ShowS #
Generic QualifiedName Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep QualifiedName :: Type -> Type # Methods from :: QualifiedName -> Rep QualifiedName x # to :: Rep QualifiedName x -> QualifiedName #
type Rep QualifiedName Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep QualifiedName = D1 (MetaData "QualifiedName" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data IndirectionEl Source #

Constructors

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

Instances

Eq IndirectionEl Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: IndirectionEl -> IndirectionEl -> Bool # (/=) :: IndirectionEl -> IndirectionEl -> Bool #
Ord IndirectionEl Source #
Instance details 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 #
Show IndirectionEl Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> IndirectionEl -> ShowS # show :: IndirectionEl -> String # showList :: [IndirectionEl] -> ShowS #
Generic IndirectionEl Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep IndirectionEl :: Type -> Type # Methods from :: IndirectionEl -> Rep IndirectionEl x # to :: Rep IndirectionEl x -> IndirectionEl #
type Rep IndirectionEl Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep IndirectionEl = D1 (MetaData "IndirectionEl" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

data Typename Source #

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

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

Constructors

Typename
Fields Bool SETOF SimpleTypename Bool Question mark (Maybe (TypenameArrayDimensions, Bool)) Array dimensions possibly followed by a question mark

Instances

Eq Typename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: Typename -> Typename -> Bool # (/=) :: Typename -> Typename -> Bool #
Ord Typename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: Typename -> Typename -> Ordering # (<) :: Typename -> Typename -> Bool # (<=) :: Typename -> Typename -> Bool # (>) :: Typename -> Typename -> Bool # (>=) :: Typename -> Typename -> Bool # max :: Typename -> Typename -> Typename # min :: Typename -> Typename -> Typename #
Show Typename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> Typename -> ShowS # show :: Typename -> String # showList :: [Typename] -> ShowS #
Generic Typename Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep Typename :: Type -> Type # Methods from :: Typename -> Rep Typename x # to :: Rep Typename x -> Typename #
type Rep Typename Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep Typename = D1 (MetaData "Typename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

BoundsTypenameArrayDimensions ArrayBounds
ExplicitTypenameArrayDimensions (Maybe Iconst)

Instances

Eq TypenameArrayDimensions Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool # (/=) :: TypenameArrayDimensions -> TypenameArrayDimensions -> Bool #
Ord TypenameArrayDimensions Source #
Instance details 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 #
Show TypenameArrayDimensions Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> TypenameArrayDimensions -> ShowS # show :: TypenameArrayDimensions -> String # showList :: [TypenameArrayDimensions] -> ShowS #
Generic TypenameArrayDimensions Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep TypenameArrayDimensions :: Type -> Type # Methods from :: TypenameArrayDimensions -> Rep TypenameArrayDimensions x # to :: Rep TypenameArrayDimensions x -> TypenameArrayDimensions #
type Rep TypenameArrayDimensions Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep TypenameArrayDimensions = D1 (MetaData "TypenameArrayDimensions" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data SimpleTypename Source #

Constructors

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

Instances

Eq SimpleTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SimpleTypename -> SimpleTypename -> Bool # (/=) :: SimpleTypename -> SimpleTypename -> Bool #
Ord SimpleTypename Source #
Instance details 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 #
Show SimpleTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SimpleTypename -> ShowS # show :: SimpleTypename -> String # showList :: [SimpleTypename] -> ShowS #
Generic SimpleTypename Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SimpleTypename :: Type -> Type # Methods from :: SimpleTypename -> Rep SimpleTypename x # to :: Rep SimpleTypename x -> SimpleTypename #
type Rep SimpleTypename Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SimpleTypename = D1 (MetaData "SimpleTypename" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

GenericType TypeFunctionName (Maybe Attrs) (Maybe TypeModifiers)

Instances

Eq GenericType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: GenericType -> GenericType -> Bool # (/=) :: GenericType -> GenericType -> Bool #
Ord GenericType Source #
Instance details 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 #
Show GenericType Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> GenericType -> ShowS # show :: GenericType -> String # showList :: [GenericType] -> ShowS #
Generic GenericType Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep GenericType :: Type -> Type # Methods from :: GenericType -> Rep GenericType x # to :: Rep GenericType x -> GenericType #
type Rep GenericType Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep GenericType = D1 (MetaData "GenericType" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 Attrs = NonEmpty AttrName Source #

type AttrName = ColLabel Source #

type TypeModifiers = ExprList Source #

type TypeList = NonEmpty Typename Source #

Operators

data QualOp Source #

Constructors

OpQualOp Op
OperatorQualOp AnyOperator

Instances

Eq QualOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: QualOp -> QualOp -> Bool # (/=) :: QualOp -> QualOp -> Bool #
Ord QualOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: QualOp -> QualOp -> Ordering # (<) :: QualOp -> QualOp -> Bool # (<=) :: QualOp -> QualOp -> Bool # (>) :: QualOp -> QualOp -> Bool # (>=) :: QualOp -> QualOp -> Bool # max :: QualOp -> QualOp -> QualOp # min :: QualOp -> QualOp -> QualOp #
Show QualOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> QualOp -> ShowS # show :: QualOp -> String # showList :: [QualOp] -> ShowS #
Generic QualOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep QualOp :: Type -> Type # Methods from :: QualOp -> Rep QualOp x # to :: Rep QualOp x -> QualOp #
type Rep QualOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep QualOp = D1 (MetaData "QualOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data QualAllOp Source #

Constructors

AllQualAllOp AllOp
AnyQualAllOp AnyOperator

Instances

Eq QualAllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: QualAllOp -> QualAllOp -> Bool # (/=) :: QualAllOp -> QualAllOp -> Bool #
Ord QualAllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: QualAllOp -> QualAllOp -> Ordering # (<) :: QualAllOp -> QualAllOp -> Bool # (<=) :: QualAllOp -> QualAllOp -> Bool # (>) :: QualAllOp -> QualAllOp -> Bool # (>=) :: QualAllOp -> QualAllOp -> Bool # max :: QualAllOp -> QualAllOp -> QualAllOp # min :: QualAllOp -> QualAllOp -> QualAllOp #
Show QualAllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> QualAllOp -> ShowS # show :: QualAllOp -> String # showList :: [QualAllOp] -> ShowS #
Generic QualAllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep QualAllOp :: Type -> Type # Methods from :: QualAllOp -> Rep QualAllOp x # to :: Rep QualAllOp x -> QualAllOp #
type Rep QualAllOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep QualAllOp = D1 (MetaData "QualAllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

type Op = Text Source #

data AnyOperator Source #

Constructors

AllOpAnyOperator AllOp
QualifiedAnyOperator ColId AnyOperator

Instances

Eq AnyOperator Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AnyOperator -> AnyOperator -> Bool # (/=) :: AnyOperator -> AnyOperator -> Bool #
Ord AnyOperator Source #
Instance details 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 #
Show AnyOperator Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AnyOperator -> ShowS # show :: AnyOperator -> String # showList :: [AnyOperator] -> ShowS #
Generic AnyOperator Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AnyOperator :: Type -> Type # Methods from :: AnyOperator -> Rep AnyOperator x # to :: Rep AnyOperator x -> AnyOperator #
type Rep AnyOperator Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AnyOperator = D1 (MetaData "AnyOperator" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data AllOp Source #

Constructors

OpAllOp Op
MathAllOp MathOp

Instances

Eq AllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AllOp -> AllOp -> Bool # (/=) :: AllOp -> AllOp -> Bool #
Ord AllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: AllOp -> AllOp -> Ordering # (<) :: AllOp -> AllOp -> Bool # (<=) :: AllOp -> AllOp -> Bool # (>) :: AllOp -> AllOp -> Bool # (>=) :: AllOp -> AllOp -> Bool # max :: AllOp -> AllOp -> AllOp # min :: AllOp -> AllOp -> AllOp #
Show AllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AllOp -> ShowS # show :: AllOp -> String # showList :: [AllOp] -> ShowS #
Generic AllOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AllOp :: Type -> Type # Methods from :: AllOp -> Rep AllOp x # to :: Rep AllOp x -> AllOp #
type Rep AllOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AllOp = D1 (MetaData "AllOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))

data MathOp Source #

Constructors

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

Instances

Bounded MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: MathOp # maxBound :: MathOp #
Enum MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods succ :: MathOp -> MathOp # pred :: MathOp -> MathOp # toEnum :: Int -> MathOp # fromEnum :: MathOp -> Int # enumFrom :: MathOp -> [MathOp] # enumFromThen :: MathOp -> MathOp -> [MathOp] # enumFromTo :: MathOp -> MathOp -> [MathOp] # enumFromThenTo :: MathOp -> MathOp -> MathOp -> [MathOp] #
Eq MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: MathOp -> MathOp -> Bool # (/=) :: MathOp -> MathOp -> Bool #
Ord MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: MathOp -> MathOp -> Ordering # (<) :: MathOp -> MathOp -> Bool # (<=) :: MathOp -> MathOp -> Bool # (>) :: MathOp -> MathOp -> Bool # (>=) :: MathOp -> MathOp -> Bool # max :: MathOp -> MathOp -> MathOp # min :: MathOp -> MathOp -> MathOp #
Show MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> MathOp -> ShowS # show :: MathOp -> String # showList :: [MathOp] -> ShowS #
Generic MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep MathOp :: Type -> Type # Methods from :: MathOp -> Rep MathOp x # to :: Rep MathOp x -> MathOp #
type Rep MathOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep MathOp = D1 (MetaData "MathOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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

Eq SymbolicExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool # (/=) :: SymbolicExprBinOp -> SymbolicExprBinOp -> Bool #
Ord SymbolicExprBinOp Source #
Instance details 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 #
Show SymbolicExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SymbolicExprBinOp -> ShowS # show :: SymbolicExprBinOp -> String # showList :: [SymbolicExprBinOp] -> ShowS #
Generic SymbolicExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SymbolicExprBinOp :: Type -> Type # Methods from :: SymbolicExprBinOp -> Rep SymbolicExprBinOp x # to :: Rep SymbolicExprBinOp x -> SymbolicExprBinOp #
type Rep SymbolicExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SymbolicExprBinOp = D1 (MetaData "SymbolicExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

LikeVerbalExprBinOp
IlikeVerbalExprBinOp
SimilarToVerbalExprBinOp

Instances

Bounded VerbalExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: VerbalExprBinOp # maxBound :: VerbalExprBinOp #
Enum VerbalExprBinOp Source #
Instance details 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] #
Eq VerbalExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool # (/=) :: VerbalExprBinOp -> VerbalExprBinOp -> Bool #
Ord VerbalExprBinOp Source #
Instance details 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 #
Show VerbalExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> VerbalExprBinOp -> ShowS # show :: VerbalExprBinOp -> String # showList :: [VerbalExprBinOp] -> ShowS #
Generic VerbalExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep VerbalExprBinOp :: Type -> Type # Methods from :: VerbalExprBinOp -> Rep VerbalExprBinOp x # to :: Rep VerbalExprBinOp x -> VerbalExprBinOp #
type Rep VerbalExprBinOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep VerbalExprBinOp = D1 (MetaData "VerbalExprBinOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

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

Instances

Eq AExprReversableOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AExprReversableOp -> AExprReversableOp -> Bool # (/=) :: AExprReversableOp -> AExprReversableOp -> Bool #
Ord AExprReversableOp Source #
Instance details 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 #
Show AExprReversableOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AExprReversableOp -> ShowS # show :: AExprReversableOp -> String # showList :: [AExprReversableOp] -> ShowS #
Generic AExprReversableOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AExprReversableOp :: Type -> Type # Methods from :: AExprReversableOp -> Rep AExprReversableOp x # to :: Rep AExprReversableOp x -> AExprReversableOp #
type Rep AExprReversableOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AExprReversableOp = D1 (MetaData "AExprReversableOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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)))))

data BExprIsOp Source #

Constructors

DistinctFromBExprIsOp BExpr
OfBExprIsOp TypeList
DocumentBExprIsOp

Instances

Eq BExprIsOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: BExprIsOp -> BExprIsOp -> Bool # (/=) :: BExprIsOp -> BExprIsOp -> Bool #
Ord BExprIsOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: BExprIsOp -> BExprIsOp -> Ordering # (<) :: BExprIsOp -> BExprIsOp -> Bool # (<=) :: BExprIsOp -> BExprIsOp -> Bool # (>) :: BExprIsOp -> BExprIsOp -> Bool # (>=) :: BExprIsOp -> BExprIsOp -> Bool # max :: BExprIsOp -> BExprIsOp -> BExprIsOp # min :: BExprIsOp -> BExprIsOp -> BExprIsOp #
Show BExprIsOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> BExprIsOp -> ShowS # show :: BExprIsOp -> String # showList :: [BExprIsOp] -> ShowS #
Generic BExprIsOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep BExprIsOp :: Type -> Type # Methods from :: BExprIsOp -> Rep BExprIsOp x # to :: Rep BExprIsOp x -> BExprIsOp #
type Rep BExprIsOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep BExprIsOp = D1 (MetaData "BExprIsOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

AllSubqueryOp AllOp
AnySubqueryOp AnyOperator
LikeSubqueryOp Bool
IlikeSubqueryOp Bool

Instances

Eq SubqueryOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: SubqueryOp -> SubqueryOp -> Bool # (/=) :: SubqueryOp -> SubqueryOp -> Bool #
Ord SubqueryOp Source #
Instance details 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 #
Show SubqueryOp Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> SubqueryOp -> ShowS # show :: SubqueryOp -> String # showList :: [SubqueryOp] -> ShowS #
Generic SubqueryOp Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep SubqueryOp :: Type -> Type # Methods from :: SubqueryOp -> Rep SubqueryOp x # to :: Rep SubqueryOp x -> SubqueryOp #
type Rep SubqueryOp Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep SubqueryOp = D1 (MetaData "SubqueryOp" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

data IndexElem Source #

Constructors

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

Instances

Eq IndexElem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: IndexElem -> IndexElem -> Bool # (/=) :: IndexElem -> IndexElem -> Bool #
Ord IndexElem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: IndexElem -> IndexElem -> Ordering # (<) :: IndexElem -> IndexElem -> Bool # (<=) :: IndexElem -> IndexElem -> Bool # (>) :: IndexElem -> IndexElem -> Bool # (>=) :: IndexElem -> IndexElem -> Bool # max :: IndexElem -> IndexElem -> IndexElem # min :: IndexElem -> IndexElem -> IndexElem #
Show IndexElem Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> IndexElem -> ShowS # show :: IndexElem -> String # showList :: [IndexElem] -> ShowS #
Generic IndexElem Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep IndexElem :: Type -> Type # Methods from :: IndexElem -> Rep IndexElem x # to :: Rep IndexElem x -> IndexElem #
type Rep IndexElem Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep IndexElem = D1 (MetaData "IndexElem" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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 #

Constructors

IdIndexElemDef ColId
FuncIndexElemDef FuncExprWindowless
ExprIndexElemDef AExpr

Instances

Eq IndexElemDef Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: IndexElemDef -> IndexElemDef -> Bool # (/=) :: IndexElemDef -> IndexElemDef -> Bool #
Ord IndexElemDef Source #
Instance details 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 #
Show IndexElemDef Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> IndexElemDef -> ShowS # show :: IndexElemDef -> String # showList :: [IndexElemDef] -> ShowS #
Generic IndexElemDef Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep IndexElemDef :: Type -> Type # Methods from :: IndexElemDef -> Rep IndexElemDef x # to :: Rep IndexElemDef x -> IndexElemDef #
type Rep IndexElemDef Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep IndexElemDef = D1 (MetaData "IndexElemDef" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" 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))))

type Collate = AnyName Source #

type Class = AnyName Source #

data AscDesc Source #

Constructors

AscAscDesc
DescAscDesc

Instances

Bounded AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: AscDesc # maxBound :: AscDesc #
Enum AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Methods succ :: AscDesc -> AscDesc # pred :: AscDesc -> AscDesc # toEnum :: Int -> AscDesc # fromEnum :: AscDesc -> Int # enumFrom :: AscDesc -> [AscDesc] # enumFromThen :: AscDesc -> AscDesc -> [AscDesc] # enumFromTo :: AscDesc -> AscDesc -> [AscDesc] # enumFromThenTo :: AscDesc -> AscDesc -> AscDesc -> [AscDesc] #
Eq AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: AscDesc -> AscDesc -> Bool # (/=) :: AscDesc -> AscDesc -> Bool #
Ord AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Methods compare :: AscDesc -> AscDesc -> Ordering # (<) :: AscDesc -> AscDesc -> Bool # (<=) :: AscDesc -> AscDesc -> Bool # (>) :: AscDesc -> AscDesc -> Bool # (>=) :: AscDesc -> AscDesc -> Bool # max :: AscDesc -> AscDesc -> AscDesc # min :: AscDesc -> AscDesc -> AscDesc #
Show AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> AscDesc -> ShowS # show :: AscDesc -> String # showList :: [AscDesc] -> ShowS #
Generic AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep AscDesc :: Type -> Type # Methods from :: AscDesc -> Rep AscDesc x # to :: Rep AscDesc x -> AscDesc #
type Rep AscDesc Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep AscDesc = D1 (MetaData "AscDesc" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" False) (C1 (MetaCons "AscAscDesc" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DescAscDesc" PrefixI False) (U1 :: Type -> Type))

data NullsOrder Source #

Constructors

FirstNullsOrder
LastNullsOrder

Instances

Bounded NullsOrder Source #
Instance details Defined in PostgresqlSyntax.Ast Methods minBound :: NullsOrder # maxBound :: NullsOrder #
Enum NullsOrder Source #
Instance details 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] #
Eq NullsOrder Source #
Instance details Defined in PostgresqlSyntax.Ast Methods (==) :: NullsOrder -> NullsOrder -> Bool # (/=) :: NullsOrder -> NullsOrder -> Bool #
Ord NullsOrder Source #
Instance details 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 #
Show NullsOrder Source #
Instance details Defined in PostgresqlSyntax.Ast Methods showsPrec :: Int -> NullsOrder -> ShowS # show :: NullsOrder -> String # showList :: [NullsOrder] -> ShowS #
Generic NullsOrder Source #
Instance details Defined in PostgresqlSyntax.Ast Associated Types type Rep NullsOrder :: Type -> Type # Methods from :: NullsOrder -> Rep NullsOrder x # to :: Rep NullsOrder x -> NullsOrder #
type Rep NullsOrder Source #
Instance details Defined in PostgresqlSyntax.Ast type Rep NullsOrder = D1 (MetaData "NullsOrder" "PostgresqlSyntax.Ast" "postgresql-syntax-0.3-6sU7qmpYmFEERprbpTYw19" False) (C1 (MetaCons "FirstNullsOrder" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LastNullsOrder" PrefixI False) (U1 :: Type -> Type))

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

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

RelationExprTableRef RelationExpr (Maybe AliasClause) (Maybe TablesampleClause)
FuncTableRef Bool FuncTable (Maybe FuncAliasClause)
SelectTableRef Bool SelectWithParens (Maybe AliasClause)
JoinTableRef JoinedTable (Maybe AliasClause)

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

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

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

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