- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试写 QuickCheck将一个或多个函数作为输入的属性。为了简单起见,考虑一个属性来检查函数组合是否等同于连续的函数应用,以及一个快速而简单的测试驱动程序:
import Test.QuickCheck
prop_composition :: (Int -> Int) -> (Int -> Int) -> Int -> Bool
prop_composition f g x = (f . g) x == f (g x)
main :: IO ()
main = quickCheck prop_composition
Show
这样 QuickCheck 可以报告导致失败的输入,但是没有
Show
功能实现:
Test.hs:10:7:
No instance for (Show (Int -> Int))
arising from a use of `quickCheck' at Test.hs:10:7-33
Possible fix: add an instance declaration for (Show (Int -> Int))
In the expression: quickCheck prop_composition
In the definition of `main': main = quickCheck prop_composition
Show
对于函数...
instance Show (a -> b) where
show _ = "[func]"
-Wall
...
Test.hs:3:9: Warning: orphan instance: instance Show (a -> b)
Test.QuickCheck.Function
模块,但它没有记录,我无法仅通过查看类型签名来弄清楚其中的任何内容或打算如何使用它。
最佳答案
你是对的Test.QuickCheck.Function
是正确的答案。
您只需更改类型:
prop_composition :: Fun Int Int -> Fun Int Int -> Int -> Bool
prop_composition f g x = ((apply f) . (apply g)) x == (apply f) ((apply g) x)
关于haskell - 显示 QuickCheck 属性中使用的函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5208621/
我正在处理 Real WorldHaskell其中一个 第4章的练习是实现一个foldr基于版本的concat .我认为这将是一个很好的测试候选者 QuickCheck 因为有一个现有的实现来验证我的
我要延期 QuickCheck在测试失败时给我更好的信息(而不仅仅是种子)。例如,我希望能够按照以下方式创建内容: eqTest :: Eq a => a -> a -> TestResult eqT
有没有人确切地知道如何使用 QuickCheck 在 Haskell 中定义生成器,以便仅选择一次所选元素? 我已经意识到我可能需要一个“Gen(Maybe Positive)”生成器,但这当然会产生
我有以下要使用快速检查测试的属性: prop_zip xs ys = length xs == length ys ==> unzip (zip xs ys) == (xs,ys) 尽管根据
我有一个具有以下类型签名的函数 rndListIndex :: Double -> Double -> Double -> Double rndListIndex maxIdx r1 r2 = … 第
鉴于以下情况: test :: (Int -> Int) -> Int -> Bool test _ _ = True 编译源码后,我尝试运行quickCheck test : > quickChec
为什么没有QuickCheck功能类似于 hedgehog的 success ?特别是我想知道如何翻译如下属性: prop_specialPair :: Property prop_specialPa
我有一个如下所示的 QuickCheck 属性: prop42 :: Foo -> Bool prop42 foo = fn1 foo == fn2 foo 如果此属性失败,它将打印出 foo曾是。但
所以我有这个 quickCheck 命题逻辑生成器: instance Arbitrary Form where arbitrary = genForm genForm = sized genF
背景 为了好玩,我正在尝试编写一个用于快速检查的属性,以测试 cryptography with RSA 背后的基本思想。 . 选择两个不同的素数,p和 q . 让 N = p*q e是某个数字rel
我有一组对字符串进行编码/解码的简单演示程序,并希望为它们生成一些 quickCheck 测试,但将测试限制为仅可打印的字符串。由于生成和拒绝的测试用例太多,使用 guard 太慢并且失败,所以我想为
我有两个生成器,gen_n 和 gen_arr: gen_n :: Gen Int gen_n = suchThat arbitrary (\i -> i >= 0 && i i >= 0 && i
我面临着为生成器编写收缩函数的问题,该函数取决于另一个生成器输出的值。基本上是以下形式的生成器: do a Gen b g :: a -> b -> c 。为了便于论证,假设 g = (,) 。
我有一个数据类型定义: data Point = Point {x :: Int, h :: Int} | EmptyPoint 在我的属性测试中,我想将测试限制为仅针对 Point 构造函数案例。例
propertyForStringsFromMyCharPool :: String -> Bool -- implementation main = T.quickCheck propertyFor
我有一个类型类 Atomic,它定义了将某些类型与包装器值 (Atom) 相互转换的函数。我想定义一个 QuickCheck 属性,它声明:“对于 Atomic 的所有实例,可以安全地存储和检索任何值
tl;dr:如果您的数据类型允许太多嵌套,您如何编写不会爆炸的 Arbitrary 实例?您如何保证这些实例产生您的数据结构的真正随机样本? 我想生成随机树结构,然后在用我的库代码破坏这些结构后测试它
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题吗? 更新问题,以便 editing this post 提供事实和引用来回答它. 关闭 7 年前。 Improve
我正在尝试为身份编写一个 QuickCheck 测试 f $ y = f y 我最初的计划是编写一个返回函数和整数的任意生成器,签名为 Gen (Int -> Int, Int) 并且在 prop_D
我正在使用 Test.QuickCheck 生成随机数独谜题。 data Sudoku = Sudoku { getSudoku :: [[Maybe Int]] } deriving (Show,
我是一名优秀的程序员,十分优秀!