@@ -246,7 +246,9 @@ check
246246 :: ( Has alias schema ('Table table)
247247 , HasAll aliases (TableToRelation table) subcolumns )
248248 => NP Alias aliases
249+ -- ^ specify the subcolumns which are getting checked
249250 -> (forall tab. Condition '[tab ::: subcolumns] 'Ungrouped '[])
251+ -- ^ a closed `Condition` on those subcolumns
250252 -> TableConstraintExpression schema alias ('Check aliases)
251253check _cols condition = UnsafeTableConstraintExpression $
252254 "CHECK" <+> parenthesized (renderExpression condition)
@@ -277,6 +279,7 @@ unique
277279 :: ( Has alias schema ('Table table)
278280 , HasAll aliases (TableToRelation table) subcolumns )
279281 => NP Alias aliases
282+ -- ^ specify subcolumns which together are unique for each row
280283 -> TableConstraintExpression schema alias ('Unique aliases)
281284unique columns = UnsafeTableConstraintExpression $
282285 "UNIQUE" <+> parenthesized (commaSeparated (renderAliases columns))
@@ -309,6 +312,7 @@ primaryKey
309312 , HasAll aliases (TableToColumns table) subcolumns
310313 , AllNotNull subcolumns )
311314 => NP Alias aliases
315+ -- ^ specify the subcolumns which together form a primary key.
312316 -> TableConstraintExpression schema alias ('PrimaryKey aliases)
313317primaryKey columns = UnsafeTableConstraintExpression $
314318 "PRIMARY KEY" <+> parenthesized (commaSeparated (renderAliases columns))