@@ -39,6 +39,7 @@ module Squeal.PostgreSQL.PQ
3939 -- * PQ
4040 , PQ (PQ, runPQ)
4141 , execPQ
42+ , pqEmbed
4243 , pqAp
4344 , pqBind
4445 , pqJoin
@@ -170,6 +171,14 @@ execPQ
170171 -> m (K LibPQ.Connection schema1)
171172execPQ (PQ pq) conn = fmap (mapKK (\ _ -> unK conn)) $ pq conn
172173
174+pqEmbed
175+ :: Monad m
176+ => PQ schema0 schema1 m x
177+ -> PQ (table ': schema0) (table : schema1) m x
178+pqEmbed (PQ pq) = PQ $ \ (K conn) -> do
179+ K x <- pq (K conn)
180+ return $ K x
181+
173182-- | indexed analog of `<*>`
174183pqAp
175184 :: Monad m