| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Generic.Table
Documentation
data GGSerialize (a :: Algebra) (b :: Type -> Type -> Exp Constraint) (c :: Type -> Exp HTable) (d :: Type -> Type) (e :: Type -> Type) f Source #
Instances
| type Eval (GGSerialize 'Product _Serialize _Columns exprs rep :: Constraint -> Type) Source # | |
Defined in Rel8.Internal.Generic.Table type Eval (GGSerialize 'Product _Serialize _Columns exprs rep :: Constraint -> Type) = GSerialize _Serialize _Columns exprs rep | |
| type Eval (GGSerialize 'Sum _Serialize _Columns exprs rep :: Constraint -> Type) Source # | |
Defined in Rel8.Internal.Generic.Table type Eval (GGSerialize 'Sum _Serialize _Columns exprs rep :: Constraint -> Type) = GSerializeADT _Serialize _Columns exprs rep | |
data GGColumns (a :: Algebra) (b :: Type -> Exp HTable) (c :: Type -> Type) (d :: HTable) Source #
ggfromResult :: forall (algebra :: Algebra) (_Serialize :: Type -> Type -> Exp Constraint) (_Columns :: Type -> Exp HTable) (exprs :: Type -> Type) rep x. (KnownAlgebra algebra, Eval (GGSerialize algebra _Serialize _Columns exprs rep)) => (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> Eval (_Columns expr) Result -> a) -> Eval (GGColumns algebra _Columns exprs) Result -> rep x Source #
ggtoResult :: forall (algebra :: Algebra) (_Serialize :: Type -> Type -> Exp Constraint) (_Columns :: Type -> Exp HTable) (exprs :: Type -> Type) rep x. (KnownAlgebra algebra, Eval (GGSerialize algebra _Serialize _Columns exprs rep)) => (forall expr a (proxy :: Type -> Type). Eval (_Serialize expr a) => proxy expr -> a -> Eval (_Columns expr) Result) -> rep x -> Eval (GGColumns algebra _Columns exprs) Result Source #