Как получить образец генератора?

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] 

Это будет генерировать булочку ch образцов, и я беру первый.