2

我有一个具有关联单子的类，以便可以为不同的单子创建实例。

class MutRef a where
  type MutRefM a :: * -> *
  type MutRefVal a

  readMutRef :: a -> MutRefM a (MutRefVal a)
  writeMutRef :: a -> MutRefVal a -> MutRefM a ()
  modifyMutRef :: a -> (MutRefVal a -> MutRefVal a) -> MutRefM a ()

我想用QuickCheck.

我想创建代表“法律”的函数，如下所示：

readsAndWrites :: (MutRef a, Monad (MutRefM a), Eq (MutRefVal a))
    => TestHarness a -> MutRefVal a -> Property 
readsAndWrites (getRef, runner) a = runner $ do
  a' <- run $ do
    ref <- getRef
    writeMutRef ref a
    readMutRef ref
  assert (a == a')

TestHarness是辅助函数的元组：

type TestHarness a = (MutRefM a a, PropertyM (MutRefM a) () -> Property)

为测试提供要使用的“Ref”，并将动作Property分别转换为 a。

然后，我将能够使用“法律”和线束来实例化 QuickCheck 测试属性。

对于IO，这没有问题：

ioRefTestHarness :: TestHarness (IORef Int)
ioRefTestHarness = (newIORef 0, monadicIO)

prop_ioRefReadsAndWrites :: MutRefVal (IORef Int) -> Property
prop_ioRefReadsAndWrites = readsAndWrites ioRefTestHarness

编译并运行。

但是，我也有一个ST例子：

instance MutRef (STRef s a) where
  type MutRefM (STRef s a) = ST s
  type MutRefVal (STRef s a) = a

  readMutRef = readSTRef
  writeMutRef = writeSTRef
  modifyMutRef = modifySTRef

然而，试图天真地定义一个测试工具，

stRefTestHarness :: TestHarness (STRef s Int)
stRefTestHarness = (newSTRef 0, monadicST)

失败并显示错误消息：

    • Couldn't match type ‘PropertyM (ST s) ()’
                     with ‘forall s1. PropertyM (ST s1) a0’
      Expected type: PropertyM (MutRefM (STRef s Int)) () -> Property
        Actual type: (forall s. PropertyM (ST s) a0) -> Property
    • In the expression: monadicST
      In the expression: (newSTRef 0, monadicST)
      In an equation for ‘stRefTestHarness’:
          stRefTestHarness = (newSTRef 0, monadicST)
    • Relevant bindings include
        stRefTestHarness :: TestHarness (STRef s Int)
          (bound at test/quickcheck.hs:79:1)

我猜我需要在某个地方进行量化，但我还没有通过反复试验成功地确定哪里。

是否可以ST像这样参数化我的线束类型？

我该如何去做我想做的事？

4

0 回答 0