PostgresqlSyntax · postgresql-syntax-0.5.0.3

valueparse :: IsAst a => Settings -> Text -> Either Text a

#

valueparseWithPosError

:: IsAst a
=> Settings
-> Text
-> Either (NonEmpty (Int, Text)) a

#

valueparseWithSourcePosError

:: IsAst a
=> Settings
-> Text
-> Either (NonEmpty (SourcePos, Text)) a

#

valuetoText :: IsAst a => Settings -> a -> Text

#

valuenullabilityMarkers :: Bool -> Settings

#

classclass IsAst a where

#

Methods

toTextBuilder :: Settings -> a -> TextBuilder
parser :: Settings -> Parser a

typetype AttrName = ColLabel

#

typetype CaseArg = AExpr

#

typetype CaseDefault = AExpr

#

typetype Class = AnyName

#

typetype ColDefList = TableFuncElementList

#

typetype ColId = Ident

#

typetype ColLabel = Ident

#

typetype Collate = AnyName

#

typetype CollateClause = AnyName

#

typetype ConstBit = Bit

#

typetype CursorName = Name

#

typetype ExistingWindowName = ColId

#

typetype FilterClause = AExpr

#

typetype Name = ColId

#

typetype OverlayPlacing = AExpr

#

typetype PartitionClause = ExprList

#

typetype RepeatableClause = AExpr

#

typetype SubstrFor = AExpr

#

typetype SubstrFrom = AExpr

#

typetype TypeFunctionName = Ident

#

typetype TypeModifiers = ExprList

#

typetype WithinGroupClause = SortClause

#

datadata AExpr

#

datadata AExprReversableOp

#

Constructors

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

datadata AexprConst

#

datadata AliasClause

#

Constructors

AliasClause Bool Ident (Maybe NameList)

datadata AllOp

#

datadata AnyName

#

Constructors

AnyName Ident (Maybe Attrs)

datadata AnyOperator

#

Constructors

AllOpAnyOperator AllOp
QualifiedAnyOperator Ident AnyOperator

newtypenewtype ArrayBounds

#

Constructors

ArrayBounds (NonEmpty (Maybe Iconst))

datadata ArrayExpr

#

Constructors

ExprListArrayExpr ExprList
ArrayExprListArrayExpr ArrayExprList
EmptyArrayExpr

newtypenewtype ArrayExprList

#

Constructors

ArrayExprList (NonEmpty ArrayExpr)

datadata AscDesc

#

AscAscDesc DescAscDesc

newtypenewtype Attrs

#

Constructors

Attrs (NonEmpty Ident)

datadata BExpr

#

Constructors

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

datadata BExprIsOp

#

Constructors

DistinctFromBExprIsOp BExpr
OfBExprIsOp TypeList
DocumentBExprIsOp

newtypenewtype Bconst

#

Constructors

Bconst Text

datadata Bit

#

Constructors

Bit OptVarying (Maybe ExprList)

datadata CExpr

#

newtypenewtype CallStmt

#

Constructors

CallStmt FuncApplication

datadata CaseExpr

#

Constructors

CaseExpr (Maybe AExpr) WhenClauseList (Maybe AExpr)

datadata Character

#

Constructors

CharacterCharacter OptVarying
CharCharacter OptVarying
VarcharCharacter
NationalCharacterCharacter OptVarying
NationalCharCharacter OptVarying
NcharCharacter OptVarying

datadata Columnref

#

Constructors

Columnref Ident (Maybe Indirection)

datadata CommonTableExpr

#

Constructors

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

datadata ConfExpr

#

Constructors

WhereConfExpr IndexParams (Maybe AExpr)
ConstraintConfExpr Ident

datadata ConstCharacter

#

Constructors

ConstCharacter Character (Maybe Int64)

datadata ConstDatetime

#

Constructors

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

datadata ConstTypename

#

Constructors

NumericConstTypename Numeric
ConstBitConstTypename Bit
ConstCharacterConstTypename ConstCharacter
ConstDatetimeConstTypename ConstDatetime

datadata DeleteStmt

#

Constructors

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

datadata ExplicitRow

#

Constructors

EmptyExplicitRow
ExprListExplicitRow ExprList

newtypenewtype ExprList

#

Constructors

ExprList (NonEmpty AExpr)

datadata ExtractArg

#

Constructors

IdentExtractArg Ident
YearExtractArg
MonthExtractArg
DayExtractArg
HourExtractArg
MinuteExtractArg
SecondExtractArg
SconstExtractArg Sconst

datadata ExtractList

#

Constructors

ExtractList ExtractArg AExpr

newtypenewtype Fconst

#

Constructors

Fconst Double

datadata ForLockingClause

#

Constructors

ItemsForLockingClause (NonEmpty ForLockingItem)
ReadOnlyForLockingClause

datadata ForLockingItem

#

Constructors

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

datadata ForLockingStrength

#

UpdateForLockingStrength NoKeyUpdateForLockingStrength ShareForLockingStrength KeyForLockingStrength

datadata FrameBound

#

Constructors

UnboundedPrecedingFrameBound
UnboundedFollowingFrameBound
CurrentRowFrameBound
PrecedingFrameBound AExpr
FollowingFrameBound AExpr

datadata FrameClause

#

Constructors

FrameClause FrameClauseMode FrameExtent (Maybe WindowExclusionClause)

datadata FrameClauseMode

#

RangeFrameClauseMode RowsFrameClauseMode GroupsFrameClauseMode

datadata FrameExtent

#

Constructors

SingularFrameExtent FrameBound
BetweenFrameExtent FrameBound FrameBound

newtypenewtype FromClause

#

Constructors

FromClause FromList

newtypenewtype FromList

#

Constructors

FromList (NonEmpty TableRef)

datadata FuncAliasClause

#

Constructors

AliasFuncAliasClause AliasClause
AsFuncAliasClause TableFuncElementList
AsColIdFuncAliasClause Ident TableFuncElementList
ColIdFuncAliasClause Ident TableFuncElementList

datadata FuncApplication

#

Constructors

FuncApplication FuncName (Maybe FuncApplicationParams)

datadata FuncApplicationParams

#

Constructors

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

datadata FuncArgExpr

#

Constructors

ExprFuncArgExpr AExpr
ColonEqualsFuncArgExpr Ident AExpr
EqualsGreaterFuncArgExpr Ident AExpr

datadata FuncConstArgs

#

Constructors

FuncConstArgs (NonEmpty FuncArgExpr) (Maybe SortClause)

datadata FuncExpr

#

Constructors

ApplicationFuncExpr FuncApplication (Maybe SortClause) (Maybe AExpr) (Maybe OverClause)
SubexprFuncExpr FuncExprCommonSubexpr

datadata FuncExprCommonSubexpr

#

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

datadata FuncExprWindowless

#

Constructors

ApplicationFuncExprWindowless FuncApplication
CommonSubexprFuncExprWindowless FuncExprCommonSubexpr

datadata FuncName

#

Constructors

TypeFuncName Ident
IndirectedFuncName Ident Indirection

datadata FuncTable

#

Constructors

FuncExprFuncTable FuncExprWindowless OptOrdinality
RowsFromFuncTable RowsfromList OptOrdinality

datadata GenericType

#

Constructors

GenericType Ident (Maybe Attrs) (Maybe ExprList)

datadata GroupByItem

#

Constructors

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

newtypenewtype GroupClause

#

Constructors

GroupClause (NonEmpty GroupByItem)

newtypenewtype HavingClause

#

Constructors

HavingClause AExpr

newtypenewtype Iconst

#

Constructors

Iconst Int64

datadata Ident

#

Constructors

QuotedIdent Text
UnquotedIdent Text

datadata ImplicitRow

#

Constructors

ImplicitRow ExprList AExpr

datadata InExpr

#

Constructors

SelectInExpr SelectWithParens
ExprListInExpr ExprList

datadata IndexElem

#

Constructors

IndexElem IndexElemDef (Maybe AnyName) (Maybe AnyName) (Maybe AscDesc) (Maybe NullsOrder)

datadata IndexElemDef

#

Constructors

IdIndexElemDef Ident
FuncIndexElemDef FuncExprWindowless
ExprIndexElemDef AExpr

newtypenewtype IndexParams

#

Constructors

IndexParams (NonEmpty IndexElem)

newtypenewtype Indirection

#

Constructors

Indirection (NonEmpty IndirectionEl)

datadata IndirectionEl

#

Constructors

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

datadata InsertColumnItem

#

Constructors

InsertColumnItem Ident (Maybe Indirection)

newtypenewtype InsertColumnList

#

Constructors

InsertColumnList (NonEmpty InsertColumnItem)

datadata InsertRest

#

Constructors

SelectInsertRest (Maybe InsertColumnList) (Maybe OverrideKind) SelectStmt
DefaultValuesInsertRest

datadata InsertStmt

#

Constructors

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

datadata InsertTarget

#

Constructors

InsertTarget QualifiedName (Maybe Ident)

datadata Interval

#

Constructors

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

newtypenewtype IntervalSecond

#

Constructors

IntervalSecond (Maybe Int64)

newtypenewtype IntoClause

#

Constructors

IntoClause OptTempTableName

datadata JoinQual

#

Constructors

UsingJoinQual (NonEmpty Ident)
OnJoinQual AExpr

datadata JoinType

#

Constructors

FullJoinType Bool
LeftJoinType Bool
RightJoinType Bool
InnerJoinType

datadata JoinedTable

#

Constructors

InParensJoinedTable JoinedTable
CrossJoinedTable TableRef TableRef
QualJoinedTable TableRef (Maybe JoinType) TableRef JoinQual
NaturalJoinedTable TableRef (Maybe JoinType) TableRef

datadata LimitClause

#

Constructors

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

datadata MathOp

#

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

newtypenewtype NameList

#

Constructors

NameList (NonEmpty Ident)

datadata NullsOrder

#

FirstNullsOrder LastNullsOrder

datadata Numeric

#

Constructors

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

datadata OffsetClause

#

Constructors

ExprOffsetClause AExpr
FetchFirstOffsetClause SelectFetchFirstValue Bool

datadata OnConflict

#

Constructors

OnConflict (Maybe ConfExpr) OnConflictDo

datadata OnConflictDo

#

Constructors

UpdateOnConflictDo SetClauseList (Maybe AExpr)
NothingOnConflictDo

newtypenewtype Op

#

Constructors

Op Text

newtypenewtype OptOrdinality

#

Constructors

OptOrdinality Bool

datadata OptTempTableName

#

newtypenewtype OptVarying

#

Constructors

OptVarying Bool

datadata OverClause

#

Constructors

WindowOverClause WindowSpecification
ColIdOverClause Ident

datadata OverlayList

#

Constructors

OverlayList AExpr AExpr AExpr (Maybe AExpr)

datadata OverrideKind

#

UserOverrideKind SystemOverrideKind

datadata PositionList

#

Constructors

PositionList BExpr BExpr

datadata PreparableStmt

#

Constructors

SelectPreparableStmt SelectStmt
InsertPreparableStmt InsertStmt
UpdatePreparableStmt UpdateStmt
DeletePreparableStmt DeleteStmt
CallPreparableStmt CallStmt

datadata QualAllOp

#

Constructors

AllQualAllOp AllOp
AnyQualAllOp AnyOperator

datadata QualOp

#

Constructors

OpQualOp Op
OperatorQualOp AnyOperator

datadata QualifiedName

#

Constructors

SimpleQualifiedName Ident
IndirectedQualifiedName Ident Indirection

datadata RelationExpr

#

Constructors

SimpleRelationExpr QualifiedName Bool
OnlyRelationExpr QualifiedName Bool

datadata RelationExprOptAlias

#

Constructors

RelationExprOptAlias RelationExpr (Maybe (Bool, Ident))

newtypenewtype ReturningClause

#

Constructors

ReturningClause TargetList

datadata Row

#

Constructors

ExplicitRowRow ExplicitRow
ImplicitRowRow ImplicitRow

datadata RowsfromItem

#

Constructors

RowsfromItem FuncExprWindowless (Maybe TableFuncElementList)

newtypenewtype RowsfromList

#

Constructors

RowsfromList (NonEmpty RowsfromItem)

newtypenewtype Sconst

#

Constructors

Sconst Text

datadata SelectBinOp

#

UnionSelectBinOp IntersectSelectBinOp ExceptSelectBinOp

datadata SelectClause

#

Constructors

SimpleSelectSelectClause SimpleSelect
WithParensSelectClause SelectWithParens

datadata SelectFetchFirstValue

#

Constructors

ExprSelectFetchFirstValue CExpr
NumSelectFetchFirstValue Bool (Either Int64 Double)

datadata SelectLimit

#

Constructors

LimitOffsetSelectLimit LimitClause OffsetClause
OffsetLimitSelectLimit OffsetClause LimitClause
LimitSelectLimit LimitClause
OffsetSelectLimit OffsetClause

datadata SelectLimitValue

#

Constructors

ExprSelectLimitValue AExpr
AllSelectLimitValue

datadata SelectNoParens

#

Constructors

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

datadata SelectStmt

#

Constructors

NoParensSelectStmt SelectNoParens
WithParensSelectStmt SelectWithParens

datadata SelectWithParens

#

Constructors

NoParensSelectWithParens SelectNoParens
WithParensSelectWithParens SelectWithParens

datadata SetClause

#

Constructors

TargetSetClause SetTarget AExpr
TargetListSetClause SetTargetList AExpr

newtypenewtype SetClauseList

#

Constructors

SetClauseList (NonEmpty SetClause)

datadata SetTarget

#

Constructors

SetTarget Ident (Maybe Indirection)

newtypenewtype SetTargetList

#

Constructors

SetTargetList (NonEmpty SetTarget)

datadata SimpleSelect

#

datadata SimpleTypename

#

Constructors

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

datadata SortBy

#

Constructors

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

newtypenewtype SortClause

#

Constructors

SortClause (NonEmpty SortBy)

datadata SubType

#

AnySubType SomeSubType AllSubType

datadata SubqueryOp

#

Constructors

AllSubqueryOp AllOp
AnySubqueryOp AnyOperator
LikeSubqueryOp Bool
IlikeSubqueryOp Bool

datadata SubstrList

#

Constructors

ExprSubstrList AExpr SubstrListFromFor
ExprListSubstrList ExprList

datadata SubstrListFromFor

#

Constructors

FromForSubstrListFromFor AExpr AExpr
ForFromSubstrListFromFor AExpr AExpr
FromSubstrListFromFor AExpr
ForSubstrListFromFor AExpr

datadata SymbolicExprBinOp

#

Constructors

MathSymbolicExprBinOp MathOp
QualSymbolicExprBinOp QualOp

datadata TableFuncElement

#

Constructors

TableFuncElement Ident Typename (Maybe AnyName)

newtypenewtype TableFuncElementList

#

Constructors

TableFuncElementList (NonEmpty TableFuncElement)

datadata TableRef

#

datadata TablesampleClause

#

Constructors

TablesampleClause FuncName ExprList (Maybe AExpr)

datadata TargetEl

#

Constructors

AliasedExprTargetEl AExpr Ident
ImplicitlyAliasedExprTargetEl AExpr Ident
ExprTargetEl AExpr
AsteriskTargetEl

newtypenewtype TargetList

#

Constructors

TargetList (NonEmpty TargetEl)

datadata Targeting

#

Constructors

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

newtypenewtype Timezone

#

Constructors

Timezone Bool

datadata TrimList

#

Constructors

ExprFromExprListTrimList AExpr ExprList
FromExprListTrimList ExprList
ExprListTrimList ExprList

datadata TrimModifier

#

BothTrimModifier LeadingTrimModifier TrailingTrimModifier

newtypenewtype TypeList

#

Constructors

TypeList (NonEmpty Typename)

datadata Typename

#

Constructors

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

datadata TypenameArrayDimensions

#

Constructors

BoundsTypenameArrayDimensions ArrayBounds
ExplicitTypenameArrayDimensions (Maybe Iconst)

datadata UpdateStmt

#

Constructors

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

newtypenewtype UsingClause

#

Constructors

UsingClause FromList

newtypenewtype ValuesClause

#

Constructors

ValuesClause (NonEmpty ExprList)

datadata VerbalExprBinOp

#

LikeVerbalExprBinOp IlikeVerbalExprBinOp SimilarToVerbalExprBinOp

datadata WhenClause

#

Constructors

WhenClause AExpr AExpr

newtypenewtype WhenClauseList

#

Constructors

WhenClauseList (NonEmpty WhenClause)

newtypenewtype WhereClause

#

Constructors

WhereClause AExpr

datadata WhereOrCurrentClause

#

Constructors

ExprWhereOrCurrentClause AExpr
CursorWhereOrCurrentClause Ident

newtypenewtype WindowClause

#

Constructors

WindowClause (NonEmpty WindowDefinition)

datadata WindowDefinition

#

Constructors

WindowDefinition Ident WindowSpecification

datadata WindowExclusionClause

#

CurrentRowWindowExclusionClause GroupWindowExclusionClause TiesWindowExclusionClause NoOthersWindowExclusionClause

datadata WindowSpecification

#

Constructors

WindowSpecification (Maybe Ident) (Maybe ExprList) (Maybe SortClause) (Maybe FrameClause)

datadata WithClause

#

Constructors

WithClause Bool (NonEmpty CommonTableExpr)

newtypenewtype Xconst

#

Constructors

Xconst Text

datadata Settings

#