如何获得发电机的样本？

Question

我正在使用Triq来编写基于属性的测试。如何查看生成器生成的数据类型？

假设我有以下生成器：

-module (my).
-include_lib("triq/include/triq.hrl").
-export([valid_type_gen/1]).

valid_type_gen() -> non_empty(list(any())).

我想检查一下它生成的数据类型，例如：

$ rebar3 shell
1> my:valid_type_gen().sample() %???
[1,b,"blah"]

Answer 1

好了，我想通了，我只需要调用sample函数：

1> hd(triq_dom:sample(my:valid_type_gen())).
[8,4,3,7,6,8,11,7,5,7]

这将生成一堆样本，我取第一个样本。