@@ -42,6 +42,7 @@ module Squeal.PostgreSQL.PQ
47 , thenDefine
48 , thenDefine
@@ -180,7 +181,13 @@ pqAp (PQ f) (PQ x) = PQ $ \ conn -> do
180 (x', conn'') <- x conn'
181 (x', conn'') <- x conn'
181 return (f' x', conn'')
182 return (f' x', conn'')
183−-- | indexed analog of `=<<`
184+-- | indexed analog of `join`
187+ => PQ schema0 schema1 m (PQ schema1 schema2 m y)
188+ -> PQ schema0 schema2 m y
189+pqJoin pq = pq & pqBind id
185 :: Monad m
192 :: Monad m
186 => (x -> PQ schema1 schema2 m y)
193 => (x -> PQ schema1 schema2 m y)