代码之家 › 专栏 › 技术社区 › Paul Kuliniewicz

有没有快速检查Happstack.State方法的好方法?

happstack quickcheck haskell

Paul Kuliniewicz · 技术社区 · 14 年前

唯一能评估 Ev 单子计算在 IO 蒙纳德via query 或 update .
没有办法创建一个纯粹的内存MACID存储; this is by design . 因此,在 木卫一 monad意味着每次测试后都有临时文件需要清理。
除了使用 initialValue 为了国家;它不能通过 Arbitrary
解决上述所有问题意味着编写只使用 MonadReader 或 MonadState (并在内部运行测试 Reader 或 State . 这意味着放弃使用 getRandom getEventClockTime

我能看到的唯一选择是:

有没有更好的解决方案,我忽略了?

2 回复 | 直到 14 年前

stepcut 14 年前

您可以签出happstack state中包含的quickcheck属性:

这对initialValue问题没有帮助,但它确实使选项1变得更容易,因为您不必进行任何磁盘清理。

要替换initialValue,您需要创建自己的方法来替换当前状态。

比如:

newState :: YourState -> Update YourState ()
newState st = put st

Antoine Latter 14 年前

如果将函数编写为MonadState上的多态(或用于查询的MonadReader),那么使用runState/runReader设置测试工具就容易多了。

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前