circuithub/rel8
1
1
Fork 0
mirror of https://github.com/circuithub/rel8.git synced 2024-09-11 16:05:41 +03:00
Code Issues Projects Releases Wiki Activity

Test selecting nested pairs

Browse Source
This commit is contained in:
Ollie Charles 2021-02-28 15:29:18 +00:00
parent fde7186123
commit 37107fda14
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tests/Main.hs
View File

@ -78,6 +78,7 @@ tests =
, testLogicalFixities getTestDatabase
, testUpdate getTestDatabase
, testDelete getTestDatabase
, testSelectNestedPairs getTestDatabase
]
where
@ -647,3 +648,18 @@ testDelete = databasePropertyTest "Can DELETE TestTable" \transaction -> do
data HKNestedPair f = HKNestedPair { pairOne :: (TestTable f, TestTable f) }
deriving (Generic, Rel8.HigherKindedTable)
deriving instance Eq (HKNestedPair Rel8.Identity)
deriving instance Ord (HKNestedPair Rel8.Identity)
deriving instance Show (HKNestedPair Rel8.Identity)
testSelectNestedPairs :: IO TmpPostgres.DB -> TestTree
testSelectNestedPairs = databasePropertyTest "Can SELECT nested pairs" \transaction -> do
rows <- forAll $ Gen.list (Range.linear 0 10) $ HKNestedPair <$> liftA2 (,) genTestTable genTestTable
transaction \connection -> do
selected <- Rel8.select connection do
Rel8.values $ map Rel8.lit rows
sort selected === sort rows