@@ -73,7 +73,7 @@ class MonadPQ pq where
73 -> pq db0 db1 io (Maybe (Result '[]))
73 -> pq db0 db1 io (Maybe (Result '[]))
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)
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
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
100instance MonadPQ PQ where
106instance MonadPQ PQ where
102 pqAp (PQ f) (PQ x) = PQ $ \ conn -> do
108 pqAp (PQ f) (PQ x) = PQ $ \ conn -> do