circuithub/rel8
1
1
Fork 0
mirror of https://github.com/circuithub/rel8.git synced 2024-09-11 16:05:41 +03:00
Code Issues Projects Releases Wiki Activity

Document listTable and nonEmptyTable

Browse Source
This commit is contained in:
Ollie Charles 2021-06-18 11:33:24 +01:00
parent 1a3c3c139d
commit 3d54aa780b
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Rel8/Table/List.hs
View File

@ -117,6 +117,7 @@ instance Table Expr a => Monoid (ListTable a) where
mempty = ListTable $ hempty $ \_ -> E . sempty
-- | Construct a @ListTable@ from a list of expressions.
listTable :: Table Expr a => [a] -> ListTable a
listTable =
ListTable .

1
src/Rel8/Table/NonEmpty.hs
View File

@ -109,6 +109,7 @@ instance Table Expr a => Semigroup (NonEmptyTable a) where
happend (\_ _ (E a) (E b) -> E (sappend1 a b)) as bs
-- | Construct a @NonEmptyTable@ from a non-empty list of expressions.
nonEmptyTable :: Table Expr a => NonEmpty a -> NonEmptyTable a
nonEmptyTable =
NonEmptyTable .