Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Column.List

Synopsis

type family HList (context :: Context) = (list :: Type -> Type) | list -> context where ...

Documentation

type family HList (context :: Context) = (list :: Type -> Type) | list -> context where ... Source #

Nest a list within a Rel8able. HList f a will produce a ListTable a in the Expr context, and a [a] in the Result context.

Equations

HList Result = []
HList context = ListTable context