@@ -681,50 +681,50 @@ instance
681 = fmap fromRecord
681 = fmap fromRecord
682 . hsequence'
682 . hsequence'
683 . htrans (Proxy @FromField) fromField
683 . htrans (Proxy @FromField) fromField
684−instance (FromField (col ::: pg) (col ::: hask))
684+-- instance (FromField (col ::: pg) (col ::: hask))
685− => FromRow '[col ::: pg] (P (col ::: hask)) where
685+-- => FromRow '[col ::: pg] (P (col ::: hask)) where
686− fromRow (pg :* Nil) = (unComp . fromField) pg
686+-- fromRow (pg :* Nil) = (unComp . fromField) pg
687−instance
687+-- instance
688− ( row ~ Join row1 row2
688+-- ( row ~ Join row1 row2
689− , FromRow row1 hask1
689+-- , FromRow row1 hask1
690− , FromRow row2 hask2
690+-- , FromRow row2 hask2
691− , SListI row
691+-- , SListI row
692− ) => FromRow row (hask1, hask2) where
692+-- ) => FromRow row (hask1, hask2) where
693− fromRow row = case disjoin @row1 @row2 row of
693+-- fromRow row = case disjoin @row1 @row2 row of
694− (row1, row2) -> (,) <$> fromRow row1 <*> fromRow row2
694+-- (row1, row2) -> (,) <$> fromRow row1 <*> fromRow row2
695−instance
695+-- instance
696− ( row ~ Join row1 row23
696+-- ( row ~ Join row1 row23
697− , FromRow row1 hask1
697+-- , FromRow row1 hask1
698− , FromRow row23 (hask2, hask3)
698+-- , FromRow row23 (hask2, hask3)
699− , SListI row
699+-- , SListI row
700− ) => FromRow row (hask1, hask2, hask3) where
700+-- ) => FromRow row (hask1, hask2, hask3) where
701− fromRow row = case disjoin @row1 @row23 row of
701+-- fromRow row = case disjoin @row1 @row23 row of
702− (row1, row23) -> do
702+-- (row1, row23) -> do
703− hask1 <- fromRow row1
703+-- hask1 <- fromRow row1
704− (hask2, hask3) <- fromRow row23
704+-- (hask2, hask3) <- fromRow row23
705− return (hask1, hask2, hask3)
705+-- return (hask1, hask2, hask3)
706−instance
706+-- instance
707− ( row ~ Join row1 row234
707+-- ( row ~ Join row1 row234
708− , FromRow row1 hask1
708+-- , FromRow row1 hask1
709− , FromRow row234 (hask2, hask3, hask4)
709+-- , FromRow row234 (hask2, hask3, hask4)
710− , SListI row
710+-- , SListI row
711− ) => FromRow row (hask1, hask2, hask3, hask4) where
711+-- ) => FromRow row (hask1, hask2, hask3, hask4) where
712− fromRow row = case disjoin @row1 @row234 row of
712+-- fromRow row = case disjoin @row1 @row234 row of
713− (row1, row234) -> do
713+-- (row1, row234) -> do
714− hask1 <- fromRow row1
714+-- hask1 <- fromRow row1
715− (hask2, hask3, hask4) <- fromRow row234
715+-- (hask2, hask3, hask4) <- fromRow row234
716− return (hask1, hask2, hask3, hask4)
716+-- return (hask1, hask2, hask3, hask4)
717−instance
717+-- instance
718− ( row ~ Join row1 row2345
718+-- ( row ~ Join row1 row2345
719− , FromRow row1 hask1
719+-- , FromRow row1 hask1
720− , FromRow row2345 (hask2, hask3, hask4, hask5)
720+-- , FromRow row2345 (hask2, hask3, hask4, hask5)
721− , SListI row
721+-- , SListI row
722− ) => FromRow row (hask1, hask2, hask3, hask4, hask5) where
722+-- ) => FromRow row (hask1, hask2, hask3, hask4, hask5) where
723− fromRow row = case disjoin @row1 @row2345 row of
723+-- fromRow row = case disjoin @row1 @row2345 row of
724− (row1, row2345) -> do
724+-- (row1, row2345) -> do
725− hask1 <- fromRow row1
725+-- hask1 <- fromRow row1
726− (hask2, hask3, hask4, hask5) <- fromRow row2345
726+-- (hask2, hask3, hask4, hask5) <- fromRow row2345
727− return (hask1, hask2, hask3, hask4, hask5)
727+-- return (hask1, hask2, hask3, hask4, hask5)
729-- | `Only` is a 1-tuple type, useful for encoding a single parameter with
729-- | `Only` is a 1-tuple type, useful for encoding a single parameter with
730-- `toParams` or decoding a single value with `fromRow`.
730-- `toParams` or decoding a single value with `fromRow`.