@@ -237,10 +237,8 @@ getValue (RowNumber r) (ColumnNumber c :: ColumnNumber pgs pg) =
239 :: (AllZip HasDecoding pgs xs, MonadBase IO io)
239 :: (AllZip HasDecoding pgs xs, MonadBase IO io)
242− -> Value pgs (ExceptT Text (MaybeT io)) (NP I xs)
240+ => RowNumber -> Value pgs (ExceptT Text (MaybeT io)) (NP I xs)
243−getRow (RowNumber r) (_ :: proxy pgs) = Value $ \ (Result result) -> do
241+getRow (RowNumber r) = Value $ \ (Result result :: Result pgs) -> do
244 maybeBytestrings <- traverse (liftBase . LibPQ.getvalue result r)
242 maybeBytestrings <- traverse (liftBase . LibPQ.getvalue result r)
245 [1 .. fromIntegral (lengthSList (Proxy :: Proxy pgs))]
243 [1 .. fromIntegral (lengthSList (Proxy :: Proxy pgs))]
246 case fromList (catMaybes maybeBytestrings) of
244 case fromList (catMaybes maybeBytestrings) of