From c773356378da7d7fea25c07a708ce501b31568ab Mon Sep 17 00:00:00 2001
From: Tristan Mc Leay <tristan@cassowary.org>
Date: Fri, 27 Feb 2026 16:11:57 +1100
Subject: [PATCH 1/2] add queryNamedwith and foldNamedWith

---
 Database/SQLite/Simple.hs | 24 ++++++++++++++++++++----
 1 file changed, 20 insertions(+), 4 deletions(-)

diff --git a/Database/SQLite/Simple.hs b/Database/SQLite/Simple.hs
index 1355cae..e705118 100644
--- a/Database/SQLite/Simple.hs
+++ b/Database/SQLite/Simple.hs
@@ -67,6 +67,7 @@ module Database.SQLite.Simple (
   , queryWith
   , queryWith_
   , queryNamed
+  , queryNamedWith
   , lastInsertRowId
   , changes
   , totalChanges
@@ -74,6 +75,7 @@ module Database.SQLite.Simple (
   , fold
   , fold_
   , foldNamed
+  , foldNamedWith
     -- * Statements that do not return results
   , execute
   , execute_
@@ -379,8 +381,12 @@ queryWith_ fromRow_ conn query =
 -- r \<- 'queryNamed' c \"SELECT * FROM posts WHERE id=:id AND date>=:date\" [\":id\" ':=' postId, \":date\" ':=' afterDate]
 -- @
 queryNamed :: (FromRow r) => Connection -> Query -> [NamedParam] -> IO [r]
-queryNamed conn templ params =
-  withStatementNamedParams conn templ params $ \stmt -> doFoldToList fromRow stmt
+queryNamed = queryNamedWith fromRow
+
+-- | A version of 'queryNamed' that takes an explicit 'RowParser'.
+queryNamedWith :: RowParser r -> Connection -> Query -> [NamedParam] -> IO [r]
+queryNamedWith fromRow_ conn templ params =
+  withStatementNamedParams conn templ params $ \stmt -> doFoldToList fromRow_ stmt
 
 -- | A version of 'execute' that does not perform query substitution.
 execute_ :: Connection -> Query -> IO ()
@@ -438,9 +444,19 @@ foldNamed :: ( FromRow row )
           -> a
           -> (a -> row -> IO a)
           -> IO a
-foldNamed conn query params initalState action =
+foldNamed = foldNamedWith fromRow
+
+-- | A version of 'foldNamed' that takes an explicit 'RowParser'.
+foldNamedWith :: RowParser row
+              -> Connection
+              -> Query
+              -> [NamedParam]
+              -> a
+              -> (a -> row -> IO a)
+              -> IO a
+foldNamedWith fromRow_ conn query params initalState action =
   withStatementNamedParams conn query params $ \stmt ->
-    doFold fromRow stmt initalState action
+    doFold fromRow_ stmt initalState action
 
 doFold :: RowParser row -> Statement ->  a -> (a -> row -> IO a) -> IO a
 doFold fromRow_ stmt initState action =

From bc5641c5f72585def61358ccba27e60ddddd5370 Mon Sep 17 00:00:00 2001
From: Tristan Mc Leay <tristan@cassowary.org>
Date: Mon, 9 Mar 2026 04:39:33 +1100
Subject: [PATCH 2/2] foldWith and foldWith_ (folds with a RowParser)

---
 Database/SQLite/Simple.hs | 29 +++++++++++++++++++++++++----
 1 file changed, 25 insertions(+), 4 deletions(-)

diff --git a/Database/SQLite/Simple.hs b/Database/SQLite/Simple.hs
index e705118..298f064 100644
--- a/Database/SQLite/Simple.hs
+++ b/Database/SQLite/Simple.hs
@@ -73,7 +73,9 @@ module Database.SQLite.Simple (
   , totalChanges
     -- * Queries that stream results
   , fold
+  , foldWith
   , fold_
+  , foldWith_
   , foldNamed
   , foldNamedWith
     -- * Statements that do not return results
@@ -420,9 +422,19 @@ fold :: ( FromRow row, ToRow params )
         -> a
         -> (a -> row -> IO a)
         -> IO a
-fold conn query params initalState action =
+fold = foldWith fromRow
+
+foldWith :: ( ToRow params )
+           => RowParser row
+           -> Connection
+           -> Query
+           -> params
+           -> a
+           -> (a -> row -> IO a)
+           -> IO a
+foldWith fromRow_ conn query params initalState action =
   withStatementParams conn query params $ \stmt ->
-    doFold fromRow stmt initalState action
+    doFold fromRow_ stmt initalState action
 
 -- | A version of 'fold' which does not perform parameter substitution.
 fold_ :: ( FromRow row )
@@ -431,9 +443,18 @@ fold_ :: ( FromRow row )
         -> a
         -> (a -> row -> IO a)
         -> IO a
-fold_ conn query initalState action =
+fold_ = foldWith_ fromRow
+
+-- | A version of 'fold_' that takes an explicit 'RowParser'.
+foldWith_ :: RowParser row
+          -> Connection
+          -> Query
+          -> a
+          -> (a -> row -> IO a)
+          -> IO a
+foldWith_ fromRow_ conn query initalState action =
   withStatement conn query $ \stmt ->
-    doFold fromRow stmt initalState action
+    doFold fromRow_ stmt initalState action    
 
 -- | A version of 'fold' where the query parameters (placeholders) are
 -- named.