Database.GP.SqlGenerator

Documentation

insertStmtFor :: forall a. Entity a => String

This module defines some basic SQL statements for Record Data Types that are instances of Entity. The SQL statements are generated using Haskell generics to provide compile time reflection capabilities.

A function that returns an SQL insert statement for an entity. Type a must be an instance of Data. The function will use the field names of the data type to generate the column names in the insert statement. The values of the fields will be used as the values in the insert statement. Output example: INSERT INTO Person (id, name, age, address) VALUES (123456, Alice, 25, "123 Main St");

updateStmtFor :: forall a. Entity a => String

A function that returns an SQL update statement for an entity. Type a must be an instance of Entity.

selectFromStmt :: forall a. Entity a => WhereClauseExpr -> String

A function that returns an SQL select statement for an entity. Type a must be an instance of Entity. The function takes a where clause expression as parameter. This expression is used to filter the result set.

deleteStmtFor :: forall a. Entity a => String

createTableStmtFor :: forall a. Entity a => Database -> String

dropTableStmtFor :: forall a. Entity a => String

data WhereClauseExpr

Instances

Show WhereClauseExpr

Defined in Database.GP.Query

Methods

showsPrec :: Int -> WhereClauseExpr -> ShowS

show :: WhereClauseExpr -> String

showList :: [WhereClauseExpr] -> ShowS

Eq WhereClauseExpr

Defined in Database.GP.Query

Methods

(==) :: WhereClauseExpr -> WhereClauseExpr -> Bool

(/=) :: WhereClauseExpr -> WhereClauseExpr -> Bool

data Field

Instances

Show Field

Defined in Database.GP.Query

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

Eq Field

Defined in Database.GP.Query

Methods

(==) :: Field -> Field -> Bool

(/=) :: Field -> Field -> Bool

field :: String -> Field

whereClauseValues :: WhereClauseExpr -> [SqlValue]

(&&.) :: WhereClauseExpr -> WhereClauseExpr -> WhereClauseExpr infixl 3

(||.) :: WhereClauseExpr -> WhereClauseExpr -> WhereClauseExpr infixl 2

(=.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

(>.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

(<.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

(>=.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

(<=.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

(<>.) :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

like :: Convertible b SqlValue => Field -> b -> WhereClauseExpr infixl 4

contains :: Convertible a SqlValue => Field -> a -> WhereClauseExpr infixl 4

between :: (Convertible a1 SqlValue, Convertible a2 SqlValue) => Field -> (a1, a2) -> WhereClauseExpr infixl 4

in' :: Convertible b SqlValue => Field -> [b] -> WhereClauseExpr infixl 4

isNull :: Field -> WhereClauseExpr

not' :: WhereClauseExpr -> WhereClauseExpr

sqlFun :: String -> Field -> Field

allEntries :: WhereClauseExpr

byId :: Convertible a SqlValue => a -> WhereClauseExpr