Database.Relational.Query.Derives

Contents

Description

This module defines typed SQLs derived from type informations.

Synopsis

Query derivation

Arguments

:: PersistableWidth p
=> Pi a p	Unique key proof object which record type is `a` and key type is `p`.
-> Relation () a	`Relation` to add restriction.
-> Relation p a	Result restricted `Relation`

Query restricted with specified key.

Arguments

:: PersistableWidth p
=> Key Unique a p	Unique key proof object which record type is `a` and key type is `p`.
-> Relation () a	`Relation` to add restriction.
-> Relation p a	Result restricted `Relation`

Query restricted with specified unique key.

Arguments

:: PersistableWidth p
=> Key Primary a p	Primary key proof object which record type is `a` and key type is `p`.
-> Relation () a	`Relation` to add restriction.
-> Relation p a	Result restricted `Relation`

Query restricted with specified primary key.

Arguments

:: HasConstraintKey Primary a p
=> Relation () a	`Relation` to add restriction.
-> Relation p a	Result restricted `Relation`

Query restricted with inferred primary key.

Update derivation

Arguments

:: Table r	`Table` to update
-> Key c r p	Key with constraint `c`, record type `r` and columns type `p`
-> KeyUpdate p r	Result typed `Update`

Typed KeyUpdate using specified constraint key.

Arguments

:: HasConstraintKey Primary r p
=> Table r	`Table` to update
-> KeyUpdate p r	Result typed `Update`

Typed KeyUpdate using inferred primary key.

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

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

using derived RecordToSql proof object.

Arguments

:: TableDerivable r
=> Key Unique r k	Unique key proof object which record type is `a` and key type is `p`.
-> Projection c k	Unique key value to specify.
-> UniqueRelation () c r	Result restricted `Relation`

UniqueRelation inferred from table.