@@ -54,6 +54,21 @@ data VRow = VRow
55>>> instance Generic VRow
55>>> instance Generic VRow
56>>> instance HasDatatypeInfo VRow
56>>> instance HasDatatypeInfo VRow
57+>>> :kind! TuplePG VRow
58+TuplePG VRow :: [NullityType]
59+= '['NotNull ('PGvararray ('NotNull 'PGint2)),
60+ 'NotNull ('PGfixarray 2 ('Null 'PGint2)),
62+ ('PGfixarray 3 ('NotNull ('PGfixarray 2 ('NotNull 'PGint2))))]
65+RowPG VRow :: [(Symbol, NullityType)]
66+= '["v1" ::: 'NotNull ('PGvararray ('NotNull 'PGint2)),
67+ "v2" ::: 'NotNull ('PGfixarray 2 ('Null 'PGint2)),
70+ ('PGfixarray 3 ('NotNull ('PGfixarray 2 ('NotNull 'PGint2))))]
57>>> :set -XOverloadedLists
72>>> :set -XOverloadedLists
58>>> let vparams = VRow [1,2] (Just 1,Nothing) ((1,2), (3,4), (5,6))
73>>> let vparams = VRow [1,2] (Just 1,Nothing) ((1,2), (3,4), (5,6))