Copyright	2013 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Database.Relational.Query.Type

Contents

Description

This module defines typed SQL.

Synopsis

Typed query statement

newtype Query p a Source

Query type with place-holder parameter p and query result type a.

Constructors

Query
Fields untypeQuery :: String

Instances

Show (Query p a) Source

Show query SQL string

unsafeTypedQuery Source

Arguments

:: String	Query SQL to type
-> Query p a	Typed result

Unsafely make typed Query from SQL string.

relationalQuery' :: Relation p r -> QuerySuffix -> Query p r Source

From Relation into typed Query with suffix SQL words.

relationalQuery :: Relation p r -> Query p r Source

From Relation into typed Query.

relationalQuerySQL :: Config -> Relation p r -> QuerySuffix -> String Source

From Relation into untyped SQL query string.

Typed update statement

data KeyUpdate p a Source

Update type with key type p and update record type a. Columns to update are record columns other than key columns, So place-holder parameter type is the same as record type a.

Constructors

KeyUpdate
Fields updateKey :: Pi a p untypeKeyUpdate :: String

Instances

Show (KeyUpdate p a) Source

Show update SQL string

unsafeTypedKeyUpdate :: Pi a p -> String -> KeyUpdate p a Source

Unsafely make typed KeyUpdate from SQL string.

typedKeyUpdate :: Table a -> Pi a p -> KeyUpdate p a Source

Make typed KeyUpdate from Table and key columns selector Pi.

typedKeyUpdateTable :: TableDerivable r => Relation () r -> Pi r p -> KeyUpdate p r Source

Make typed KeyUpdate object using derived info specified by Relation type.

newtype Update p Source

Update type with place-holder parameter p.

Constructors

Update
Fields untypeUpdate :: String

Instances

UntypeableNoFetch Update Source
Show (Update p) Source	Show update SQL string

unsafeTypedUpdate :: String -> Update p Source

Unsafely make typed Update from SQL string.

typedUpdate' :: Config -> Table r -> UpdateTarget p r -> Update p Source

Make typed Update from Config, Table and UpdateTarget.

typedUpdate :: Table r -> UpdateTarget p r -> Update p Source

Make typed Update using defaultConfig, Table and UpdateTarget.

derivedUpdate' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p Source

Make typed Update from Config, derived table and AssignStatement

derivedUpdate :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p Source

Make typed Update from defaultConfig, derived table and AssignStatement

typedUpdateAllColumn :: PersistableWidth r => Table r -> Restriction p r -> Update (r, p) Source

Make typed Update from Table and Restriction. Update target is all column.

restrictedUpdateAllColumn Source

Arguments

:: PersistableWidth r
=> Table r
-> RestrictedStatement r (PlaceHolders p)	`Restrict` monad context
-> Update (r, p)

Directly make typed Update from Table and Restrict monad context. Update target is all column.

restrictedUpdateTableAllColumn :: (PersistableWidth r, TableDerivable r) => Relation () r -> RestrictedStatement r (PlaceHolders p) -> Update (r, p) Source

Directly make typed Update from Table and Restrict monad context. Update target is all column.

updateSQL :: Config -> Table r -> UpdateTarget p r -> String Source

Make untyped update SQL string from Table and UpdateTarget.

Typed insert statement

data Insert a Source

Insert type to insert record type a.

Constructors

Insert
Fields untypeInsert :: String chunkedInsert :: Maybe (String, Int)

Instances

UntypeableNoFetch Insert Source
Show (Insert a) Source	Show insert SQL string.

untypeChunkInsert :: Insert a -> String Source

Statement to use chunked insert

chunkSizeOfInsert :: Insert a -> Int Source

Size to use chunked insert

unsafeTypedInsert' :: String -> String -> Int -> Insert a Source

Unsafely make typed Insert from single insert and chunked insert SQL.

unsafeTypedInsert :: String -> Insert a Source

Unsafely make typed Insert from single insert SQL.

typedInsert' :: Config -> Table r -> Pi r r' -> Insert r' Source

Make typed Insert from Table and columns selector Pi with configuration parameter.

typedInsert :: Table r -> Pi r r' -> Insert r' Source

Make typed Insert from Table and columns selector Pi.

derivedInsert :: TableDerivable r => Pi r r' -> Insert r' Source

Table type inferred Insert.

typedInsertValue' :: Config -> Table r -> InsertTarget p r -> Insert p Source

Make typed Insert from Config, Table and monadic builded InsertTarget object.

typedInsertValue :: Table r -> InsertTarget p r -> Insert p Source

Make typed Insert from Table and monadic builded InsertTarget object.

derivedInsertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p Source

Make typed Insert from Config, derived table and monadic builded Register object.

derivedInsertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p Source

Make typed Insert from defaultConfig, derived table and monadic builded Register object.

newtype InsertQuery p Source

InsertQuery type.

Constructors

InsertQuery
Fields untypeInsertQuery :: String

Instances

UntypeableNoFetch InsertQuery Source
Show (InsertQuery p) Source	Show insert SQL string.

unsafeTypedInsertQuery :: String -> InsertQuery p Source

Unsafely make typed InsertQuery from SQL string.

typedInsertQuery' :: Config -> Table r -> Pi r r' -> Relation p r' -> InsertQuery p Source

Make typed InsertQuery from columns selector Table, Pi and Relation with configuration parameter.

typedInsertQuery :: Table r -> Pi r r' -> Relation p r' -> InsertQuery p Source

Make typed InsertQuery from columns selector Table, Pi and Relation.

derivedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p Source

Table type inferred InsertQuery.

insertQuerySQL :: Config -> Table r -> Pi r r' -> Relation p r' -> String Source

Make untyped insert select SQL string from Table, Pi and Relation.

Typed delete statement

newtype Delete p Source

Delete type with place-holder parameter p.

Constructors

Delete
Fields untypeDelete :: String

Instances

UntypeableNoFetch Delete Source
Show (Delete p) Source	Show delete SQL string

unsafeTypedDelete :: String -> Delete p Source

Unsafely make typed Delete from SQL string.

typedDelete' :: Config -> Table r -> Restriction p r -> Delete p Source

Make typed Delete from Config, Table and Restriction.

typedDelete :: Table r -> Restriction p r -> Delete p Source

Make typed Delete from Table and Restriction.

derivedDelete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p Source

Make typed Delete from Config, derived table and RestrictContext

derivedDelete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p Source

Make typed Delete from defaultConfig, derived table and RestrictContext

deleteSQL :: Config -> Table r -> Restriction p r -> String Source

Make untyped delete SQL string from Table and Restriction.

Generalized interfaces

class UntypeableNoFetch s where Source

Untype interface for typed no-result type statments with single type parameter which represents place-holder parameter p.

Methods

untypeNoFetch :: s p -> String Source

Instances

UntypeableNoFetch Delete Source
UntypeableNoFetch InsertQuery Source
UntypeableNoFetch Insert Source
UntypeableNoFetch Update Source