on dev help sign in
pqJoin
4fe1b68Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/PQ.hs+8−1
@@ -42,6 +42,7 @@ module Squeal.PostgreSQL.PQ
42 , execPQ
42 , execPQ
43 , pqAp
43 , pqAp
44 , pqBind
44 , pqBind
45+ , pqJoin
45 , pqThen
46 , pqThen
46 , define
47 , define
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'')
182
183
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+
184pqBind
191pqBind
185 :: Monad m
192 :: Monad m
186 => (x -> PQ schema1 schema2 m y)
193 => (x -> PQ schema1 schema2 m y)