on dev help sign in
pqExecNil
19da6d3Eitan Chatav
squeel-postgresql/exe/Example.hs+1−1
@@ -40,7 +40,7 @@ main = do
40 &>> insertInto #table1 ( 3 `As` #col1 :* 4 `As` #col2 :* Nil )
40 &>> insertInto #table1 ( 3 `As` #col1 :* 4 `As` #col2 :* Nil )
41 Char8.putStrLn "querying"
41 Char8.putStrLn "querying"
42 connection2 <- flip execPQ connection1 $ do
42 connection2 <- flip execPQ connection1 $ do
43− Just result <- pqExecParams (select (starFrom #table1)) Nil
43+ Just result <- pqExecNil $ select $ starFrom #table1
44 runMaybeT . runExceptT . flip runValue result $ do
44 runMaybeT . runExceptT . flip runValue result $ do
45 value00 <- getValue (RowNumber 0) colNum0
45 value00 <- getValue (RowNumber 0) colNum0
46 value01 <- getValue (RowNumber 0) colNum1
46 value01 <- getValue (RowNumber 0) colNum1
squeel-postgresql/src/Squeel/PostgreSQL/PQ.hs+8−2
@@ -73,7 +73,7 @@ class MonadPQ pq where
73 -> pq db0 db1 io (Maybe (Result '[]))
73 -> pq db0 db1 io (Maybe (Result '[]))
74
74
75 pqExecParams
75 pqExecParams
76− :: (MonadBase IO io, ToOids ps, AllZip HasEncoding ps xs, All Top ps)
76+ :: (MonadBase IO io, ToOids ps, AllZip HasEncoding ps xs)
77 => Statement ps ys db0 db1
77 => Statement ps ys db0 db1
78 -> NP I xs
78 -> NP I xs
79 -> pq db0 db1 io (Maybe (Result ys))
79 -> pq db0 db1 io (Maybe (Result ys))
@@ -85,7 +85,7 @@ class MonadPQ pq where
85 -> pq db0 db1 io (Maybe (Result '[]), PreparedStatement ps xs db0 db1)
85 -> pq db0 db1 io (Maybe (Result '[]), PreparedStatement ps xs db0 db1)
86
86
87 pqExecPrepared
87 pqExecPrepared
88− :: (MonadBase IO io, AllZip HasEncoding ps xs, All Top ps)
88+ :: (MonadBase IO io, AllZip HasEncoding ps xs)
89 => PreparedStatement ps ys db0 db1
89 => PreparedStatement ps ys db0 db1
90 -> NP I xs
90 -> NP I xs
91 -> pq db0 db1 io (Maybe (Result ys))
91 -> pq db0 db1 io (Maybe (Result ys))
@@ -97,6 +97,12 @@ class MonadPQ pq where
97 -> pq db0 db2 io (Maybe (Result '[]))
97 -> pq db0 db2 io (Maybe (Result '[]))
98pq1 &>> statement2 = pqBind (\ _ -> pqExec statement2) pq1
98pq1 &>> statement2 = pqBind (\ _ -> pqExec statement2) pq1
99
99
100+pqExecNil
101+ :: (MonadPQ pq, MonadBase IO io)
102+ => Statement '[] ys db0 db1
103+ -> pq db0 db1 io (Maybe (Result ys))
104+pqExecNil statement = pqExecParams statement Nil
105+
100instance MonadPQ PQ where
106instance MonadPQ PQ where
101
107
102 pqAp (PQ f) (PQ x) = PQ $ \ conn -> do
108 pqAp (PQ f) (PQ x) = PQ $ \ conn -> do