| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Column.NonEmpty
Documentation
type family HNonEmpty (context :: Context) = (nonEmpty :: Type -> Type) | nonEmpty -> context where ... Source #
Nest a NonEmpty list within a Rel8able. HNonEmpty f a will produce a
NonEmptyTable a in the Expr context, and a NonEmpty a in the
Result context.
Equations
| HNonEmpty Result = NonEmpty | |
| HNonEmpty context = NonEmptyTable context |