1. Persistent の使い方
∼ Yesod で使っている Persistent を単体で使う話 ∼
rf

2. 自己紹介
rf
@rf0444
最近ホットな言語
Haskell
今読んでいる本
「Learn You a Haskell for Great Good!」 (10章)

3. Persistent
Yesod を入れると一緒に入ってくるやつ
DB 部分をやってくれる
型安全

4. Persistent
使えるDB
SQLite
MongoDB
PostgreSQL
MySQL (experimental)

5. インストール
共通
cabal install persistent-template
SQLite
cabal install persistent-sqlite
MongoDB
cabal install persistent-mongoDB

6. インストール
共通
cabal install persistent-template
PostgreSQL
cabal install persistent-postgresql
MySQL
cabal install persistent-mysql

7. つないでみる

8. つないでみる
SQLite
{-# LANGUAGE OverloadedStrings #-}
import Database.Persist.Sqlite
main = withSqliteConn path $ runSqlConn $ do
return ()
where
path = "hogesql.sqlite3"

9. つないでみる
MongoDB
{-# LANGUAGE OverloadedStrings #-}
import Database.Persist.MongoDB
main = withMongoDBConn dbname hostname $ runMongoDBConn master $ do
return ()
where
hostname = "localhost"
dbname = "test"

10. つないでみる
PostgreSQL
{-# LANGUAGE OverloadedStrings #-}
import Database.Persist.Postgresql
main = withPostgresqlConn conf $ runSqlConn $ do
return ()
where
conf = "host=localhost port=5432 user=hoge dbname=hoge password=hoge"

11. つないでみる
MySQL
import Database.Persist.MySQL
main = withMySQLConn conf $ runSqlConn $ do
return ()
where
conf = defaultConnectInfo {
connectHost = "localhost" -- default
connectPort = 3306 -- default
connectUser = "hoge" -- default : “root”
connectPassword = "hoge" -- default : no password
connectDatabase = "hoge" -- default : “test”
}

12. Model の定義
Yesod の Model を使いたい
import 部分に Yesod に依存する部分があるので、
そこだけ切り離す
言語拡張をコード側へ

13. Model の定義
Yesod の Model.hs (SQLite)
model Model where
import Prelude
import Yesod
import Data.Text (Text)
import Database.Persist.Quasi
share [mkPersist sqlSettings, mkMigrate "migrateAll"]
$(persistFileWith lowerCaseSettings "config/models")

14. Model の定義
Model.hs (SQLite)
{-# LANGUAGE TypeFamilies, TemplateHaskell, FlexibleContexts, GADTs #-}
model Model where
import Data.Text (Text)
import Database.Persist.Quasi
import Database.Persist.Sqlite
import Database.Persist.TH
share [mkPersist sqlSettings, mkMigrate "migrateAll"]
$(persistFileWith lowerCaseSettings "config/models")

15. Model の定義
Yesod の Model.hs (MongoDB)
model Model where
import Prelude
import Yesod
import Data.Text (Text)
import Database.Persist.Quasi
import Database.Persist.MongoDB
import Language.Haskell.TH.Syntax
share [mkPersist MkPersistSettings { mpsBackend = ConT ''Action }, mkMigrate "migrateAll"]
$(persistFileWith lowerCaseSettings "config/models")

16. Model の定義
Model.hs (MongoDB)
{-# LANGUAGE TypeFamilies, TemplateHaskell, FlexibleContexts, GADTs #-}
model Model where
import Data.Text (Text)
import Database.Persist.Quasi
import Database.Persist.MongoDB
import Database.Persist.TH
import Language.Haskell.TH.Syntax
share [mkPersist MkPersistSettings { mpsBackend = ConT ''Action }, mkMigrate "migrateAll"]
$(persistFileWith lowerCaseSettings "config/models")

17. Model の定義
config/model
User
email Text
password Text Maybe
UniqueUser email

18. マイグレーション
実行時に、テーブルがなかったら作ったりしてくれる
やつ
RDB 系で使える
MongoDB も unique index とかやってくれればいい
のに・・・

19. マイグレーション
SQLite
{-# LANGUAGE OverloadedStrings #-}
import Database.Persist.Sqlite
import Model
main = withSqliteConn path $ runSqlConn $ do
runMigration migrateAll
return ()
where
path = "hogesql.sqlite3"

20. マイグレーション
SQLite
$ ls -F
Model.hs config/ main.hs

21. マイグレーション
SQLite
$ ls -F
Model.hs config/ main.hs
$ runhaskell main.hs

22. マイグレーション
SQLite
$ ls -F
Model.hs config/ main.hs
$ runhaskell main.hs
Migrating: CREATE TABLE "user"("id" INTEGER PRIMARY KEY,"email"
VARCHAR NOT NULL,"password" VARCHAR NULL,CONSTRAINT
"unique_user" UNIQUE ("email"))

23. マイグレーション
SQLite
$ ls -F
Model.hs config/ main.hs
$ runhaskell main.hs
Migrating: CREATE TABLE "user"("id" INTEGER PRIMARY KEY,"email"
VARCHAR NOT NULL,"password" VARCHAR NULL,CONSTRAINT
"unique_user" UNIQUE ("email"))
$ ls -F
Model.hs config/ hogesql.sqlite3 main.hs

24. マイグレーション
SQLite
$ ls -F
Model.hs config/ main.hs
$ runhaskell main.hs
Migrating: CREATE TABLE "user"("id" INTEGER PRIMARY KEY,"email"
VARCHAR NOT NULL,"password" VARCHAR NULL,CONSTRAINT
"unique_user" UNIQUE ("email"))
$ ls -F
Model.hs config/ hogesql.sqlite3 main.hs
$ sqlite3 hogesql.sqlite3 .table
user

25. あとは
{-# LANGUAGE OverloadedStrings #-}
import Database.Persist.Sqlite
import Model
main = withSqliteConn path $ runSqlConn $ do
runMigration migrateAll
insert $ User {
userEmail = "hoge@hoge.jp",
userPassword = Just "hoge"
}
return ()
where
path = "hogesql.sqlite3"

26. あとは
$ runhaskell main.hs
$ sqlite3 hogesql.sqlite3 "select * from user"
1|hoge@hoge.jp|hoge