java - 快速理论 : Way to create generator from a list

Question

使用 java 库 QuickTheories，是否有内置方法可以从值列表创建生成器？

类似于:

public Gen<A> fromList(List<A> xs) {
    ....
}

自己动手并不算太糟糕，但似乎是重新发明轮子:

List<TimeZone> timeZones = Arrays.stream(TimeZone.getAvailableIDs()).map(id -> TimeZone.getTimeZone(id));
return integers().allPositive().map(i -> timeZones.get(i % timeZones.size());

Answer 1

pick看起来正是您所需要的。

来自javadoc:

public <T> Gen<T> pick(java.util.List<T> ts)

通过从提供的值中随机选取一个值来生成一个值。缩小时，列表中较早的值将被视为“较小”。