小编use*_*806的帖子

将转换仅应用于树而不是everywhere使用SYB 的最佳方法是什么？例如,在下面的简化表达式中,有几个实例Var "x",我想只用第一个实例替换Var "y".

data Exp = Var String | Val Int | Plus Exp Exp |...

myExp = Val 5 `Plus` Var "x" `Plus` Val 5 `Plus` Var "x" ...

Var "x"

这不能用做Var "y"组合子,因为它会尝试改变的所有实例somewhere来everywhere.

编辑(发布后):看起来就像Var "x"我在寻找.

每次运行"quickCheck prop_xyz"时,都会使用一个新的随机种子.如何强制QuickCheck始终使用相同的随机种子？

谢谢!