git.iko.soy/rel8
on master help sign in
Document NonEmptyTable
a9b44f5Ollie Charles
src/Rel8/Table/NonEmpty.hs+2
compare with master
unifiedsplit
@@ -25,6 +25,8 @@ import Rel8.Table.Alternative ( AltTable, (<|>:) )
25import Rel8.Table.Recontextualize ( Recontextualize )
25import Rel8.Table.Recontextualize ( Recontextualize )
26
26
27
27
28+-- | A @NonEmptyTable@ value contains one or more instances of @a@. You
29+-- construct @NonEmptyTable@s with 'some' or 'nonEmptyAgg'.
28type NonEmptyTable :: Type -> Type
30type NonEmptyTable :: Type -> Type
29newtype NonEmptyTable a =
31newtype NonEmptyTable a =
30 NonEmptyTable (HNonEmptyTable (Columns a) (H (Context a)))
32 NonEmptyTable (HNonEmptyTable (Columns a) (H (Context a)))