Merge pull request #640 from IntersectMBO/jdral/iolike

Make `IOLike` a type synonym instead of a class

Author: jorisdral

src/Database/LSMTree/Common.hs

@@ -77,11 +77,10 @@ import           System.FS.IO (HandleIO)
 -------------------------------------------------------------------------------}
 
 -- | Utility class for grouping @io-classes@ constraints.
-class ( MonadAsync m, MonadMVar m, MonadThrow (STM m), MonadThrow m
-      , MonadCatch m , MonadMask m, PrimMonad m, MonadST m
-      ) => IOLike m
-
-instance IOLike IO
+type IOLike m = (
+      MonadAsync m, MonadMVar m, MonadThrow (STM m), MonadThrow m
+    , MonadCatch m , MonadMask m, PrimMonad m, MonadST m
+    )
 
 {-------------------------------------------------------------------------------
   Sessions

test/Test/Util/Orphans.hs

@@ -20,7 +20,7 @@ import           Control.Monad ((<=<))
 import           Control.Monad.IOSim (IOSim)
 import           Data.Kind (Type)
 import           Database.LSMTree (Cursor, LookupResult, QueryResult, Table)
-import           Database.LSMTree.Common (BlobRef, IOLike, SerialiseValue)
+import           Database.LSMTree.Common (BlobRef, SerialiseValue)
 import           Database.LSMTree.Internal.Serialise (SerialiseKey)
 import           Test.QuickCheck.Modifiers (Small (..))
 import           Test.QuickCheck.StateModel (Realized)
@@ -34,8 +34,6 @@ import           Test.Util.TypeFamilyWrappers (WrapBlob (..), WrapBlobRef (..),
   IOSim
 -------------------------------------------------------------------------------}
 
-instance IOLike (IOSim s)
-
 type instance Realized (IOSim s) a = RealizeIOSim s a
 
 type RealizeIOSim :: Type -> Type -> Type