@@ -42,6 +42,7 @@ module Squeal.PostgreSQL.PQ
4242 , execPQ
4343 , pqAp
4444 , pqBind
45+ , pqJoin
4546 , pqThen
4647 , define
4748 , thenDefine
@@ -180,7 +181,13 @@ pqAp (PQ f) (PQ x) = PQ $ \ conn -> do
180181 (x', conn'') <- x conn'
181182 return (f' x', conn'')
182183
183−-- | indexed analog of `=<<`
184+-- | indexed analog of `join`
185+pqJoin
186+ :: Monad m
187+ => PQ schema0 schema1 m (PQ schema1 schema2 m y)
188+ -> PQ schema0 schema2 m y
189+pqJoin pq = pq & pqBind id
190+
184191pqBind
185192 :: Monad m
186193 => (x -> PQ schema1 schema2 m y)