Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Generic.Table.Record

Documentation

class GTable (_Table :: Type -> Exp Constraint) (_Columns :: Type -> Exp HTable) (rep :: Type -> Type) Source #

Minimal complete definition

gfromColumns, gtoColumns, gtable

Instances

Instances details

(GTable _Table _Columns rep1, GTable _Table _Columns rep2) => GTable _Table _Columns (rep1 :*: rep2) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => Eval (_Columns a) context -> a) -> GColumns _Columns (rep1 :: rep2) context -> (rep1 :: rep2) x Source # gtoColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => a -> Eval (_Columns a) context) -> (rep1 :: rep2) x -> GColumns _Columns (rep1 :: rep2) context Source # gtable :: forall (context :: Context). (forall a (proxy :: Type -> Type). Eval (_Table a) => proxy a -> Eval (_Columns a) context) -> GColumns _Columns (rep1 :*: rep2) context Source #
GTable _Table _Columns rep => GTable _Table _Columns (M1 C c rep) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => Eval (_Columns a) context -> a) -> GColumns _Columns (M1 C c rep) context -> M1 C c rep x Source # gtoColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => a -> Eval (_Columns a) context) -> M1 C c rep x -> GColumns _Columns (M1 C c rep) context Source # gtable :: forall (context :: Context). (forall a (proxy :: Type -> Type). Eval (_Table a) => proxy a -> Eval (_Columns a) context) -> GColumns _Columns (M1 C c rep) context Source #
GTable _Table _Columns rep => GTable _Table _Columns (M1 D c rep) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => Eval (_Columns a) context -> a) -> GColumns _Columns (M1 D c rep) context -> M1 D c rep x Source # gtoColumns :: forall (context :: Context) x. (forall a. Eval (_Table a) => a -> Eval (_Columns a) context) -> M1 D c rep x -> GColumns _Columns (M1 D c rep) context Source # gtable :: forall (context :: Context). (forall a (proxy :: Type -> Type). Eval (_Table a) => proxy a -> Eval (_Columns a) context) -> GColumns _Columns (M1 D c rep) context Source #
(Eval (_Table a), meta ~ 'MetaSel ('Just label) _su _ss _ds, k1 ~ (K1 i a :: Type -> Type)) => GTable _Table _Columns (M1 S meta k1) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromColumns :: forall (context :: Context) x. (forall a0. Eval (_Table a0) => Eval (_Columns a0) context -> a0) -> GColumns _Columns (M1 S meta k1) context -> M1 S meta k1 x Source # gtoColumns :: forall (context :: Context) x. (forall a0. Eval (_Table a0) => a0 -> Eval (_Columns a0) context) -> M1 S meta k1 x -> GColumns _Columns (M1 S meta k1) context Source # gtable :: forall (context :: Context). (forall a0 (proxy :: Type -> Type). Eval (_Table a0) => proxy a0 -> Eval (_Columns a0) context) -> GColumns _Columns (M1 S meta k1) context Source #

type family GColumns (_Columns :: Type -> Exp HTable) (rep :: Type -> Type) :: Context -> Type where ... Source #

Equations

GColumns _Columns (M1 D _1 rep) = GColumns _Columns rep
GColumns _Columns (M1 C _1 rep) = GColumns _Columns rep
GColumns _Columns (rep1 :*: rep2) = HProduct (GColumns _Columns rep1) (GColumns _Columns rep2)
GColumns _Columns (M1 S ('MetaSel ('Just label) _1 _2 _3) (K1 _4 a :: Type -> Type)) = HLabel label (Eval (_Columns a))

type family GContext (_Context :: Type -> Exp Context) (rep :: Type -> Type) :: Type -> Type where ... Source #

Equations

GContext _Context (M1 _1 _2 rep) = GContext _Context rep
GContext _Context (rep1 :*: _rep2) = GContext _Context rep1
GContext _Context (K1 _1 a :: Type -> Type) = Eval (_Context a)

gfromColumns :: forall (context :: Context) x. GTable _Table _Columns rep => (forall a. Eval (_Table a) => Eval (_Columns a) context -> a) -> GColumns _Columns rep context -> rep x Source #

gtoColumns :: forall (context :: Context) x. GTable _Table _Columns rep => (forall a. Eval (_Table a) => a -> Eval (_Columns a) context) -> rep x -> GColumns _Columns rep context Source #

gtable :: forall (context :: Context). GTable _Table _Columns rep => (forall a (proxy :: Type -> Type). Eval (_Table a) => proxy a -> Eval (_Columns a) context) -> GColumns _Columns rep context Source #

class GSerialize (_Serialize :: Type -> Type -> Exp Constraint) (_Columns :: Type -> Exp HTable) (exprs :: Type -> Type) (rep :: Type -> Type) Source #

Minimal complete definition

gfromResult, gtoResult

Instances

Instances details

(GSerialize _Serialize _Columns expr1 rep1, GSerialize _Serialize _Columns expr2 rep2) => GSerialize _Serialize _Columns (expr1 :: expr2) (rep1 :: rep2) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> Eval (_Columns expr) context -> a) -> GColumns _Columns (expr1 :: expr2) context -> (rep1 :: rep2) x Source # gtoResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> a -> Eval (_Columns expr) context) -> (rep1 :: rep2) x -> GColumns _Columns (expr1 :: expr2) context Source #
GSerialize _Serialize _Columns exprs rep => GSerialize _Serialize _Columns (M1 C c exprs) (M1 C c rep) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> Eval (_Columns expr) context -> a) -> GColumns _Columns (M1 C c exprs) context -> M1 C c rep x Source # gtoResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> a -> Eval (_Columns expr) context) -> M1 C c rep x -> GColumns _Columns (M1 C c exprs) context Source #
GSerialize _Serialize _Columns exprs rep => GSerialize _Serialize _Columns (M1 D c exprs) (M1 D c rep) Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> Eval (_Columns expr) context -> a) -> GColumns _Columns (M1 D c exprs) context -> M1 D c rep x Source # gtoResult :: forall (context :: Context) x. (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> a -> Eval (_Columns expr) context) -> M1 D c rep x -> GColumns _Columns (M1 D c exprs) context Source #
(Eval (_Serialize expr a), meta ~ 'MetaSel ('Just label) _su _ss _ds, k1 ~ (K1 i expr :: Type -> Type), k1' ~ (K1 i a :: Type -> Type)) => GSerialize _Serialize _Columns (M1 S meta k1) (M1 S meta k1') Source #
Instance details Defined in Rel8.Internal.Generic.Table.Record Methods gfromResult :: forall (context :: Context) x. (forall expr0 a0 (proxy :: Type -> Type). Eval (_Serialize expr0 a0) => proxy expr0 -> Eval (_Columns expr0) context -> a0) -> GColumns _Columns (M1 S meta k1) context -> M1 S meta k1' x Source # gtoResult :: forall (context :: Context) x. (forall expr0 a0 (proxy :: Type -> Type). Eval (_Serialize expr0 a0) => proxy expr0 -> a0 -> Eval (_Columns expr0) context) -> M1 S meta k1' x -> GColumns _Columns (M1 S meta k1) context Source #

gfromResult :: forall (context :: Context) x. GSerialize _Serialize _Columns exprs rep => (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> Eval (_Columns expr) context -> a) -> GColumns _Columns exprs context -> rep x Source #

gtoResult :: forall (context :: Context) x. GSerialize _Serialize _Columns exprs rep => (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> a -> Eval (_Columns expr) context) -> rep x -> GColumns _Columns exprs context Source #