on master help sign in
Document Labelable
commitae4a78601a5b5105a75a2aef3c5ed58496100d53 authorOllie Charles <ollie@ocharles.org.uk> dateFri 18 Jun 2021, 10:41 (5 years ago) parent9d3480c
1 file changed+2
src/Rel8/Schema/Context/Label.hs+2
src/Rel8/Schema/Context/Label.hs+2
@@ -23,6 +23,8 @@ import Rel8.Schema.Result ( Col( R ), Result )
2323import Rel8.Schema.Spec.ConstrainDBType ( ConstrainDBType )
2424
2525
26+-- | The @Labelable@ class is an internal implementation detail of Rel8, and
27+-- indicates that we can successfully "name" all columns in a type.
2628type Labelable :: Context -> Constraint
2729class Interpretation context => Labelable context where
2830 labeler :: ()