Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
monadicIO 的工作原理
我有以下代码 fastShuffle a gt IO a fastShuffle a
Haskell
quickcheck
iomonad
如何测试自定义 StateT 的 Monad 实例?
我正在学习 Monad Transformers 其中一个练习要求实现 Monad 实例StateT 我想使用以下方法测试我的实现是否符合 Monad 法则validity https github com NorfairKing vali
Haskell
monads
monadtransformers
quickcheck
statemonad
QuickCheck是否可以生成任意函数
我试图为身份编写一个 QuickCheck 测试 f y f y 我最初的计划是编写一个返回函数和整数的任意生成器 具有签名Gen Int gt Int Int 并在prop DollerDoesNothing使用 不使用测试该功能应用程序
Haskell
quickcheck
你在实际项目中使用过Quickcheck吗[关闭]
Closed 这个问题是基于意见的 help closed questions 目前不接受答案 快速检查 http www cs chalmers se rjmh QuickCheck 及其变体 即使有一个Java https bitbuc
Java
Haskell
Testing
quickcheck
在 Windows 上找不到模块“Test.QuickCheck”
我的ghci版本是8 4 3 I tried stack install QuickCheck 安装了一些东西 但是当我输入import Test QuickCheck 它说Could not find module Test QuickC
Haskell
quickcheck
在 OS X Yosemite 10.10 上安装 QuickCheck for GHC 7.8.3 时出现 Clang 错误 (14A389)
安装时QuickCheck对于 OS X Yosemite 10 10 14A389 系统上的 Haskell GHC 7 8 3 该系统在带有 Xcode 6 1 6A1052d 的 Mac Pro 2013 上运行 我遇到以下 clan
Haskell
Clang
cabal
osxyosemite
quickcheck
用于生成用于快速检查的无偏图的任意实例
module Main where import Test QuickCheck import Data Set as Set data Edge v Edge source v target v deriving Show Eq Ord
Haskell
Testing
Graph
geometry
quickcheck
QuickCheck 2 有什么新功能?
QuickCheck 1 和 QuickCheck 2 之间的主要区别是什么 通过查看 Haddock 文档 我可以看到它分为更多模块 coarbitrary已被新的取代Fun类型和FunArbitrary类 这对我来说似乎更容易理解 并且
Haskell
quickcheck
使用 QuickCheck 测试一元法则
是否有用于测试的库或工具laws https wiki haskell org Monad laws自定义 monad 的 我目前的黑客尝试是这样的 Define Arbitrary1 如同Eq1 Show1 etc 定义一个包装的辅助类型
Haskell
Testing
monads
quickcheck
QuickCheck 实例属于 cabal 包中的什么位置?
我有一个阴谋集团包 https github com acfoltzer nbt导出一个类型NBT https github com acfoltzer nbt blob master src Data NBT hs这可能对其他开发人员有用
Haskell
cabal
quickcheck
如何在 Quickcheck 中使用修饰符(在我的例子中是积极的)
我有一个功能 rev 它返回属于三个类型类的类型的一些值 rev Integral a Show a Read a gt a gt a rev read reverse show 我想用快速检查来测试它的一些属性 不过 我对测试 Integ
Haskell
quickcheck
如何在 QuickCheck (Haskell) 中使用“oneof”
我正在尝试编写一个更改数独的道具 然后检查它是否仍然有效 但是 我不确定如何正确使用 oneof 函数 您能给我一些提示吗 prop candidates Sudoku gt Bool prop candidates su isSudoku
Haskell
functionalprogramming
ghci
quickcheck
QuickCheck 如何测试每个样品的所有属性
而不是为每个属性生成 100 个新的随机样本 我的测试套件包含此处解释的 TemplateHaskell hack 1 测试所有名为 prop 的函数 运行测试程序打印 prop foo from tests lala lhs 20 OK
Haskell
templatehaskell
quickcheck
从 QuickCheck1 转换为 QuickCheck2 的“食谱”?
是否有可用于从 QuickCheck1 转换为 QuickCheck2 的食谱 作为一些例子 defaultConfig 取而代之Args https stackoverflow com questions 8116262 how to g
Haskell
quickcheck
如何使用 QuickCheck 为 StateT 编写测试
StateT 处于Control Monad Trans State Lazy 里面的函数和m变得更善良使得事情变得困难 LANGUAGE FlexibleContexts import Test QuickCheck newtype St
Haskell
quickcheck
如何使用检查器测试此应用实例? (没有 CoArbitrary 实例(验证 e0 [Char]))
Checkers是一个可重用 QuickCheck 属性的库 特别是 标准类型类 如何编写一个检查器实例来测试我的验证应用实例是否有效 import Test QuickCheck import Test QuickCheck Checke
Haskell
quickcheck
QuickCheck的促销功能的一般情况是怎样的?
结构类似于 QuickCheck 的函子的总称是什么promote函数 即以下形式的函数 promote a gt f b gt f a gt b 这是flip fmap flip f a gt b gt a gt f b 除了 gt r
Haskell
functionalprogramming
functor
quickcheck
categorytheory
Haskell QuickCheck2 使用 ByteString?
RWH 书籍说要获得 ByteString 支持 我需要添加 instance Arbitrary B ByteString where arbitrary fmap B pack arbitrary coarbitrary coarbit
Haskell
quickcheck
QuickCheckAll 始终返回“True”
我正在尝试使用 QuickCheck 以下另一个答案 我这样测试 LANGUAGE TemplateHaskell import Test QuickCheck import Test QuickCheck All last a gt a
unittesting
Haskell
quickcheck
快速检查失败时的退出状态以及阴谋集团整合
我试图了解如何将一些快速检查测试与 cabal 集成 这gist建议quickCheck函数在失败时返回非零状态 但我没有得到这种行为 所以使用 cabalexitcode stdio 1 0测试套件类型似乎不适合我 除非我想打电话erro
Haskell
cabal
quickcheck
1
2
»