napkin-0.5.14
Safe HaskellSafe-Inferred
LanguageGHC2021

PostgresqlSyntax.Ast.Instances.Lift

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

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

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

Lift FuncExprWindowless # 
Instance details

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

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

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

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

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

Lift WindowSpecification # 
Instance details

Lift WithClause # 
Instance details

Methods

lift :: Quote m => WithClause -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => WithClause -> Code m WithClause #