@@ -145,13 +145,13 @@ instance ToParam x pg => ToColumnParam (Maybe x) ('Null pg) where
145class SListI tys => ToParams (x :: Type) (tys :: [NullityType]) where
145class SListI tys => ToParams (x :: Type) (tys :: [NullityType]) where
146 -- | >>> type Params = '[ 'NotNull 'PGbool, 'Null 'PGint2]
146 -- | >>> type Params = '[ 'NotNull 'PGbool, 'Null 'PGint2]
147 -- >>> toParams @(Bool, Maybe Int16) @'[ 'NotNull 'PGbool, 'Null 'PGint2] (False, Just 0)
147 -- >>> toParams @(Bool, Maybe Int16) @'[ 'NotNull 'PGbool, 'Null 'PGint2] (False, Just 0)
148− -- K (Just "\NUL") :* (K (Just "\NUL\NUL") :* Nil)
148+ -- K (Just "\NUL") :* K (Just "\NUL\NUL") :* Nil
150 -- >>> :set -XDeriveGeneric
150 -- >>> :set -XDeriveGeneric
151 -- >>> data Tuple = Tuple { p1 :: Bool, p2 :: Maybe Int16} deriving GHC.Generic
151 -- >>> data Tuple = Tuple { p1 :: Bool, p2 :: Maybe Int16} deriving GHC.Generic
152 -- >>> instance Generic Tuple
152 -- >>> instance Generic Tuple
153 -- >>> toParams @Tuple @Params (Tuple False (Just 0))
153 -- >>> toParams @Tuple @Params (Tuple False (Just 0))
154− -- K (Just "\NUL") :* (K (Just "\NUL\NUL") :* Nil)
154+ -- K (Just "\NUL") :* K (Just "\NUL\NUL") :* Nil
155 toParams :: x -> NP (K (Maybe Strict.ByteString)) tys
155 toParams :: x -> NP (K (Maybe Strict.ByteString)) tys
156instance (SListI tys, IsProductType x xs, AllZip ToColumnParam xs tys)
156instance (SListI tys, IsProductType x xs, AllZip ToColumnParam xs tys)
157 => ToParams x tys where
157 => ToParams x tys where