nikita-volkov/hasql
1
1
Fork 0
mirror of https://github.com/nikita-volkov/hasql.git synced 2024-12-28 13:02:31 +03:00
Code Issues Projects Releases Wiki Activity

Tx tests

Browse Source
This commit is contained in:
Nikita Volkov 2014-12-27 20:34:57 +03:00
parent 9572af05ad
commit 2fda4e788a
1 changed files with 69 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
hspec-postgres/Main.hs
View File

@ -12,6 +12,75 @@ import qualified SlaveThread
main =
hspec $ do
context "Tx" $ do
it "commits after a handled failure" $ do
flip shouldBe (Right (Just (Identity (234 :: Int)))) =<< do
session $ do
H.tx Nothing $ do
H.unitTx $ [H.stmt|DROP TABLE IF EXISTS a|]
H.unitTx $ [H.stmt|CREATE TABLE a (x INT8 NOT NULL, PRIMARY KEY (x))|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.tx (Just (H.Serializable, Just True)) $ do
flip catchError (const $ return ()) $
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (234)|]
H.tx Nothing $ do
H.maybeTx $ [H.stmt|SELECT x FROM a WHERE x = 234|]
it "catches a failure in the end of the transaction" $ do
flip shouldBe (Right (Just (Identity (234 :: Int)))) =<< do
session $ do
H.tx Nothing $ do
H.unitTx $ [H.stmt|DROP TABLE IF EXISTS a|]
H.unitTx $ [H.stmt|CREATE TABLE a (x INT8 NOT NULL, PRIMARY KEY (x))|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.tx (Just (H.Serializable, Just True)) $ do
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (234)|]
flip catchError (const $ return ()) $
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.tx Nothing $ do
H.maybeTx $ [H.stmt|SELECT x FROM a WHERE x = 234|]
it "does not commit after an unhandled failure" $ do
flip shouldBe (Right (Nothing :: Maybe (Identity Int))) =<< do
session $ do
H.tx Nothing $ do
H.unitTx $ [H.stmt|DROP TABLE IF EXISTS a|]
H.unitTx $ [H.stmt|CREATE TABLE a (x INT8 NOT NULL, PRIMARY KEY (x))|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
flip catchError (const $ return ()) $
H.tx (Just (H.Serializable, Just True)) $ do
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (234)|]
H.tx Nothing $ do
H.maybeTx $ [H.stmt|SELECT x FROM a WHERE x = 234|]
it "does not commit before an unhandled failure" $ do
flip shouldBe (Right (Nothing :: Maybe (Identity Int))) =<< do
session $ do
H.tx Nothing $ do
H.unitTx $ [H.stmt|DROP TABLE IF EXISTS a|]
H.unitTx $ [H.stmt|CREATE TABLE a (x INT8 NOT NULL, PRIMARY KEY (x))|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
flip catchError (const $ return ()) $
H.tx (Just (H.Serializable, Just True)) $ do
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (234)|]
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.tx Nothing $ do
H.maybeTx $ [H.stmt|SELECT x FROM a WHERE x = 234|]
it "does not commit if in uncommitting mode" $ do
flip shouldBe (Right (Nothing :: Maybe (Identity Int))) =<< do
session $ do
H.tx Nothing $ do
H.unitTx $ [H.stmt|DROP TABLE IF EXISTS a|]
H.unitTx $ [H.stmt|CREATE TABLE a (x INT8 NOT NULL, PRIMARY KEY (x))|]
H.tx (Just (H.Serializable, Just False)) $ do
H.unitTx $ [H.stmt|INSERT INTO a (x) VALUES (2)|]
H.tx Nothing $ do
H.maybeTx $ [H.stmt|SELECT x FROM a WHERE x = 2|]
context "UTF-8 templates" $ do
it "encode properly" $ do