I'm using Triq to write my property based test. How can I see what kind of data my generator produces?
Let's say I have the following generator:
-module (my).
-include_lib("triq/include/triq.hrl").
-export([valid_type_gen/1]).
valid_type_gen() -> non_empty(list(any())).
I would like to examine what kind of data it generates, i.e. something like:
$ rebar3 shell
1> my:valid_type_gen().sample() %???
[1,b,"blah"]
Ok, I figured it out, I just need to call the sample function:
That will generate a bunch of samples, and I take the first one.