@@ -23,6 +23,8 @@ import Rel8.Schema.Result ( Col( R ), Result )
23import Rel8.Schema.Spec.ConstrainDBType ( ConstrainDBType )
23import Rel8.Schema.Spec.ConstrainDBType ( ConstrainDBType )
26+-- | The @Labelable@ class is an internal implementation detail of Rel8, and
27+-- indicates that we can successfully "name" all columns in a type.
26type Labelable :: Context -> Constraint
28type Labelable :: Context -> Constraint
27class Interpretation context => Labelable context where
29class Interpretation context => Labelable context where
28 labeler :: ()
30 labeler :: ()