Erlang'ın PropEr'sinde, bir jeneratör örneğini nasıl alırsınız?

Question

Özellik tabanlı testimi yazmak için PropEr kullanıyorum. Jeneratörümün hangi veriyi ürettiğini nasıl görebilirim?

en Aşağıdakilerin jeneratör var diyelim: Aynı soru için

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

---

:

-module(my). 
-include_lib("proper/include/proper.hrl"). 
-export([valid_type_gen/0]). 

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

ı incelemek istiyorum yani bir şey gibi oluşturduğu verilerin ne tür Triq, here'a bakın.

Answer 1

İlgili işlev proper_gen:pick/1'dur. Bir tuple {ok, V} döndürür.

$ erl 
1> proper_gen:pick(my:valid_type_gen()). 
{ok,[{{},<<>>,2}, 
    [{},11.690292064109402, 
     {{}}, 
     {},18.096053885231132,u,')[\2064Wue¢±'], 
    [{},-5.041761022794527,-13, 
     {[],-0.9553811124968509}, 
     -5,'õ\232zc}:Ì'], 
    <<47,5,113,69,86,216,20,142,173,57:6>>, 
    '', 
    {2.710196163900066,0.47155396154628,{},[], 
     {[]}, 
     8.42398680461108}, 
    {[[25, 
     [-10.073999184421432,5.734631070941083, 
     {'æ\2367Ò§ü\233"',[30.925337851024143]}]], 
     '']}, 
    '\031Þ\037\'\v','\214b\236']}