ErlangのPropErでは、ジェネレータのサンプルを取得する方法は？

Question

私はプロパティベースのテストを書くのにPropErを使用しています。 ジェネレータがどのような種類のデータを生成するかは、どのように確認できますか？

のは、私は、次の発電機を持っているとしましょう：

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

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

私はそれが生成するデータの種類を検討したいと思い、すなわちのようなもの：

で同じ質問については

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

---

Triq、look here。

Answer 1

関連する機能はproper_gen:pick/1です。タプル{ok, V}を返します。

$ 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']}