on dev help sign in
tests
commite20acfbf41ec4763ac67230d9500538c90f7bf65 authorEitan Chatav <eitan@Eitans-MacBook-Pro.local> dateFri 12 Apr 2019, 16:50 (8 years ago) parentd7a0d1a
1 file changed+8
squeal-postgresql/src/Squeal/PostgreSQL/PG.hs+8
squeal-postgresql/src/Squeal/PostgreSQL/PG.hs+8
@@ -366,6 +366,10 @@ type instance PG (Enumerated hask) = 'PGenum (LabelsPG hask)
366366
367367{- | The `VarArray` newtype is an indication that the Haskell
368368type it's applied to should be stored as a `PGvararray`.
369+
370+>>> :kind! PG (VarArray (Vector Double))
371+PG (VarArray (Vector Double)) :: PGType
372+= 'PGvararray ('NotNull 'PGfloat8)
369373-}
370374newtype VarArray arr = VarArray {getVarArray :: arr}
371375 deriving (Eq, Ord, Show, Read, GHC.Generic)
@@ -374,6 +378,10 @@ type instance PG (VarArray (Vector hask)) = 'PGvararray (NullPG hask)
374378
375379{- | The `FixArray` newtype is an indication that the Haskell
376380type it's applied to should be stored as a `PGfixarray`.
381+
382+>>> :kind! PG (FixArray ((Double, Double), (Double, Double)))
383+PG (FixArray ((Double, Double), (Double, Double))) :: PGType
384+= 'PGfixarray '[2, 2] ('NotNull 'PGfloat8)
377385-}
378386newtype FixArray arr = FixArray {getFixArray :: arr}
379387 deriving (Eq, Ord, Show, Read, GHC.Generic)