ジェネレータのサンプルを取得するには？

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

[OK]を、私は、私がそれを考え出しましたsample関数を呼び出すだけでいいです：

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

これはパンを生成します私は最初のものを取る。