feat: add Database.LSMTree.Simple

Author: wenkokke

.github/workflows/haskell.yml

@@ -141,7 +141,7 @@ jobs:
         echo '2d18a3f79619e8ec5f11870f926f6dc2616e02a6c889315b7f82044b95a1adb9  cabal-docspec.xz' | sha256sum -c -
         xz -d < cabal-docspec.xz > ./cabal-docspec
         chmod a+x ./cabal-docspec
-        ./cabal-docspec --extra-package lsm-tree:prototypes -XOverloadedStrings -XNumericUnderscores -XTypeApplications
+        ./cabal-docspec --extra-package directory --extra-package lsm-tree:prototypes -XOverloadedStrings -XNumericUnderscores -XTypeApplications -XScopedTypeVariables
 
   # Check formatting for Haskell files
   stylish-haskell:

lsm-tree.cabal

@@ -286,6 +286,7 @@ library
     Database.LSMTree.Internal.WriteBufferWriter
     Database.LSMTree.Monoidal
     Database.LSMTree.Normal
+    Database.LSMTree.Simple
 
   build-depends:
     , base                    >=4.14      && <4.22

src/Database/LSMTree/Internal/Snapshot.hs

@@ -97,16 +97,16 @@ newtype SnapshotLabel = SnapshotLabel Text
 -- TODO: revisit if we need three table types.
 data SnapshotTableType
   = SnapSimpleTable
+  | SnapFullTable
   | SnapNormalTable
   | SnapMonoidalTable
-  | SnapFullTable
   deriving stock (Eq, Show)
 
 instance NFData SnapshotTableType where
   rnf SnapSimpleTable   = ()
+  rnf SnapFullTable     = ()
   rnf SnapNormalTable   = ()
   rnf SnapMonoidalTable = ()
-  rnf SnapFullTable     = ()
 
 data SnapshotMetaData = SnapshotMetaData {
     -- | See 'SnapshotLabel'.

src/Database/LSMTree/Internal/Snapshot/Codec.hs

@@ -247,19 +247,19 @@ instance DecodeVersioned SnapshotLabel where
 -- TableType
 
 instance Encode SnapshotTableType where
-  encode SnapNormalTable   = encodeWord 0
-  encode SnapMonoidalTable = encodeWord 1
-  encode SnapFullTable     = encodeWord 2
-  encode SnapSimpleTable   = encodeWord 3
+  encode SnapSimpleTable   = encodeWord 0
+  encode SnapFullTable     = encodeWord 1
+  encode SnapNormalTable   = encodeWord 2
+  encode SnapMonoidalTable = encodeWord 3
 
 instance DecodeVersioned SnapshotTableType where
   decodeVersioned V0 = do
       tag <- decodeWord
       case tag of
-        0 -> pure SnapNormalTable
-        1 -> pure SnapMonoidalTable
-        2 -> pure SnapFullTable
-        3 -> pure SnapSimpleTable
+        0 -> pure SnapSimpleTable
+        1 -> pure SnapFullTable
+        2 -> pure SnapNormalTable
+        3 -> pure SnapMonoidalTable
         _ -> fail ("[SnapshotTableType] Unexpected tag: " <> show tag)
 
 instance Encode SnapshotRun where