clojure - 使用 test.check 生成排序数据

Question

我想使用 test.check 来生成表单的排序时间序列数据

[ [timestamp value] [timestamp value] ..]

其中时间戳，值对按时间戳升序排列。

我可以轻松地以随机顺序生成此类数据

(gen/tuple timestamp gen/int)timestamp例如在哪里(gen/choose 1412664660 1423419720)

我应该如何生成排序数据？

Answer 1

所以刷牙的时候突然出现了。。

当我问这个问题时，我在想我想要生成的数据“级别太低了”。

(gen/tuple timestamp gen/int)生成单个元组，我对它们的尝试(gen/fmap sort .. )没有奏效，因为它只是对元组的内容进行了排序。我需要生成的是那些元组的向量..fmap sort当然还有那些：

(def entry (gen/tuple timestamp gen/int))
(def timeseries (gen/fmap sort (gen/vector entry)))