f# - FSCheck生成特定大小的列表

Question

可能是一个愚蠢的问题，但是如何为FSCheck生成特定大小的列表？

我可以限制使用：

let fn_of_2_check xs = (xs.Length=2) ==> fn_of_2 xs

但是，显然，这将丢弃大量列表。

在这里， fn_of_2仅对长度为 2的列表进行一些测试，并返回 true或 false。

Answer 1

一个简单的解决方案是编写一个接受两个输入并根据它们构建一个包含两个元素的列表的测试：

let fn_of_2_check x y = fn_of_2 [x; y]

但是，如果仅测试包含两个元素的列表的函数，则该函数可能应该使用包含两个元素的元组作为输入。或者，您可以编写一个测试来验证两元素列表的某些行为以及其他长度列表的其他行为。

（但是，如果您要专门检查两个元素的列表的行为，那么上面的方法应该起作用。）