Erlang 如何获得发电机的样品？

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

假设我有以下生成器：

-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"]

---

好的，我知道了，我只需要调用函数：

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

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