diff options
| author | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2017-05-08 12:59:28 +0300 |
|---|---|---|
| committer | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2017-05-08 12:59:28 +0300 |
| commit | 01a2c9fe1202f88f20a5acbc729b627ce0ac3c0a (patch) | |
| tree | 4aba0e94650d1311ab5b2da0e74563b1bd02a876 /src/ejabberd_redis_sup.erl | |
| parent | LOG_PATH macro should be of string type (diff) | |
Add type specs for Module:opt_type/1
Diffstat (limited to 'src/ejabberd_redis_sup.erl')
| -rw-r--r-- | src/ejabberd_redis_sup.erl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ejabberd_redis_sup.erl b/src/ejabberd_redis_sup.erl index 85cfd7abb..ff1cc0e12 100644 --- a/src/ejabberd_redis_sup.erl +++ b/src/ejabberd_redis_sup.erl @@ -133,6 +133,14 @@ get_pool_size() -> iolist_to_list(IOList) -> binary_to_list(iolist_to_binary(IOList)). +-spec opt_type(redis_connect_timeout) -> fun((pos_integer()) -> pos_integer()); + (redis_db) -> fun((non_neg_integer()) -> non_neg_integer()); + (redis_password) -> fun((binary()) -> binary()); + (redis_port) -> fun((0..65535) -> 0..65535); + (redis_server) -> fun((binary()) -> binary()); + (redis_pool_size) -> fun((pos_integer()) -> pos_integer()); + (redis_queue_type) -> fun((ram | file) -> ram | file); + (atom()) -> [atom()]. opt_type(redis_connect_timeout) -> fun (I) when is_integer(I), I > 0 -> I end; opt_type(redis_db) -> |