Safe Haskell	Safe-Inferred
Language	GHC2021

PostgresqlSyntax.Ast.Instances.Lift

Contents

Orphan instances

Orphan instances

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