Document NonEmptyTable
commita9b44f5c65945081ae9e7d8f13d13f96f9291deb
authorOllie Charles <ollie@ocharles.org.uk>
dateTue 23 Mar 2021, 16:28 (6 years ago)
parentf92d8d6
src/Rel8/Table/NonEmpty.hs+2
@@ -25,6 +25,8 @@ import Rel8.Table.Alternative ( AltTable, (<|>:) )
2525import Rel8.Table.Recontextualize ( Recontextualize )
2626
2727
28+-- | A @NonEmptyTable@ value contains one or more instances of @a@. You
29+-- construct @NonEmptyTable@s with 'some' or 'nonEmptyAgg'.
2830type NonEmptyTable :: Type -> Type
2931newtype NonEmptyTable a =
3032 NonEmptyTable (HNonEmptyTable (Columns a) (H (Context a)))