PostgresqlSyntax.Ast.Instances.Lift
Contents
Methods
lift :: Quote m => AExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AExpr -> Code m AExpr #
lift :: Quote m => AExprReversableOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AExprReversableOp -> Code m AExprReversableOp #
lift :: Quote m => AexprConst -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AexprConst -> Code m AexprConst #
lift :: Quote m => AliasClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AliasClause -> Code m AliasClause #
lift :: Quote m => AllOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AllOp -> Code m AllOp #
lift :: Quote m => AnyName -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AnyName -> Code m AnyName #
lift :: Quote m => AnyOperator -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AnyOperator -> Code m AnyOperator #
lift :: Quote m => ArrayExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ArrayExpr -> Code m ArrayExpr #
lift :: Quote m => AscDesc -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => AscDesc -> Code m AscDesc #
lift :: Quote m => BExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => BExpr -> Code m BExpr #
lift :: Quote m => BExprIsOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => BExprIsOp -> Code m BExprIsOp #
lift :: Quote m => Bit -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Bit -> Code m Bit #
lift :: Quote m => CExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => CExpr -> Code m CExpr #
lift :: Quote m => CallStmt -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => CallStmt -> Code m CallStmt #
lift :: Quote m => CaseExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => CaseExpr -> Code m CaseExpr #
lift :: Quote m => Character -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Character -> Code m Character #
lift :: Quote m => Columnref -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Columnref -> Code m Columnref #
lift :: Quote m => CommonTableExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => CommonTableExpr -> Code m CommonTableExpr #
lift :: Quote m => ConfExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ConfExpr -> Code m ConfExpr #
lift :: Quote m => ConstCharacter -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ConstCharacter -> Code m ConstCharacter #
lift :: Quote m => ConstDatetime -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ConstDatetime -> Code m ConstDatetime #
lift :: Quote m => ConstTypename -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ConstTypename -> Code m ConstTypename #
lift :: Quote m => DeleteStmt -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => DeleteStmt -> Code m DeleteStmt #
lift :: Quote m => ExtractArg -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ExtractArg -> Code m ExtractArg #
lift :: Quote m => ExtractList -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ExtractList -> Code m ExtractList #
lift :: Quote m => ForLockingClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ForLockingClause -> Code m ForLockingClause #
lift :: Quote m => ForLockingItem -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ForLockingItem -> Code m ForLockingItem #
lift :: Quote m => ForLockingStrength -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ForLockingStrength -> Code m ForLockingStrength #
lift :: Quote m => FrameBound -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FrameBound -> Code m FrameBound #
lift :: Quote m => FrameClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FrameClause -> Code m FrameClause #
lift :: Quote m => FrameClauseMode -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FrameClauseMode -> Code m FrameClauseMode #
lift :: Quote m => FrameExtent -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FrameExtent -> Code m FrameExtent #
lift :: Quote m => FuncAliasClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncAliasClause -> Code m FuncAliasClause #
lift :: Quote m => FuncApplication -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncApplication -> Code m FuncApplication #
lift :: Quote m => FuncApplicationParams -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncApplicationParams -> Code m FuncApplicationParams #
lift :: Quote m => FuncArgExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncArgExpr -> Code m FuncArgExpr #
lift :: Quote m => FuncConstArgs -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncConstArgs -> Code m FuncConstArgs #
lift :: Quote m => FuncExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncExpr -> Code m FuncExpr #
lift :: Quote m => FuncExprCommonSubexpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncExprCommonSubexpr -> Code m FuncExprCommonSubexpr #
lift :: Quote m => FuncExprWindowless -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncExprWindowless -> Code m FuncExprWindowless #
lift :: Quote m => FuncName -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncName -> Code m FuncName #
lift :: Quote m => FuncTable -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => FuncTable -> Code m FuncTable #
lift :: Quote m => GenericType -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => GenericType -> Code m GenericType #
lift :: Quote m => GroupByItem -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => GroupByItem -> Code m GroupByItem #
lift :: Quote m => Ident -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Ident -> Code m Ident #
lift :: Quote m => ImplicitRow -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => ImplicitRow -> Code m ImplicitRow #
lift :: Quote m => InExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => InExpr -> Code m InExpr #
lift :: Quote m => IndexElem -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => IndexElem -> Code m IndexElem #
lift :: Quote m => IndexElemDef -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => IndexElemDef -> Code m IndexElemDef #
lift :: Quote m => IndirectionEl -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => IndirectionEl -> Code m IndirectionEl #
lift :: Quote m => InsertColumnItem -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => InsertColumnItem -> Code m InsertColumnItem #
lift :: Quote m => InsertRest -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => InsertRest -> Code m InsertRest #
lift :: Quote m => InsertStmt -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => InsertStmt -> Code m InsertStmt #
lift :: Quote m => InsertTarget -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => InsertTarget -> Code m InsertTarget #
lift :: Quote m => Interval -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Interval -> Code m Interval #
lift :: Quote m => JoinMeth -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => JoinMeth -> Code m JoinMeth #
lift :: Quote m => JoinQual -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => JoinQual -> Code m JoinQual #
lift :: Quote m => JoinType -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => JoinType -> Code m JoinType #
lift :: Quote m => JoinedTable -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => JoinedTable -> Code m JoinedTable #
lift :: Quote m => LimitClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => LimitClause -> Code m LimitClause #
lift :: Quote m => MathOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => MathOp -> Code m MathOp #
lift :: Quote m => NullsOrder -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => NullsOrder -> Code m NullsOrder #
lift :: Quote m => Numeric -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Numeric -> Code m Numeric #
lift :: Quote m => OffsetClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OffsetClause -> Code m OffsetClause #
lift :: Quote m => OnConflict -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OnConflict -> Code m OnConflict #
lift :: Quote m => OnConflictDo -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OnConflictDo -> Code m OnConflictDo #
lift :: Quote m => OptTempTableName -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OptTempTableName -> Code m OptTempTableName #
lift :: Quote m => OverClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OverClause -> Code m OverClause #
lift :: Quote m => OverlayList -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OverlayList -> Code m OverlayList #
lift :: Quote m => OverrideKind -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => OverrideKind -> Code m OverrideKind #
lift :: Quote m => PositionList -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => PositionList -> Code m PositionList #
lift :: Quote m => PreparableStmt -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => PreparableStmt -> Code m PreparableStmt #
lift :: Quote m => QualAllOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => QualAllOp -> Code m QualAllOp #
lift :: Quote m => QualOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => QualOp -> Code m QualOp #
lift :: Quote m => QualifiedName -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => QualifiedName -> Code m QualifiedName #
lift :: Quote m => RelationExpr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => RelationExpr -> Code m RelationExpr #
lift :: Quote m => RelationExprOptAlias -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => RelationExprOptAlias -> Code m RelationExprOptAlias #
lift :: Quote m => Row -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Row -> Code m Row #
lift :: Quote m => RowsfromItem -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => RowsfromItem -> Code m RowsfromItem #
lift :: Quote m => SelectBinOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectBinOp -> Code m SelectBinOp #
lift :: Quote m => SelectFetchFirstValue -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectFetchFirstValue -> Code m SelectFetchFirstValue #
lift :: Quote m => SelectLimit -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectLimit -> Code m SelectLimit #
lift :: Quote m => SelectLimitValue -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectLimitValue -> Code m SelectLimitValue #
lift :: Quote m => SelectNoParens -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectNoParens -> Code m SelectNoParens #
lift :: Quote m => SelectWithParens -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SelectWithParens -> Code m SelectWithParens #
lift :: Quote m => SetClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SetClause -> Code m SetClause #
lift :: Quote m => SetTarget -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SetTarget -> Code m SetTarget #
lift :: Quote m => SimpleSelect -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SimpleSelect -> Code m SimpleSelect #
lift :: Quote m => SimpleTypename -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SimpleTypename -> Code m SimpleTypename #
lift :: Quote m => SortBy -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SortBy -> Code m SortBy #
lift :: Quote m => SubType -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SubType -> Code m SubType #
lift :: Quote m => SubqueryOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SubqueryOp -> Code m SubqueryOp #
lift :: Quote m => SubstrList -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SubstrList -> Code m SubstrList #
lift :: Quote m => SubstrListFromFor -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SubstrListFromFor -> Code m SubstrListFromFor #
lift :: Quote m => SymbolicExprBinOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SymbolicExprBinOp -> Code m SymbolicExprBinOp #
lift :: Quote m => TableFuncElement -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TableFuncElement -> Code m TableFuncElement #
lift :: Quote m => TableRef -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TableRef -> Code m TableRef #
lift :: Quote m => TablesampleClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TablesampleClause -> Code m TablesampleClause #
lift :: Quote m => TargetEl -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TargetEl -> Code m TargetEl #
lift :: Quote m => Targeting -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Targeting -> Code m Targeting #
lift :: Quote m => TrimList -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TrimList -> Code m TrimList #
lift :: Quote m => TrimModifier -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TrimModifier -> Code m TrimModifier #
lift :: Quote m => Typename -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Typename -> Code m Typename #
lift :: Quote m => TypenameArrayDimensions -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => TypenameArrayDimensions -> Code m TypenameArrayDimensions #
lift :: Quote m => UpdateStmt -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => UpdateStmt -> Code m UpdateStmt #
lift :: Quote m => VerbalExprBinOp -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => VerbalExprBinOp -> Code m VerbalExprBinOp #
lift :: Quote m => WhenClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WhenClause -> Code m WhenClause #
lift :: Quote m => WhereOrCurrentClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WhereOrCurrentClause -> Code m WhereOrCurrentClause #
lift :: Quote m => WindowDefinition -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WindowDefinition -> Code m WindowDefinition #
lift :: Quote m => WindowExclusionClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WindowExclusionClause -> Code m WindowExclusionClause #
lift :: Quote m => WindowSpecification -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WindowSpecification -> Code m WindowSpecification #
lift :: Quote m => WithClause -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => WithClause -> Code m WithClause #