Database.Record.ToSql

This module defines interfaces from Haskell type into list of SQL type.

Conversion from record type into list of SQL type

type ToSqlM q a = Writer (DList q) a

Context type to convert SQL type list.

data RecordToSql q a

Proof object type to convert from Haskell type a into list of SQL type [q].

runFromRecord

Arguments

:: RecordToSql q a

Proof object which has capability to convert

-> a

Haskell type

-> [q]

list of SQL type

Run RecordToSql proof object. Convert from Haskell type a into list of SQL type [q].

createRecordToSql

Arguments

:: (a -> [q])

Convert function body

-> RecordToSql q a

Result proof object

Axiom of RecordToSql for SQL type q and Haksell type a.

(<&>) :: RecordToSql q a -> RecordToSql q b -> RecordToSql q (a, b) infixl 4

Derivation rule of RecordToSql proof object for Haskell tuple (,) type.

Inference rules of RecordToSql conversion

class ToSql q a where

Inference rule interface for RecordToSql proof object.

Minimal complete definition

recordToSql

Methods

recordToSql :: RecordToSql q a

Infer RecordToSql proof object.

Instances

ToSql q ()

Inference rule of RecordToSql proof object which can convert from Haskell unit () type into empty list of SQL type [q].

Methods

recordToSql :: RecordToSql q ()

(PersistableType q, PersistableWidth a, ToSql q a) => ToSql q (Maybe a)

Inference rule of RecordToSql proof object which can convert from Haskell Maybe type into list of SQL type [q].

Methods

recordToSql :: RecordToSql q (Maybe a)

(ToSql q a, ToSql q b) => ToSql q (a, b)

Inference rule of RecordToSql proof object which can convert from Haskell tuple (a, b) type into list of SQL type [q].

Methods

recordToSql :: RecordToSql q (a, b)

putRecord :: ToSql q a => a -> ToSqlM q ()

Run inferred RecordToSql proof object. Context to convert haskell record type a into SQL type q list.

putEmpty :: () -> ToSqlM q ()

Run RecordToSql empty printer.

fromRecord :: ToSql q a => a -> [q]

Run inferred RecordToSql proof object. Convert from haskell type a into list of SQL type [q].

wrapToSql :: (a -> ToSqlM q ()) -> RecordToSql q a

Finalize RecordToSql record printer.

valueRecordToSql :: (a -> q) -> RecordToSql q a

Derivation rule of RecordToSql proof object for value convert function.

Make parameter list for updating with key

updateValuesByUnique'

Arguments

:: RecordToSql q ra

-> KeyConstraint Unique ra

Unique key table constraint proof object.

-> ra

-> [q]

Convert from Haskell type ra into SQL value q list expected by update form like

UPDATE table SET c0 = ?, c1 = ?, ..., cn = ? WHERE key0 = ? AND key1 = ? AND key2 = ? ...

using RecordToSql proof object.

updateValuesByUnique

Arguments

:: ToSql q ra

=> KeyConstraint Unique ra

Unique key table constraint proof object.

-> ra

-> [q]

Convert like updateValuesByUnique' using inferred RecordToSql proof object.

updateValuesByPrimary :: (HasKeyConstraint Primary ra, ToSql q ra) => ra -> [q]

Convert like updateValuesByUnique' using inferred RecordToSql and ColumnConstraint proof objects.

untypedUpdateValuesIndex

Arguments

:: [Int]

Key indexes

-> Int

Record width

-> [Int]

Indexes to update other than key

Make untyped indexes to update column from key indexes and record width. Expected by update form like

UPDATE table SET c0 = ?, c1 = ?, ..., cn = ? WHERE key0 = ? AND key1 = ? AND key2 = ? ...

unsafeUpdateValuesWithIndexes :: RecordToSql q ra -> [Int] -> ra -> [q]

Unsafely specify key indexes to convert from Haskell type ra into SQL value q list expected by update form like

UPDATE table SET c0 = ?, c1 = ?, ..., cn = ? WHERE key0 = ? AND key1 = ? AND key2 = ? ...

using RecordToSql proof object.