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 listOfLength n = Gen.listOfLength n Arb.generate |> Arb.fromGen
Check.Quick (Prop.forAll (listOfLength 2) fn_of_2)