haskell - 如何生成使用 MVars 的数据类型？

Question

我有一个看起来像这样的数据类型:

data PageLogCommand = LogPage Page
                    | Stop (MVar ())

我想创建一个 Gen PageLogCommand 类型的生成器.

对于 Stop但是，创建一个新的空 MVar 的类型为 IO (MVar a) ，那么我怎样才能得到 MVar出了 IO monad 并用它来制作 Gen类型？

Answer 1

如何通过MVar作为您 Gen 的参数功能？喜欢

pageLogCommandGen :: MVar () -> Gen PageLogCommand
pageLogCommandGen stopMVar = oneof
  [ LogPage <$> arbitrary
  , pure (Stop stopMVar)
  ]

然后就可以生成 stopMVar在 IO 中并传递它

do stopMVar <- newEmptyMVar
   plc <- generate (pageLogCommandGen stopMVar)
   ...

在测试属性之前。