khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2025-01-07 13:46:41 +03:00
Code Issues Projects Releases Wiki Activity

rr-quickcheck: apply deprecations.

Browse Source
This commit is contained in:
Kei Hibino 2018-07-02 15:54:16 +09:00
parent 62b51368c2
commit efe9b6e0fa
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
rr-quickcheck/src/Test/Relational/QuickCheck/Tests.hs
View File

@ -15,7 +15,7 @@ import Data.List (sort)
import Data.Functor.ProductIsomorphic ((|$|), (|*|))
import Database.HDBC (IConnection, rollback, SqlValue)
import Database.HDBC.Session (withConnectionIO')
import Database.HDBC.Session (withConnectionIO)
import Database.Record (FromSql, ToSql)
import Database.Relational
import Database.HDBC.Record (runQuery', runInsert)
@ -29,7 +29,7 @@ initializeTable :: (IConnection conn, TableDerivable a, ToSql SqlValue a)
=> conn
-> [a]
-> IO ()
initializeTable conn xs = mapM_ (runInsert conn $ derivedInsert id') xs
initializeTable conn xs = mapM_ (runInsert conn $ insert id') xs
propQueryResult :: (Eq a, Show a, FromSql SqlValue a, IConnection conn)
=> IO conn
@ -38,7 +38,7 @@ propQueryResult :: (Eq a, Show a, FromSql SqlValue a, IConnection conn)
-> [a]
-> Property
propQueryResult connect initialize select expect =
morallyDubiousIOProperty . withConnectionIO' connect $ \conn -> do
morallyDubiousIOProperty . withConnectionIO connect $ \conn -> do
initialize conn
qresult <- runQuery' conn select ()
let judge = qresult == expect