-module(fqc).


-ifdef(HAS_EQC).

-include_lib("eqc/include/eqc.hrl").

-export([not_empty/1, maybe_oneof/2, non_blank_string/0, lower_char/0,
         pos_integer/0, non_neg_integer/0, growl/1]).

not_empty(G) ->
    ?SUCHTHAT(X, G, X /= [] andalso X /= <<>>).

non_blank_string() ->
    non_empty(?LET(X,list(lower_char()), list_to_binary(X))).

%% Generate a lower 7-bit ACSII character that should not cause any problems
%% with utf8 conversion.
lower_char() ->
    %%choose(16#20, 16#7f).
    choose($a, $z).

maybe_oneof(L, T) ->
    ?LET(E, ?SUCHTHAT(E, T, not lists:member(E, L)), oneof([E | L])).

pos_integer() ->
    ?SUCHTHAT(X, int(), X >= 0).

non_neg_integer() ->
    ?SUCHTHAT(X, int(), X > 0).

growl(Msg) ->
    os:cmd(["growlnotify -n eqc -m '", Msg, "'"]).

-endif.