erlang - 如何获取生成器的样本？

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

好的，我想通了，我只需要调用示例函数：

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

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