@@ -18,6 +18,7 @@
1818
1919module Rel8.Schema.Generic
2020 ( Rel8able
21+ , KRel8able
2122 )
2223where
2324
@@ -61,6 +62,10 @@ instance
6162 toColumns = hunreify . gtoColumns . reify
6263
6364
65+type KRel8able :: Type
66+type KRel8able = K.Table
67+
68+
6469-- | This type class allows you to define custom 'Table's using higher-kinded
6570-- data types. Higher-kinded data types are data types of the pattern:
6671--
@@ -103,7 +108,7 @@ instance
103108-- data MyType f = MyType { fieldA :: Column f T }
104109-- deriving ( GHC.Generics.Generic, Rel8able )
105110-- @
106−type Rel8able :: K.Table -> Constraint
111+type Rel8able :: KRel8able -> Constraint
107112class HTable (GRep t) => Rel8able t where
108113 gfromColumns :: (Labelable context, Reifiable context)
109114 => GRep t (Col (Reify context)) -> t (Reify context)