Database.PostgreSQL.PQTypes.SQL.Builder

Module Database.PostgreSQL.PQTypes.SQL.Builder offers a nice monadic DSL for building SQL statements on the fly. Some examples:

>>> :{
sqlSelect "documents" $ do
  sqlResult "id"
  sqlResult "title"
  sqlResult "mtime"
  sqlOrderBy "documents.mtime DESC"
  sqlWhereILike "documents.title" "%pattern%"
:}
SQL " SELECT  id, title, mtime FROM documents WHERE (documents.title ILIKE <\"%pattern%\">)    ORDER BY documents.mtime DESC  "

SQL.Builder supports SELECT as sqlSelect and data manipulation using sqlInsert, sqlInsertSelect, sqlDelete and sqlUpdate.

>>> import Data.Time
>>> let title = "title" :: String
>>> let ctime  = read "2020-01-01 00:00:00 UTC" :: UTCTime
>>> :{
sqlInsert "documents" $ do
  sqlSet "title" title
  sqlSet "ctime" ctime
  sqlResult "id"
:}
SQL " INSERT INTO documents (title, ctime) VALUES (<\"title\">, <2020-01-01 00:00:00 UTC>)  RETURNING id"

The sqlInsertSelect is particulary interesting as it supports INSERT of values taken from a SELECT clause from same or even different tables.

There is a possibility to do multiple inserts at once. Data given by sqlSetList will be inserted multiple times, data given by sqlSet will be multiplied as many times as needed to cover all inserted rows (it is common to all rows). If you use multiple sqlSetList then lists will be made equal in length by appending DEFAULT as fill element.

>>> :{
sqlInsert "documents" $ do
  sqlSet "ctime" ctime
  sqlSetList "title" ["title1", "title2", "title3"]
  sqlResult "id"
:}
SQL " INSERT INTO documents (ctime, title) VALUES (<2020-01-01 00:00:00 UTC>, <\"title1\">) , (<2020-01-01 00:00:00 UTC>, <\"title2\">) , (<2020-01-01 00:00:00 UTC>, <\"title3\">)  RETURNING id"

The above will insert 3 new documents.

SQL.Builder provides quite a lot of SQL magic, including ORDER BY as sqlOrderBy, GROUP BY as sqlGroupBy.

>>> :{
sqlSelect "documents" $ do
  sqlResult "id"
  sqlResult "title"
  sqlResult "mtime"
  sqlOrderBy "documents.mtime DESC"
  sqlOrderBy "documents.title"
  sqlGroupBy "documents.status"
  sqlJoinOn "users" "documents.user_id = users.id"
  sqlWhere $ mkSQL "documents.title ILIKE" <?> "%pattern%"
:}
SQL " SELECT  id, title, mtime FROM documents  JOIN  users  ON  documents.user_id = users.id WHERE (documents.title ILIKE <\"%pattern%\">)  GROUP BY documents.status  ORDER BY documents.mtime DESC, documents.title  "

Joins are done by sqlJoinOn, sqlLeftJoinOn, sqlRightJoinOn, sqlJoinOn, sqlFullJoinOn. If everything fails use sqlJoin and sqlFrom to set join clause as string. Support for a join grammars as some kind of abstract syntax data type is lacking.

>>> :{
sqlDelete "mails" $ do
  sqlWhere "id > 67"
:}
SQL " DELETE FROM mails  WHERE (id > 67) "

>>> :{
sqlUpdate "document_tags" $ do
  sqlSet "value" (123 :: Int)
  sqlWhere "name = 'abc'"
:}
SQL " UPDATE document_tags SET value=<123>  WHERE (name = 'abc') "

Documentation

sqlWhere :: (MonadState v m, SqlWhere v) => SQL -> m ()

The WHERE part of an SQL query. See above for a usage example. See also SqlCondition.

sqlWhereEq :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> a -> m ()

sqlWhereEqSql :: (MonadState v m, SqlWhere v, Sqlable sql) => SQL -> sql -> m ()

sqlWhereNotEq :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> a -> m ()

sqlWhereIn :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> [a] -> m ()

sqlWhereInSql :: (MonadState v m, Sqlable a, SqlWhere v) => SQL -> a -> m ()

sqlWhereNotIn :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> [a] -> m ()

sqlWhereNotInSql :: (MonadState v m, Sqlable a, SqlWhere v) => SQL -> a -> m ()

sqlWhereExists :: (MonadState v m, SqlWhere v) => SqlSelect -> m ()

sqlWhereNotExists :: (MonadState v m, SqlWhere v) => SqlSelect -> m ()

sqlWhereLike :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> a -> m ()

sqlWhereILike :: (MonadState v m, SqlWhere v, Show a, ToSQL a) => SQL -> a -> m ()

sqlWhereIsNULL :: (MonadState v m, SqlWhere v) => SQL -> m ()

sqlWhereIsNotNULL :: (MonadState v m, SqlWhere v) => SQL -> m ()

sqlFrom :: (MonadState v m, SqlFrom v) => SQL -> m ()

sqlJoin :: (MonadState v m, SqlFrom v) => SQL -> m ()

sqlJoinOn :: (MonadState v m, SqlFrom v) => SQL -> SQL -> m ()

sqlLeftJoinOn :: (MonadState v m, SqlFrom v) => SQL -> SQL -> m ()

sqlRightJoinOn :: (MonadState v m, SqlFrom v) => SQL -> SQL -> m ()

sqlFullJoinOn :: (MonadState v m, SqlFrom v) => SQL -> SQL -> m ()

sqlOnConflictDoNothing :: (MonadState v m, SqlOnConflict v) => m ()

sqlOnConflictOnColumns :: (MonadState v m, SqlOnConflict v, Sqlable sql) => [SQL] -> sql -> m ()

sqlOnConflictOnColumnsDoNothing :: (MonadState v m, SqlOnConflict v) => [SQL] -> m ()

sqlSet :: (MonadState v m, SqlSet v, Show a, ToSQL a) => SQL -> a -> m ()

sqlSetInc :: (MonadState v m, SqlSet v) => SQL -> m ()

sqlSetList :: (MonadState SqlInsert m, Show a, ToSQL a) => SQL -> [a] -> m ()

sqlSetListWithDefaults :: (MonadState SqlInsert m, Show a, ToSQL a) => SQL -> [Maybe a] -> m ()

sqlSetCmd :: (MonadState v m, SqlSet v) => SQL -> SQL -> m ()

sqlSetCmdList :: MonadState SqlInsert m => SQL -> [SQL] -> m ()

sqlCopyColumn :: (MonadState v m, SqlSet v) => SQL -> m ()

sqlResult :: (MonadState v m, SqlResult v) => SQL -> m ()

sqlOrderBy :: (MonadState v m, SqlOrderBy v) => SQL -> m ()

sqlGroupBy :: (MonadState v m, SqlGroupByHaving v) => SQL -> m ()

sqlHaving :: (MonadState v m, SqlGroupByHaving v) => SQL -> m ()

sqlOffset :: (MonadState v m, SqlOffsetLimit v, Integral int) => int -> m ()

sqlLimit :: (MonadState v m, SqlOffsetLimit v, Integral int) => int -> m ()

sqlDistinct :: (MonadState v m, SqlDistinct v) => m ()

sqlWith :: (MonadState v m, SqlWith v, Sqlable s) => SQL -> s -> m ()

sqlUnion :: (MonadState SqlSelect m, Sqlable sql) => [sql] -> m ()

Note: WHERE clause of the main SELECT is treated specially, i.e. it only applies to the main SELECT, not the whole union.

sqlSelect :: SQL -> State SqlSelect () -> SqlSelect

sqlSelect2 :: SQL -> State SqlSelect () -> SqlSelect

data SqlSelect

Constructors

SqlSelect

Fields

• sqlSelectFrom :: SQL
• sqlSelectUnion :: [SQL]
• sqlSelectDistinct :: Bool
• sqlSelectResult :: [SQL]
• sqlSelectWhere :: [SqlCondition]
• sqlSelectOrderBy :: [SQL]
• sqlSelectGroupBy :: [SQL]
• sqlSelectHaving :: [SQL]
• sqlSelectOffset :: Integer
• sqlSelectLimit :: Integer
• sqlSelectWith :: [(SQL, SQL)]

Instances

Show SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlSelect -> ShowS

show :: SqlSelect -> String

showList :: [SqlSelect] -> ShowS

IsSQL SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

withSQL :: SqlSelect -> ParamAllocator -> (Ptr PGparam -> CString -> IO r) -> IO r

SqlDistinct SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlDistinct1 :: SqlSelect -> SqlSelect

SqlOffsetLimit SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOffset1 :: SqlSelect -> Integer -> SqlSelect

sqlLimit1 :: SqlSelect -> Integer -> SqlSelect

SqlGroupByHaving SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlGroupBy1 :: SqlSelect -> SQL -> SqlSelect

sqlHaving1 :: SqlSelect -> SQL -> SqlSelect

SqlOrderBy SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOrderBy1 :: SqlSelect -> SQL -> SqlSelect

SqlResult SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlSelect -> SQL -> SqlSelect

SqlFrom SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlSelect -> SQL -> SqlSelect

SqlWhere SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlSelect -> SqlCondition -> SqlSelect

sqlGetWhereConditions :: SqlSelect -> [SqlCondition]

Sqlable SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlSelect -> SQL

sqlInsert :: SQL -> State SqlInsert () -> SqlInsert

data SqlInsert

Constructors

SqlInsert

Fields

• sqlInsertWhat :: SQL
• sqlInsertOnConflict :: Maybe (SQL, Maybe SQL)
• sqlInsertSet :: [(SQL, Multiplicity SQL)]
• sqlInsertResult :: [SQL]
• sqlInsertWith :: [(SQL, SQL)]

Instances

Show SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlInsert -> ShowS

show :: SqlInsert -> String

showList :: [SqlInsert] -> ShowS

IsSQL SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

withSQL :: SqlInsert -> ParamAllocator -> (Ptr PGparam -> CString -> IO r) -> IO r

SqlResult SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlInsert -> SQL -> SqlInsert

SqlSet SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlInsert -> SQL -> SQL -> SqlInsert

Sqlable SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlInsert -> SQL

sqlInsertSelect :: SQL -> SQL -> State SqlInsertSelect () -> SqlInsertSelect

data SqlInsertSelect

Constructors

SqlInsertSelect

Fields

• sqlInsertSelectWhat :: SQL
• sqlInsertSelectOnConflict :: Maybe (SQL, Maybe SQL)
• sqlInsertSelectDistinct :: Bool
• sqlInsertSelectSet :: [(SQL, SQL)]
• sqlInsertSelectResult :: [SQL]
• sqlInsertSelectFrom :: SQL
• sqlInsertSelectWhere :: [SqlCondition]
• sqlInsertSelectOrderBy :: [SQL]
• sqlInsertSelectGroupBy :: [SQL]
• sqlInsertSelectHaving :: [SQL]
• sqlInsertSelectOffset :: Integer
• sqlInsertSelectLimit :: Integer
• sqlInsertSelectWith :: [(SQL, SQL)]

Instances

Show SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlInsertSelect -> ShowS

show :: SqlInsertSelect -> String

showList :: [SqlInsertSelect] -> ShowS

IsSQL SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

withSQL :: SqlInsertSelect -> ParamAllocator -> (Ptr PGparam -> CString -> IO r) -> IO r

SqlDistinct SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlDistinct1 :: SqlInsertSelect -> SqlInsertSelect

SqlOffsetLimit SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOffset1 :: SqlInsertSelect -> Integer -> SqlInsertSelect

sqlLimit1 :: SqlInsertSelect -> Integer -> SqlInsertSelect

SqlGroupByHaving SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlGroupBy1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

sqlHaving1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlOrderBy SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOrderBy1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlResult SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlSet SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlInsertSelect -> SQL -> SQL -> SqlInsertSelect

SqlFrom SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlWhere SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlInsertSelect -> SqlCondition -> SqlInsertSelect

sqlGetWhereConditions :: SqlInsertSelect -> [SqlCondition]

Sqlable SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlInsertSelect -> SQL

sqlUpdate :: SQL -> State SqlUpdate () -> SqlUpdate

data SqlUpdate

Constructors

SqlUpdate

Fields

• sqlUpdateWhat :: SQL
• sqlUpdateFrom :: SQL
• sqlUpdateWhere :: [SqlCondition]
• sqlUpdateSet :: [(SQL, SQL)]
• sqlUpdateResult :: [SQL]
• sqlUpdateWith :: [(SQL, SQL)]

Instances

Show SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlUpdate -> ShowS

show :: SqlUpdate -> String

showList :: [SqlUpdate] -> ShowS

IsSQL SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

withSQL :: SqlUpdate -> ParamAllocator -> (Ptr PGparam -> CString -> IO r) -> IO r

SqlResult SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlUpdate -> SQL -> SqlUpdate

SqlSet SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlUpdate -> SQL -> SQL -> SqlUpdate

SqlFrom SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlUpdate -> SQL -> SqlUpdate

SqlWhere SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlUpdate -> SqlCondition -> SqlUpdate

sqlGetWhereConditions :: SqlUpdate -> [SqlCondition]

Sqlable SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlUpdate -> SQL

sqlDelete :: SQL -> State SqlDelete () -> SqlDelete

data SqlDelete

Constructors

SqlDelete

Fields

• sqlDeleteFrom :: SQL
• sqlDeleteUsing :: SQL
• sqlDeleteWhere :: [SqlCondition]
• sqlDeleteResult :: [SQL]
• sqlDeleteWith :: [(SQL, SQL)]

Instances

Show SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlDelete -> ShowS

show :: SqlDelete -> String

showList :: [SqlDelete] -> ShowS

IsSQL SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

withSQL :: SqlDelete -> ParamAllocator -> (Ptr PGparam -> CString -> IO r) -> IO r

SqlFrom SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlDelete -> SQL -> SqlDelete

SqlWhere SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlDelete -> SqlCondition -> SqlDelete

sqlGetWhereConditions :: SqlDelete -> [SqlCondition]

Sqlable SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlDelete -> SQL

sqlWhereAny :: (MonadState v m, SqlWhere v) => [State SqlAll ()] -> m ()

Add a condition in the WHERE statement that holds if any of the given condition holds.

class SqlResult a

Minimal complete definition

sqlResult1

Instances

SqlResult SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlResult SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlInsert -> SQL -> SqlInsert

SqlResult SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlUpdate -> SQL -> SqlUpdate

SqlResult SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlResult1 :: SqlSelect -> SQL -> SqlSelect

class SqlSet a

Minimal complete definition

sqlSet1

Instances

SqlSet SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlInsertSelect -> SQL -> SQL -> SqlInsertSelect

SqlSet SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlInsert -> SQL -> SQL -> SqlInsert

SqlSet SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlSet1 :: SqlUpdate -> SQL -> SQL -> SqlUpdate

class SqlFrom a

Minimal complete definition

sqlFrom1

Instances

SqlFrom SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlDelete -> SQL -> SqlDelete

SqlFrom SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlFrom SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlUpdate -> SQL -> SqlUpdate

SqlFrom SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlFrom1 :: SqlSelect -> SQL -> SqlSelect

class SqlWhere a

Minimal complete definition

sqlWhere1, sqlGetWhereConditions

Instances

SqlWhere SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlDelete -> SqlCondition -> SqlDelete

sqlGetWhereConditions :: SqlDelete -> [SqlCondition]

SqlWhere SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlInsertSelect -> SqlCondition -> SqlInsertSelect

sqlGetWhereConditions :: SqlInsertSelect -> [SqlCondition]

SqlWhere SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlUpdate -> SqlCondition -> SqlUpdate

sqlGetWhereConditions :: SqlUpdate -> [SqlCondition]

SqlWhere SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlWhere1 :: SqlSelect -> SqlCondition -> SqlSelect

sqlGetWhereConditions :: SqlSelect -> [SqlCondition]

class SqlOrderBy a

Minimal complete definition

sqlOrderBy1

Instances

SqlOrderBy SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOrderBy1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlOrderBy SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOrderBy1 :: SqlSelect -> SQL -> SqlSelect

class SqlGroupByHaving a

Minimal complete definition

sqlGroupBy1, sqlHaving1

Instances

SqlGroupByHaving SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlGroupBy1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

sqlHaving1 :: SqlInsertSelect -> SQL -> SqlInsertSelect

SqlGroupByHaving SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlGroupBy1 :: SqlSelect -> SQL -> SqlSelect

sqlHaving1 :: SqlSelect -> SQL -> SqlSelect

class SqlOffsetLimit a

Minimal complete definition

sqlOffset1, sqlLimit1

Instances

SqlOffsetLimit SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOffset1 :: SqlInsertSelect -> Integer -> SqlInsertSelect

sqlLimit1 :: SqlInsertSelect -> Integer -> SqlInsertSelect

SqlOffsetLimit SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlOffset1 :: SqlSelect -> Integer -> SqlSelect

sqlLimit1 :: SqlSelect -> Integer -> SqlSelect

class SqlDistinct a

Minimal complete definition

sqlDistinct1

Instances

SqlDistinct SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlDistinct1 :: SqlInsertSelect -> SqlInsertSelect

SqlDistinct SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

sqlDistinct1 :: SqlSelect -> SqlSelect

data SqlCondition

SqlCondition are clauses that are part of the WHERE block in SQL statements. Each statement has a list of conditions, all of them must be fulfilled. Sometimes we need to inspect internal structure of a condition. For now it seems that the only interesting case is EXISTS (SELECT ...), because that internal SELECT can have explainable clauses.

Constructors

SqlPlainCondition SQL

SqlExistsCondition SqlSelect

Instances

Show SqlCondition

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> SqlCondition -> ShowS

show :: SqlCondition -> String

showList :: [SqlCondition] -> ShowS

Sqlable SqlCondition

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlCondition -> SQL

sqlGetWhereConditions :: SqlWhere a => a -> [SqlCondition]

class Sqlable a where

Methods

toSQLCommand :: a -> SQL

Instances

Sqlable SQL

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SQL -> SQL

Sqlable SqlDelete

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlDelete -> SQL

Sqlable SqlInsertSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlInsertSelect -> SQL

Sqlable SqlInsert

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlInsert -> SQL

Sqlable SqlUpdate

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlUpdate -> SQL

Sqlable SqlSelect

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlSelect -> SQL

Sqlable SqlCondition

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

toSQLCommand :: SqlCondition -> SQL

sqlOR :: SQL -> SQL -> SQL

sqlConcatComma :: [SQL] -> SQL

sqlConcatAND :: [SQL] -> SQL

sqlConcatOR :: [SQL] -> SQL

parenthesize :: SQL -> SQL

data AscDesc a

AscDesc marks ORDER BY order as ascending or descending. Conversion to SQL adds DESC marker to descending and no marker to ascending order.

Constructors

Asc a

Desc a

Instances

Eq a => Eq (AscDesc a)

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

(==) :: AscDesc a -> AscDesc a -> Bool

(/=) :: AscDesc a -> AscDesc a -> Bool

Show a => Show (AscDesc a)

Defined in Database.PostgreSQL.PQTypes.SQL.Builder

Methods

showsPrec :: Int -> AscDesc a -> ShowS

show :: AscDesc a -> String

showList :: [AscDesc a] -> ShowS