如何在 Haskell 中使用 SmallCheck?
我正在尝试使用 SmallCheck 来测试 Haskell 程序，但我不明白如何使用库来测试我自己的数据类型.显然，我需要使用 Test.SmallCheck.Series.但是，我发现它的文档非常混乱.我对食谱风格的解决方案和逻辑(单子?)结构的可理解解释都感兴趣.以下是我的一些问题(所有相关问题): 如果我有一个数据类型 data Person = SnowWhite |Dwarf I
..
smallcheck相关内容
为什么 smallCheck 的 `Series` 类在构造函数中有两种类型?
这个问题与我关于 smallCheck 的其他问题有关 的 Test.SmallCheck.Series 类.当我尝试以下列自然方式定义 Serial 类的实例时(@tel 对上述问题的回答向我建议)，出现编译器错误: data Person = SnowWhite |矮人智力实例序列人在哪里... 事实证明 Serial 想要有两个参数.这反过来又需要一些编译器标志.以下工作: {-# L
..
SmallCheck:使类型为Serial的类型实例
我试图弄清楚如何结合使用基于smallcheck属性的测试库和好吃的东西. 我遇到了多字段记录类型的问题:如何创建一个记录类型，该记录类型的Serial类型类的成员不超过4个字段? 我认为这是正常的做法: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-} import Test.Tasty import Test
..
一个人应该在小检查中控制`Depth`参数？
我正在做一些关于 smallcheck 的实际工作，我对如何使用 Depth code>参数。在讨论这个问题之前，让我说明我正在使用 smallcheck 。 在工作中，在我们自己的内部数据库之前重新构建一个简单的Web服务。 Web服务执行一些查询，并将查询结果序列化为JSON。我目前的工作是确保：给定一个表示查询结果的对象，该对象产生预期的JSON。例如： data action
..
SmallCheck生成满足不变量的数据
我想用SmallCheck来测试我的代码。我设法生成了任意的int对列表，但这不是我的类型应该包含的。该列表表示一组范围，其中 [1,3]，[4,6）将被编码/存储为 [（1,3 ），（4,6）] 。 这些是我范围规格化形式的不变量： fst a
..
为什么smallCheck的`Series`类在构造函数中两种类型？
此问题是关系到我的等问题了解 smallCheck Test.SmallCheck.Series 类。当我尝试定义类的一个实例串口在下面自然的方式（通过@tel由一个答案向我建议对上述问题），我得到编译器错误： 数据的人=雪白|矮人诠释 例如串行人在哪里？ 原来，串口希望有两个参数。这反过来，就必须有的一个编译器标志。以下工作： { - ＃语言FlexibleInstances，Mul
..
哈斯克尔/ SmallCheck：如何控制`Depth`参数？
我有一个简单的数据结构smallcheck进行测试。 { - ＃语言FlexibleInstances，MultiParamTypeClasses＃ - } { - ＃语言DeriveGeneric＃ - }进口Test.Tasty 进口Test.Tasty.SmallCheck 进口Test.SmallCheck.Series 进口GHC.Generics数据T1 = T1 {P1 ::诠释
..
如何使用SmallCheck在Haskell？
我试图使用 SmallCheck 测试一个Haskell程序，但我不知道如何使用该库来测试我自己数据类型。很显然，我需要使用Test.SmallCheck.Series.不过，我觉得它的文档极其混乱。我感兴趣的是两个食谱式的解决方案和逻辑（一元？）结构的理解解释。这里有一些问题我已经（所有相关的）： 如果我有一个数据类型数据的人=雪白|矮人整数，我怎么向 smallCheck 的有效值为解释
..