函数变量不在 Haskell 范围内

Question

您好，我有以下代码

import Data.Maybe
import Test.QuickCheck
import System.Random


rndExpr :: Gen Expr ->  IO Expr
rndExpr gen = do
    rnd <-  newStdGen
    return (generate 5 rnd gen)

，但我得到“不在“生成”范围内”，为什么会这样？

问候 Darren

编辑我正在导入 Test.QuickCheck 但它仍然抱怨“生成”不在范围内。

编辑 2

您将如何编写此函数以便它可以与 Quickcheck 版本 2 一起使用？我简单地尝试将“unGen”放在生成的位置但没有成功，我还安装了quickcheck v 2（cabal install QuickCheck-2.1.0.3）

我需要一个具有以下属性的函数stdGen->Gen Expr->Expr ' unGen 似乎给了我这个功能，但正如我所说，我的编译器找不到那个函数。还有其他函数可以用来解决这个问题吗？

Answer 1

看来您正在使用 Test.QuickCheck 中的生成器，并且生成是 QuickCheck 版本 1 中的函数。在 QuickCheck 的第 2 版中，情况有些不同，因此没有这样的功能。但是，您至少需要导入 Test.QuickCheck，并且可以从 unGen 获得类似的功能，如下所示：

rundExpr gen = fmap (flip (unGen gen) 5) newStdGen

请注意，unGen 在 Test.QuickCheck.Gen 中，因此您有也导入它。

Answer 2

generate 不是 System.Random 中的函数。也许您正在寻找下一个？

编辑：
让我澄清一下：我不知道为什么您使用 QuickCheck/Arbitrary 来执行 Random/MonadRandom 似乎更合适的任务。我假设您考虑了自己的选择并继续前进。

您必须选择发电机吗？你不能使用 sample' :: Gen a -> IO a？

getVal :: IO a
getVal = sample' arbitrary

这应该适用于 QC2。

OTOH，如果您确实想使用自己的 StdGen （或者想避免 IO），请尝试：

import System.Random
import Test.QuickCheck
import Test.QuickCheck.Gen

func :: StdGen -> Int
func g = unGen arbitrary g 0

这将使用名为 g 的 StdGen 并一个计数（此处为0）来生成您的值。因为 unGen 不会步进生成器，并且计数器步进不会提供良好的随机性属性（看来，您可以自己尝试看看），您最终可能希望用生成 StdGen 的东西来包装它代码>s（恶心）。

如果您不知道您正在使用哪个版本的软件包，请运行：

$ ghc-pkg list | grep QuickCheck
(QuickCheck-2.1.1.1)
QuickCheck-1.2.0.1

在我的设置中（如上所示），我有 1 和 2，但 2 是隐藏的（() 表示隐藏），所以当我使用 GHCi 并导入 Test.QuickCheck 这是我得到的版本 1。