From 3aa85b104a8b46d11b71e1b35be028790813554d Mon Sep 17 00:00:00 2001 From: Kei Hibino Date: Mon, 18 Jun 2018 01:50:23 +0900 Subject: [PATCH] relational-record: introduce derived* API first. --- .../src/Database/Relational/Documentation.hs | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/relational-record/src/Database/Relational/Documentation.hs b/relational-record/src/Database/Relational/Documentation.hs index 65c6e7f5..98448667 100644 --- a/relational-record/src/Database/Relational/Documentation.hs +++ b/relational-record/src/Database/Relational/Documentation.hs @@ -398,18 +398,21 @@ into flat SQL statements to be used by database operation. 'relationalQuery' function converts 'Relation' type info flat SQL query like SELECT statement. -'typedInsert' function converts 'Pi' key type info flat SQL INSERT statement. +'derivedInsert' function converts 'Pi' key type info flat SQL INSERT statement. -'typedInsertQuery' function converts 'Pi' key type and 'Relation' type info flat SQL INSERT ... SELECT ... statement. +'derivedInsertValue' function converts 'InsertTarget' into flat SQL INSERT statement. -'typedUpdate' function converts 'UpdateTarget' type into flat SQL UPDATE statement. +'derivedInsertQuery' function converts 'Pi' key type and 'Relation' type info flat SQL INSERT ... SELECT ... statement. -'typedDelete' function converts 'Restriction' into flat SQL DELETE statement. +'derivedUpdate' function converts 'UpdateTarget' type into flat SQL UPDATE statement. -'typedKeyUpdate' function converts 'Pi' key type info flat SQL UPDATE statement. +'derivedDelete' function converts 'Restriction' into flat SQL DELETE statement. -Some handy table type inferred functions are provided, -'derivedInsert', 'derivedInsertQuery', 'derivedUpdate' and 'derivedDelete'. +'derivedKeyUpdate' function converts 'Pi' key type info flat SQL UPDATE statement. + +Some functions which requires to be specified table type, +'typedInsert', 'typedInsertQuery', 'typedUpdate' and 'typedDelete'. +These functions are useful when table type is undecidable from its statement contexts. -}