@@ -22,6 +22,7 @@ import Rel8.Schema.HTable ( HTable )
22import qualified Rel8.Schema.Kind as K
22import qualified Rel8.Schema.Kind as K
23import Rel8.Schema.Null ( Sql )
23import Rel8.Schema.Null ( Sql )
24import Rel8.Schema.Result ( Result )
24import Rel8.Schema.Result ( Result )
25+import Rel8.Schema.Spec ( KnownSpec )
25import Rel8.Table ( Table, Congruent )
26import Rel8.Table ( Table, Congruent )
26import Rel8.Type ( DBType )
27import Rel8.Type ( DBType )
@@ -47,6 +48,9 @@ class
47instance Sql DBType a => Recontextualize Result Result (Identity a) (Identity a)
48instance Sql DBType a => Recontextualize Result Result (Identity a) (Identity a)
51+instance KnownSpec spec => Recontextualize from to (Col from spec) (Col to spec)
50instance HTable t => Recontextualize from to (t (Col from)) (t (Col to))
54instance HTable t => Recontextualize from to (t (Col from)) (t (Col to))