relational-recordの仕組みについて十分に理解していないのでスマートな方法ではないかもしれませんが、要望の処理は満たせましたので回答します。
relational-recordのdefineTable*で生成される型はテーブルのすべてのカラムを含むので、
auto incrementやdefaultが指定されているカラムの値を指定せずにINSERTしたいときは、
自分でカラムを減らした型を定義する必要があります。
生成される型と作った型の対応を表現するのにPi
が必要です。
(Projection
との違いは、Projection
がSQL型-Haskell型の対応を表すのに対してPi
はHaskell型-Haskell型の対応を表す点でないかと思います)。
元の型A
から別の型B
への対応はPi A B
と表現します。
Pi A B
はApplicativeの<$>, <*>
によく似た|$|, |*|
を使うと楽に作れます。
TestTable.hs
module TestTable where
import qualified Data.Text as T
import DataSource (defineTable)
import Database.Relational.Query hiding (id')
import Database.HDBC.Query.TH (makeRecordPersistableDefault)
-- create table test_table (
-- id integer primary key auto_increment,
-- name varchar(40) not null
-- );
$(defineTable "test_table")
data TestTable1 = TestTable1 { t1Name :: T.Text }
$(makeRecordPersistableDefault ''TestTable1)
piTestTable1 :: Pi TestTable TestTable1
piTestTable1 = TestTable1 |$| name'
-- `name'`はdefineTableで生成される
insertAutoIncrement :: Insert TestTable1
insertAutoIncrement = typedInsert tableOfTestTable piTestTable1
-- `tableOfTestTable`はdefineTableで生成される
またMySQLのauto incrementで生成された値はMySQLのC APIもしくはSQL関数で取得できます。
relational-record上でそのSQL関数を使うには以下のようにすればいいでしょう。
(C APIをrelational-recordやHDBCで使う方法は分かりませんでした)。
MySQLFunction.hs
module MySQLFunction where
import Data.Int (Int64)
import Database.Relational.Query
import Database.Relational.Query.Type (unsafeTypedQuery)
selectLastInsertId :: Query () Int64
selectLastInsertId = unsafeTypedQuery "SELECT LAST_INSERT_ID()"
以上をまとめると以下のように使えます。
Main.hs
module Main where
import Control.Monad (forM)
import DataSource (connect)
import TestTable
import MySQLFunction
import Database.HDBC (withTransaction)
import Database.HDBC.Record (runQuery, prepareInsert, runPreparedInsert)
main :: IO ()
main = do
conn <- connect
withTransaction conn $ \conn' -> do
prepared <- prepareInsert conn' insertAutoIncrement
forM ["Simon", "Robin", "Douglas"] $ \nm -> do
_ <- runPreparedInsert prepared $ TestTable1 nm
lastId <- runQuery conn' selectLastInsertId ()
print lastId
return ()
-- > [1]
-- > [2]
-- > [3]