@@ -35,6 +35,9 @@ import Rel8.Table.Recontextualize ( Recontextualize )
35import Rel8.Type ( DBType )
35import Rel8.Type ( DBType )
38+-- | This type family is used to specify columns in 'Rel8able's. In @Column f
39+-- a@, @f@ is the context of the column (which should be left polymorphic in
40+-- 'Rel8able' definitions), and @a@ is the type of the column.
38type Column :: K.Context -> Type -> Type
41type Column :: K.Context -> Type -> Type
39type family Column context a where
42type family Column context a where
40 Column (Reify context) a = AColumn context a
43 Column (Reify context) a = AColumn context a