Skip to content

Commit 21d916e

Browse files
authored
Merge pull request #485 from IntersectMBO/remove-arbitrary-writebuffer
Remove Arbitrary instance for WriteBuffer
2 parents 6a0c425 + a0170ac commit 21d916e

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

src-extras/Database/LSMTree/Extras/Generators.hs

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -61,8 +61,6 @@ import qualified Database.LSMTree.Internal.Serialise.Class as S.Class
6161
import Database.LSMTree.Internal.Unsliced (Unsliced, fromUnslicedKey,
6262
makeUnslicedKey)
6363
import Database.LSMTree.Internal.Vector (mkPrimVector)
64-
import Database.LSMTree.Internal.WriteBuffer (WriteBuffer)
65-
import qualified Database.LSMTree.Internal.WriteBuffer as WB
6664
import qualified Database.LSMTree.Monoidal as Monoidal
6765
import qualified Database.LSMTree.Normal as Normal
6866
import GHC.Generics (Generic)
@@ -172,14 +170,6 @@ instance Arbitrary2 Entry where
172170
Mupdate v -> Delete : Insert v : (Mupdate <$> shrinkVal v)
173171
Delete -> []
174172

175-
{-------------------------------------------------------------------------------
176-
WriteBuffer
177-
-------------------------------------------------------------------------------}
178-
179-
instance Arbitrary WriteBuffer where
180-
arbitrary = WB.fromMap <$> arbitrary
181-
shrink = map WB.fromMap . shrink . WB.toMap
182-
183173
{-------------------------------------------------------------------------------
184174
WithSerialised
185175
-------------------------------------------------------------------------------}

0 commit comments

Comments
 (0)