on dev help sign in
tests
e20acfbEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/PG.hs+8
@@ -366,6 +366,10 @@ type instance PG (Enumerated hask) = 'PGenum (LabelsPG hask)
366
366
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`.
369+
370+>>> :kind! PG (VarArray (Vector Double))
371+PG (VarArray (Vector Double)) :: PGType
372+= 'PGvararray ('NotNull 'PGfloat8)
369-}
373-}
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)
374
378
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`.
381+
382+>>> :kind! PG (FixArray ((Double, Double), (Double, Double)))
383+PG (FixArray ((Double, Double), (Double, Double))) :: PGType
384+= 'PGfixarray '[2, 2] ('NotNull 'PGfloat8)
377-}
385-}
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)