Wie bekomme ich eine Probe eines Generators?

Question

Ich benutze Triq, um meinen eigenschaftsbasierten Test zu schreiben. Wie kann ich sehen, welche Art von Daten mein Generator produziert?

Lassen Sie uns sagen, ich habe die folgende Generator:

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

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

Ich möchte untersuchen, welche Art von Daten es erzeugt, also so etwas wie:

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

Answer 1

Ok, ich es herausgefunden, ich nur müssen die sample Funktion aufzurufen:

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

das wird erzeugen ein Brötchen ch von Proben, und ich nehme die erste.