@@ -49,7 +49,7 @@ type family RowPG (hask :: Type) :: RowType
4949
5050Let's look at these one by one.
5151
52−`PG` was introduced in Squeal 0.3. It's a closed type family that
52+`PG` was introduced in Squeal 0.3. It was a closed type family that
5353associates some Haskell types to their obvious corresponding Postgres
5454types like `PG Double = 'PGfloat8`. It only worked on base types,
5555no arrays or composites. Squeal 0.4 extends it to
@@ -73,8 +73,11 @@ into lists of `NullityType`s in the logical way, e.g.
7373
7474```Haskell
7575>>> data Person = Person { name :: Text, age :: Int32 } deriving GHC.Generic
76−>>> instance Generic Person
77−>>> instance HasDatatypeInfo Person
76+>>> instance SOP.Generic Person
77+>>> instance SOP.HasDatatypeInfo Person
78+>>> :kind! TuplePG Person
79+TuplePG Person :: [NullityType]
80+= '['NotNull 'PGtext, 'NotNull 'PGint4]
7881>>> :kind! RowPG Person
7982RowPG Person :: [(Symbol, NullityType)]
8083= '["name" ::: 'NotNull 'PGtext, "age" ::: 'NotNull 'PGint4]
@@ -91,9 +94,6 @@ boilerplate signature you can reuse these with the help of `TuplePG` and `RowPG`
9194For instance:
9295
9396```Haskell
94−>>> data Person = Person { name :: Text, age :: Int32 } deriving GHC.Generic
95−>>> instance SOP.Generic Person
96−>>> instance SOP.HasDatatypeInfo Person
9797>>> :{
9898let
9999 query :: Query '["user" ::: 'View (RowPG Person)] (TuplePG (Only Int32)) (RowPG Person)