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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" 'False) (C1 ('MetaCons "AscAscDesc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DescAscDesc" 'PrefixI 'False) (U1 :: Type -> Type))

data NullsOrder Source #

Constructors

FirstNullsOrder
LastNullsOrder

Instances

Instances details

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.4-CiMYM6DYJitBaqBKGUHRZp" '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