@@ -15,7 +15,6 @@
16module Rel8.Table.Serialize
16module Rel8.Table.Serialize
17 ( Serializable, lit, parse
17 ( Serializable, lit, parse
19 , ToExprs(..)
18 , ToExprs(..)
20 , FromExprs
19 , FromExprs
@@ -292,53 +291,6 @@ parse :: forall exprs a. Serializable exprs a => Hasql.Row a
292parse = fromResult @exprs <$> parseHTable
291parse = fromResult @exprs <$> parseHTable
295−type Encodes :: Type -> Type -> Constraint
296−class Serializable exprs a => Encodes a exprs | a -> exprs, exprs -> a
299−instance KnownSpec spec => Encodes (Col Result spec) (Col Expr spec)
302−instance Serializable (t Result) (t Expr) => Encodes (t Expr) (t Result)
305−instance HTable t => Encodes (t (Col Result)) (t (Col Expr))
308−instance (Encodes a x, Encodes b y) => Encodes (Either a b) (EitherTable x y)
311−instance Encodes a x => Encodes [a] (ListTable x)
314−instance Encodes a x => Encodes (Maybe a) (MaybeTable x)
317−instance Encodes a x => Encodes (NonEmpty a) (NonEmptyTable x)
320−instance (Encodes a x, Encodes b y) => Encodes (These a b) (TheseTable x y)
323−instance (Encodes a x, Encodes b y) => Encodes (a, b) (x, y)
326−instance (Encodes a x, Encodes b y, Encodes c z) =>
327− Encodes (a, b, c) (x, y, z)
330−instance (Encodes a w, Encodes b x, Encodes c y, Encodes d z) =>
331− Encodes (a, b, c, d) (w, x, y, z)
334−instance (Encodes a v, Encodes b w, Encodes c x, Encodes d y, Encodes e z) =>
335− Encodes (a, b, c, d, e) (v, w, x, y, z)
338−litTable :: Encodes a exprs => a -> exprs
342litHTable :: HTable t => t (Col Result) -> t (Col Expr)
294litHTable :: HTable t => t (Col Result) -> t (Col Expr)
343litHTable as = htabulate $ \field ->
295litHTable as = htabulate $ \field ->
344 case hfield hspecs field of
296 case hfield hspecs field of