为什么没有一个类似于hedgehog的success的QuickCheck函数呢?= property $ do case xs of _ -> success 在QuickCheck中，如果我使用=/=，那么我必须返回Property类型的内容，而且似乎没有常量函数来返回传递的属性。Bool
pr
浏览 40提问于2019-12-18得票数 7
回答已采纳
我和函子和QuickCheck一起做运动。不幸的是，这段代码没有编译，ghc抱怨编译错误： do { quickCheck
浏览 1提问于2016-02-26得票数 1
回答已采纳
2回答
我只有 (为了Data.Sequence)哪一个应该服从traverseWithIndex f = sequenceA . mapWithIndex f
谢天谢地，这是一个简单的机械修改的mapWithIndex的来源，所以我很有信心它是正确的。然而，在更复杂的情况下，需要进行彻底的测试。我正在尝试编写一个Qui
浏览 3提问于2016-01-21得票数 9
我成功地对此运行了一个quickcheck：checkWinIn the expression: quickCheck $ removeFromList testaroo= quickCheck $ removeFromList
Failed, module
浏览 6提问于2016-03-01得票数 2
回答已采纳
考虑到下面使用QuickCheck的测试代码，我认为prop_Max errMax应该会失败，因为errMax的定义不正确。当我使用具有具体类型Int的prop_Max的给定签名时，就会发生这种情况。但是，当我使用Ord给它更多形的注释掉类型时，测试通过了。为什么会这样呢？import Test.QuickCheck
myMax x y
浏览 1提问于2014-10-04得票数 2
我有一个函数，还有一堆用来测试它的属性，我已经用它编写了quickcheck。当我在解释器中单独运行这些属性时，这些属性就可以工作了，并且函数可以正常运行。main = do quickCheck prop_2我相信，上面的所有东西都很好，因为没有它，它们都会编译和工作。我尝试过几个变体，即没有do、使用do、使用'x <- quick
浏览 0提问于2014-03-02得票数 1
这对我来说是一个惊喜，因为我在手动测试时没有遇到过这样的错误-但嘿，这就是为什么我们有自动化测试，对吧？特别是像QuickCheck这样的工具，据我所知，这些工具应该专注于您可能不会认为手动测试的“边缘情况”。(这实际上是我第一次以任何形式使用QuickCheck。)--上面的测试中并没有全部通过这10秒！)无论如何，这只是一种猜测，我意识到，既然我不认为分享我的
浏览 2提问于2019-11-22得票数 2
在Haskell中使用应用程序函子时，我经常遇到这样的情况： arbitrary = MyType <$> arbitrary <*>我甚至不知道类型是什么，但是它需要一个数据构造函数、一个Int (n)和一个函数来应用n次。在为QuickCheck、SmallCheck、Data.Binary、Xml序列化和其他递归情况创建实例时会发生这种情况。
那么如何定义
浏览 6提问于2011-01-21得票数 7
回答已采纳
我正在通过美妙的。在解决一些练习时，我进行了QuickCheck测试，这个测试花费了相当长的时间，我不知道为什么。我正在解决的练习在第16章中-我需要编写一个Functor实例 DaWrappa (f a) (g a) -- -> Parappa (Either Char) Maybe Integer
main = do
浏览 2提问于2020-12-29得票数 0
对于我正在开发的一个Cabal包，有些东西是不合理的，我已经将这个问题归结为以下示例：module Main wheremain = quickCheck Falsename: project
version: 0.1.0.0可执行文件和测试套件都引用Main.hs，因此，我希望在运行&qu
浏览 4提问于2015-04-24得票数 7
1回答
过去的一个论文问题要求我定义一个函数p :：a -> a，它在列表中每两项交换一次。您的函数应该将第一项与第二项交换，将第三项与第四项交换，依此类推。一个是通过列表理解定义的，另一个是通过递归定义的。好吧，这是我想出来的：p :: [a] -> [a]p xs = concat [ [y,x] | ((x,y),i) <- zipprop_2
这些函数工作得很好，但
浏览 0提问于2012-12-15得票数 3
在尝试安装时，我运行$ stack install QuickCheck。该命令暂停一秒钟，然后返回到shell，只打印一个空行。$ ghc-pkg list | grep QuickCheck
而且，因为我无法在编译导入该模块的文件时导入Test.QuickCheck。$
我从应该安装它的主文件夹运行stack install QuickCheck到全局安装，而不是从不应该安装的堆栈
浏览 4提问于2017-08-10得票数 0
回答已采纳
所以，我正在尝试安装cabal，这样我就可以让quickcheck在haskell中工作，但似乎什么都不起作用。每当我尝试在我的终端(在mac上)运行" cabal -install“时，我得到相同的信息"command not found"，我已经查看了多个不同的”解决方案“，甚至在cabal网站上的”解决方案“，但似乎什么都不起作用
浏览 4提问于2019-09-21得票数 0
2回答
当一个值没有通过QuickCheck的测试时，我想用它来调试。有没有什么办法可以让我这样做：in someStuff failValue
如果我的数据支持read，那么我可能可以通过某种方式从
浏览 3提问于2011-11-19得票数 14
回答已采纳
11回答
然而，除了学术兴趣之外，它在实际的应用程序测试中是否真的有用(例如，图形用户界面应用程序或客户端/服务器，甚至是StackOverflow本身)？如果您有类似测试生成器的经验，我们将不胜感激。
浏览 1提问于2009-02-23得票数 36
回答已采纳
3回答
我正在通过美妙的。在可遍历的第(21)章的末尾，我需要为以下树编写一个实例： Empty | Node (Tree a) a (Tree a)foldr _ z Empty = zfoldr f z (Node left x right正在使用的QuickCheck ing函数有什么</em
浏览 5提问于2021-01-01得票数 6
我想为一套Parsec解析器编写测试。下面是一个我想用QuickCheck测试的解析器的简单示例： c <- letter skipSpaces因此，理想情况下，我希望QuickCheck生成有效的标识符并确保返回正确的结果，同时生成无效的标识符并确保它们返回ParseError有没有</em
浏览 2提问于2012-06-13得票数 8
回答已采纳
它们是：f1 (x:xs) = if contains x xs then f1 xs else x:f1 xsf6 xs = f1 (rev xs)prop_sort6 xs = (f1 xs == f6 xs) == True编辑：
例如，这样做：(f1 [1,2,3] == f6 [
浏览 4提问于2021-05-26得票数 7
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
