Database.Relational.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

Methods

showsPrec :: Int -> Query p a -> ShowS

show :: Query p a -> String

showList :: [Query p a] -> ShowS

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

Methods

showsPrec :: Int -> KeyUpdate p a -> ShowS

show :: KeyUpdate p a -> String

showList :: [KeyUpdate p a] -> ShowS

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 columns selector Pi.

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

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

keyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r

Make typed KeyUpdate from derived table and key columns selector Pi.

newtype Update p

Update type with place-holder parameter p.

Constructors

Update

Fields

• untypeUpdate :: String

Instances

UntypeableNoFetch Update

Methods

untypeNoFetch :: Update p -> String

Show (Update p)

Show update SQL string

Methods

showsPrec :: Int -> Update p -> ShowS

show :: Update p -> String

showList :: [Update p] -> ShowS

unsafeTypedUpdate :: String -> Update p

Unsafely make typed Update from SQL string.

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

Make typed Update from Config, Table and UpdateTarget.

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

Make typed Update from Config, derived table and AssignStatement

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

Make typed Update from defaultConfig, derived table and AssignStatement

updateNoPH :: TableDerivable r => AssignStatement r () -> Update ()

Make typed Update from defaultConfig, derived table and AssignStatement with no(unit) placeholder.

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

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

updateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)

Make typed Update from Config, derived table and AssignStatement. Update target is all column.

updateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)

Make typed Update from defaultConfig, derived table and AssignStatement. Update target is all column.

updateAllColumnNoPH :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r () -> Update r

Make typed Update from defaultConfig, derived table and AssignStatement without placeholder other than target table columns. Update target is all column.

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

Make untyped update SQL string from Table and UpdateTarget.

Typed insert statement

data Insert a

Insert type to insert record type a.

Constructors

Insert

Fields

• untypeInsert :: String
• chunkedInsert :: Maybe (String, Int)

Instances

UntypeableNoFetch Insert

Methods

untypeNoFetch :: Insert p -> String

Show (Insert a)

Show insert SQL string.

Methods

showsPrec :: Int -> Insert a -> ShowS

show :: Insert a -> String

showList :: [Insert a] -> ShowS

untypeChunkInsert :: Insert a -> String

Statement to use chunked insert

chunkSizeOfInsert :: Insert a -> Int

Size to use chunked insert

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' :: PersistableWidth r => Config -> Table r -> Pi r r' -> Insert r'

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

insert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'

Table type inferred Insert.

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

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

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

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

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

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

insertValueNoPH :: TableDerivable r => Register r () -> Insert ()

Make typed Insert from defaultConfig, derived table and monadic builded Register object with no(unit) placeholder.

insertValueList' :: (TableDerivable r, LiteralSQL r') => Config -> Pi r r' -> [r'] -> [Insert ()]

Make typed Insert list from Config and records list.

insertValueList :: (TableDerivable r, LiteralSQL r') => Pi r r' -> [r'] -> [Insert ()]

Make typed Insert list from records list.

newtype InsertQuery p

InsertQuery type.

Constructors

InsertQuery

Fields

• untypeInsertQuery :: String

Instances

UntypeableNoFetch InsertQuery

Methods

untypeNoFetch :: InsertQuery p -> String

Show (InsertQuery p)

Show insert SQL string.

Methods

showsPrec :: Int -> InsertQuery p -> ShowS

show :: InsertQuery p -> String

showList :: [InsertQuery p] -> ShowS

unsafeTypedInsertQuery :: String -> InsertQuery p

Unsafely make typed InsertQuery from SQL string.

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

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

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

Table type inferred InsertQuery.

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

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

Typed delete statement

newtype Delete p

Delete type with place-holder parameter p.

Constructors

Delete

Fields

• untypeDelete :: String

Instances

UntypeableNoFetch Delete

Methods

untypeNoFetch :: Delete p -> String

Show (Delete p)

Show delete SQL string

Methods

showsPrec :: Int -> Delete p -> ShowS

show :: Delete p -> String

showList :: [Delete p] -> ShowS

unsafeTypedDelete :: String -> Delete p

Unsafely make typed Delete from SQL string.

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

Make typed Delete from Config, Table and Restriction.

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

Make typed Delete from Config, derived table and RestrictContext

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

Make typed Delete from defaultConfig, derived table and RestrictContext

deleteNoPH :: TableDerivable r => RestrictedStatement r () -> Delete ()

Make typed Delete from defaultConfig, derived table and RestrictContext with no(unit) placeholder.

deleteSQL :: Config -> 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.

Minimal complete definition

untypeNoFetch

Methods

untypeNoFetch :: s p -> String

Instances

UntypeableNoFetch Delete

Methods

untypeNoFetch :: Delete p -> String

UntypeableNoFetch InsertQuery

Methods

untypeNoFetch :: InsertQuery p -> String

UntypeableNoFetch Insert

Methods

untypeNoFetch :: Insert p -> String

UntypeableNoFetch Update

Methods

untypeNoFetch :: Update p -> String

Deprecated

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

Deprecated: use typedUpdate defaultConfig` instead of this.

Make typed Update using defaultConfig, Table and UpdateTarget.

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

Deprecated: use typedInsert defaultConfig` instead of this.

Make typed Insert from Table and columns selector Pi.

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

Deprecated: use typedInsertValue defaultConfig` instead of this.

Make typed Insert from Table and monadic builded InsertTarget object.

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

Deprecated: use typedInsertQuery defaultConfig` instead of this.

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

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

Deprecated: use typedDelete defaultConfig` instead of this.

Make typed Delete from Table and Restriction.

derivedKeyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r

Deprecated: use keyUpdate instead of this.

Make typed KeyUpdate from derived table and key columns selector Pi.

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

Deprecated: use update' instead of this.

Make typed Update from Config, derived table and AssignStatement

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

Deprecated: use update instead of this.

Make typed Update from defaultConfig, derived table and AssignStatement

derivedUpdateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)

Deprecated: use updateAllColumn' instead of this.

Make typed Update from Config, derived table and AssignStatement. Update target is all column.

derivedUpdateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)

Deprecated: use updateAllColumn instead of this.

Make typed Update from defaultConfig, derived table and AssignStatement. Update target is all column.

derivedInsert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'

Deprecated: use insert instead of this.

Table type inferred Insert.

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

Deprecated: use insertValue' instead of this.

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

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

Deprecated: use insertValue instead of this.

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

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

Deprecated: use insertQuery instead of this.

Table type inferred InsertQuery.

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

Deprecated: use delete' instead of this.

Make typed Delete from Config, derived table and RestrictContext

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

Deprecated: use delete instead of this.

Make typed Delete from defaultConfig, derived table and RestrictContext