Database.Relational.Query.Type

This module defines typed SQL.

Typed query statement

newtype Query p a

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

Constructors

Query

Fields

untypeQuery :: String

Instances

Show (Query p a)

Show query SQL string

unsafeTypedQuery

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

From Relation into typed Query with suffix SQL words.

relationalQuery :: Relation p r -> Query p r

From Relation into typed Query.

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

From Relation into untyped SQL query string.

Typed update statement

data KeyUpdate p a

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)

Show update SQL string

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

Unsafely make typed KeyUpdate from SQL string.

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

Make typed KeyUpdate from Table and key indexes.

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

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

newtype Update p

Update type with place-holder parameter p.

Constructors

Update

Fields

untypeUpdate :: String

Instances

UntypeableNoFetch Update

Show (Update p)

Show update SQL string

unsafeTypedUpdate :: String -> Update p

Unsafely make typed Update from SQL string.

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

Make typed Update from Table and Restriction.

typedUpdateTable :: TableDerivable r => Relation () r -> UpdateTarget p r -> Update p

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

targetUpdate

Arguments

:: Table r

-> UpdateTargetContext p r

Target monad context

-> Update p

Directly make typed Update from Table and Target monad context.

targetUpdateTable

Arguments

:: TableDerivable r

=> Relation () r

-> UpdateTargetContext p r

Target monad context

-> Update p

Directly make typed Update from Relation and Target monad context.

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

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

restrictedUpdateAllColumn

Arguments

:: PersistableWidth r

=> Table r

-> RestrictionContext p r

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 -> RestrictionContext p r -> Update (r, p)

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

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

Make untyped update SQL string from Table and Restriction.

Typed insert statement

data Insert a

Insert type to insert record type a.

Constructors

Insert

Fields

untypeInsert :: String

untypeChunkInsert :: String

chunkSizeOfInsert :: Int

Instances

UntypeableNoFetch Insert

Show (Insert a)

Show insert SQL string.

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

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

unsafeTypedInsert :: String -> Insert a

Unsafely make typed Insert from single insert SQL.

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

Make typed Insert from columns selector Pi and Table.

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

Make typed Insert from columns selector Pi and Table.

derivedInsert :: TableDerivable r => Insert r

Infered Insert.

newtype InsertQuery p

InsertQuery type.

Constructors

InsertQuery

Fields

untypeInsertQuery :: String

Instances

Show (InsertQuery p)

Show insert SQL string.

unsafeTypedInsertQuery :: String -> InsertQuery p

Unsafely make typed InsertQuery from SQL string.

typedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p

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

derivedInsertQuery :: TableDerivable r => Relation p r -> InsertQuery p

Infered InsertQuery.

insertQuerySQL :: TableDerivable r => Config -> Pi r r' -> Relation p r' -> String

Make untyped insert select SQL string from Table and Relation.

Typed delete statement

newtype Delete p

Delete type with place-holder parameter p.

Constructors

Delete

Fields

untypeDelete :: String

Instances

UntypeableNoFetch Delete

Show (Delete p)

Show delete SQL string

unsafeTypedDelete :: String -> Delete p

Unsafely make typed Delete from SQL string.

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

Make typed Delete from Table and Restriction.

restrictedDelete

Arguments

:: Table r

-> RestrictionContext p r

Restrict monad context.

-> Delete p

Directly make typed Delete from Table and Restrict monad context.

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

Make untyped delete SQL string from Table and Restriction.

Generalized interfaces

class UntypeableNoFetch s where

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

Methods

untypeNoFetch :: s p -> String

Instances

UntypeableNoFetch Delete

UntypeableNoFetch Insert

UntypeableNoFetch Update