Add missing Recontextualize instance for single column (#99)

circuithub · Jul 2, 2021 · 4e1b3b7 · 4e1b3b7
1 parent ef28940
commit 4e1b3b7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Rel8/Table/Recontextualize.hs b/src/Rel8/Table/Recontextualize.hs
@@ -22,6 +22,7 @@ import Rel8.Schema.HTable ( HTable )
 import qualified Rel8.Schema.Kind as K
 import Rel8.Schema.Null ( Sql )
 import Rel8.Schema.Result ( Result )
+import Rel8.Schema.Spec ( KnownSpec )
 import Rel8.Table ( Table, Congruent )
 import Rel8.Type ( DBType )
 
@@ -47,6 +48,9 @@ class
 instance Sql DBType a => Recontextualize Result Result (Identity a) (Identity a)
 
 
+instance KnownSpec spec => Recontextualize from to (Col from spec) (Col to spec)
+
+
 instance HTable t => Recontextualize from to (t (Col from)) (t (Col to))