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