Packages

fqc

0.1.5
0.1.7 0.1.6 0.1.5

FiFo EQC helper

Current section

Files

Jump to
Readme
3 Versions
0 Dependencies
Dependants
Files
Activity
fqc src fqc.erl
Raw

src/fqc.erl 

-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.