@@ -73,7 +73,7 @@ class MonadPQ pq where
7373 -> pq db0 db1 io (Maybe (Result '[]))
7474
7575 pqExecParams
76− :: (MonadBase IO io, ToOids ps, AllZip HasEncoding ps xs, All Top ps)
76+ :: (MonadBase IO io, ToOids ps, AllZip HasEncoding ps xs)
7777 => Statement ps ys db0 db1
7878 -> NP I xs
7979 -> pq db0 db1 io (Maybe (Result ys))
@@ -85,7 +85,7 @@ class MonadPQ pq where
8585 -> pq db0 db1 io (Maybe (Result '[]), PreparedStatement ps xs db0 db1)
8686
8787 pqExecPrepared
88− :: (MonadBase IO io, AllZip HasEncoding ps xs, All Top ps)
88+ :: (MonadBase IO io, AllZip HasEncoding ps xs)
8989 => PreparedStatement ps ys db0 db1
9090 -> NP I xs
9191 -> pq db0 db1 io (Maybe (Result ys))
@@ -97,6 +97,12 @@ class MonadPQ pq where
9797 -> pq db0 db2 io (Maybe (Result '[]))
9898pq1 &>> statement2 = pqBind (\ _ -> pqExec statement2) pq1
9999
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+
100106instance MonadPQ PQ where
101107
102108 pqAp (PQ f) (PQ x) = PQ $ \ conn -> do