From 637fae14c599c169b108595639c0e52f255459c1 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Thu, 8 May 2025 12:04:49 +0100
Subject: [PATCH] feat: hide TableConfig constructor

---
 src/Database/LSMTree.hs                       | 10 +++++++++-
 src/Database/LSMTree/Simple.hs                | 10 +++++++++-
 test/Test/Database/LSMTree/StateMachine.hs    |  2 ++
 test/Test/Database/LSMTree/StateMachine/DL.hs |  4 +++-
 4 files changed, 23 insertions(+), 3 deletions(-)

diff --git a/src/Database/LSMTree.hs b/src/Database/LSMTree.hs
index 786bec204..4b00b6285 100644
--- a/src/Database/LSMTree.hs
+++ b/src/Database/LSMTree.hs
@@ -102,7 +102,15 @@ module Database.LSMTree (
   SnapshotLabel (..),
 
   -- * Table Configuration #table_configuration#
-  TableConfig (..),
+  TableConfig (
+    confMergePolicy,
+    confSizeRatio,
+    confWriteBufferAlloc,
+    confBloomFilterAlloc,
+    confFencePointerIndex,
+    confDiskCachePolicy,
+    confMergeSchedule
+  ),
   defaultTableConfig,
   MergePolicy (LazyLevelling),
   SizeRatio (Four),
diff --git a/src/Database/LSMTree/Simple.hs b/src/Database/LSMTree/Simple.hs
index 8003f3677..8087c7a7a 100644
--- a/src/Database/LSMTree/Simple.hs
+++ b/src/Database/LSMTree/Simple.hs
@@ -92,7 +92,15 @@ module Database.LSMTree.Simple (
     SnapshotLabel (..),
 
     -- * Table Configuration #table_configuration#
-    TableConfig (..),
+    TableConfig (
+        confMergePolicy,
+        confSizeRatio,
+        confWriteBufferAlloc,
+        confBloomFilterAlloc,
+        confFencePointerIndex,
+        confDiskCachePolicy,
+        confMergeSchedule
+    ),
     MergePolicy (LazyLevelling),
     SizeRatio (Four),
     WriteBufferAlloc (AllocNumEntries),
diff --git a/test/Test/Database/LSMTree/StateMachine.hs b/test/Test/Database/LSMTree/StateMachine.hs
index 9272d9a27..39226dbc4 100644
--- a/test/Test/Database/LSMTree/StateMachine.hs
+++ b/test/Test/Database/LSMTree/StateMachine.hs
@@ -99,6 +99,8 @@ import qualified Database.LSMTree.Class as Class
 import           Database.LSMTree.Extras (showPowersOf)
 import           Database.LSMTree.Extras.Generators (KeyForIndexCompact)
 import           Database.LSMTree.Extras.NoThunks (propNoThunks)
+import qualified Database.LSMTree.Internal.Config as R
+                     (TableConfig (TableConfig))
 import           Database.LSMTree.Internal.Serialise (SerialisedBlob,
                      SerialisedValue)
 import qualified Database.LSMTree.Internal.Types as R.Types
diff --git a/test/Test/Database/LSMTree/StateMachine/DL.hs b/test/Test/Database/LSMTree/StateMachine/DL.hs
index ff9dd142c..b8cded9a6 100644
--- a/test/Test/Database/LSMTree/StateMachine/DL.hs
+++ b/test/Test/Database/LSMTree/StateMachine/DL.hs
@@ -13,6 +13,8 @@ import           Control.Tracer
 import qualified Data.Map.Strict as Map
 import qualified Data.Vector as V
 import           Database.LSMTree as R
+import qualified Database.LSMTree.Internal.Config as R
+                     (TableConfig (TableConfig))
 import qualified Database.LSMTree.Model.Session as Model (fromSomeTable, tables)
 import qualified Database.LSMTree.Model.Table as Model (values)
 import           Prelude
@@ -65,7 +67,7 @@ prop_example =
 dl_example :: DL (Lockstep (ModelState R.Table)) ()
 dl_example = do
     -- Create an initial table and fill it with some inserts
-    var3 <- action $ Action Nothing $ NewTableWith (PrettyProxy @((Key, Value, Blob))) (TableConfig {
+    var3 <- action $ Action Nothing $ NewTableWith (PrettyProxy @((Key, Value, Blob))) (R.TableConfig {
           confMergePolicy = LazyLevelling
         , confSizeRatio = Four
         , confWriteBufferAlloc = AllocNumEntries 4