@@ -366,6 +366,10 @@ type instance PG (Enumerated hask) = 'PGenum (LabelsPG hask)
367{- | The `VarArray` newtype is an indication that the Haskell
367{- | The `VarArray` newtype is an indication that the Haskell
368type it's applied to should be stored as a `PGvararray`.
368type it's applied to should be stored as a `PGvararray`.
370+>>> :kind! PG (VarArray (Vector Double))
371+PG (VarArray (Vector Double)) :: PGType
372+= 'PGvararray ('NotNull 'PGfloat8)
370newtype VarArray arr = VarArray {getVarArray :: arr}
374newtype VarArray arr = VarArray {getVarArray :: arr}
371 deriving (Eq, Ord, Show, Read, GHC.Generic)
375 deriving (Eq, Ord, Show, Read, GHC.Generic)
@@ -374,6 +378,10 @@ type instance PG (VarArray (Vector hask)) = 'PGvararray (NullPG hask)
375{- | The `FixArray` newtype is an indication that the Haskell
379{- | The `FixArray` newtype is an indication that the Haskell
376type it's applied to should be stored as a `PGfixarray`.
380type it's applied to should be stored as a `PGfixarray`.
382+>>> :kind! PG (FixArray ((Double, Double), (Double, Double)))
383+PG (FixArray ((Double, Double), (Double, Double))) :: PGType
384+= 'PGfixarray '[2, 2] ('NotNull 'PGfloat8)
378newtype FixArray arr = FixArray {getFixArray :: arr}
386newtype FixArray arr = FixArray {getFixArray :: arr}
379 deriving (Eq, Ord, Show, Read, GHC.Generic)
387 deriving (Eq, Ord, Show, Read, GHC.Generic)