为磁盘 (IO) 和纯案例概括键/值数据库的功能？

Question

键值数据库的基本功能是store、fetch和delete。我正在尝试编写一个类型类，允许这些函数的返回类型是纯的或 IO，这样我就可以编写一个适用于内存中 Data.Map 支持的实现和 on -磁盘实现。

pure 类型类可能看起来像这样：

class PureQueryable d where
  fetch  :: d -> Key -> Maybe Value
  insert :: d -> Key -> Value -> d
  delete :: d -> Key -> Maybe d

...而IO 类型类可能看起来像这样：

class IOQueryable d
  fetch  :: d -> Key -> IO (Maybe Value)
  insert :: d -> Key -> Value -> IO d
  delete :: d -> Key -> IO (Maybe d)

我正在尝试将这两者结合起来，正如某人 (Vektorweg1) 在#haskell 上所建议的那样，我写了这个：

class Queryable d r where
  fetch  :: d -> Key -> ??? 
  insert :: d -> Key -> Value -> ??? 
  delete :: d -> Key -> ??? 

我不确定要写什么来代替??? 才能使它起作用。有什么想法吗？

Answer 1

和 Carl 一样，我也对它的实用性持怀疑态度，但这里什么也没有（请注意，我是在手机上打字，因此相关类型的语法可能完全错误）：

{-# LANGUAGE TypeFamilies #-}

class Queryable (d :: * -> *) where
  type Key
  type M
  fetch :: d v -> Key -> M v
  insert :: d v -> Key -> v -> M v
  delete :: d v -> Key -> M ()

现在您可以使用任何函子来实例化该类：

instance Queryable IOIntDict where
  type Key IOIntDict = Int
  type M = IO
  ...

对于纯粹的东西，你使用Data.Functor.Identity 作为你的函子，或者只是使用身份类型系列（我不确定哪种方法实际上会更好）。