Current section

Files

Jump to
ra src eqwalizer_specs.erl
Raw

src/eqwalizer_specs.erl

-module(eqwalizer_specs). -compile(warn_missing_spec).
% elp:ignore W0054 (no_nowarn_suppressions)
-compile([export_all, nowarn_export_all]).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erpc:call'/4}).
-spec 'erpc:call'(node(), module(), atom(), [term()]) -> dynamic().
'erpc:call'(_, _, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:foldl'/3}).
-spec 'lists:foldl'(fun((T, Acc) -> Acc), Acc, [T]) -> Acc.
'lists:foldl'(_, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:foldr'/3}).
-spec 'lists:foldr'(fun((T, Acc) -> Acc), Acc, [T]) -> Acc.
'lists:foldr'(_, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:nth'/2}).
-spec 'lists:nth'(pos_integer(), [T]) -> T.
'lists:nth'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:unzip'/1}).
-spec 'lists:unzip'([{A, B}]) -> {[A], [B]}.
'lists:unzip'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:max'/1}).
-spec 'lists:max'([T]) -> T.
'lists:max'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:append'/1}).
-spec 'lists:append'([[T]]) -> [T].
'lists:append'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:last'/1}).
-spec 'lists:last'([T]) -> T.
'lists:last'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:sort'/1}).
-spec 'lists:sort'([T]) -> [T].
'lists:sort'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:usort'/1}).
-spec 'lists:usort'([T]) -> [T].
'lists:usort'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:delete'/2}).
-spec 'lists:delete'(T, [T]) -> [T].
'lists:delete'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:sort'/2}).
-spec 'lists:sort'(fun((T, T) -> boolean()), [T]) -> [T].
'lists:sort'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:splitwith'/2}).
-spec 'lists:splitwith'(fun((T) -> boolean()), [T]) -> {[T], [T]}.
'lists:splitwith'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:foreach'/2}).
-spec 'lists:foreach'(fun((T) -> term()), [T]) -> ok.
'lists:foreach'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:reverse'/1}).
-spec 'lists:reverse'([T]) -> [T].
'lists:reverse'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'lists:reverse'/2}).
-spec 'lists:reverse'([T], [T]) -> [T].
'lists:reverse'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:hd'/1}).
-spec 'erlang:hd'([A, ...]) -> A.
'erlang:hd'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:max'/2}).
-spec 'erlang:max'(A, B) -> A | B.
'erlang:max'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:min'/2}).
-spec 'erlang:min'(A, B) -> A | B.
'erlang:min'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:system_time'/0}).
-spec 'erlang:system_time'() -> integer().
'erlang:system_time'() -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:system_time'/1}).
-spec 'erlang:system_time'(erlang:time_unit()) -> integer().
'erlang:system_time'(_) -> error(eqwalizer_specs).
%% -------- gen_statem --------
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_statem:call'/2}).
-spec 'gen_statem:call'(gen_statem:server_ref(), term()) -> dynamic().
'gen_statem:call'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_statem:call'/3}).
-spec 'gen_statem:call'(gen_statem:server_ref(), term(), Timeout) -> dynamic() when
Timeout :: timeout() | {clean_timeout, timeout()} | {dirty_timeout, timeout()}.
'gen_statem:call'(_, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_statem:receive_response'/2}).
-spec 'gen_statem:receive_response'(gen_statem:request_id(), Timeout) ->
dynamic() when
Timeout :: timeout() |
{clean_timeout, timeout()} |
{dirty_timeout, timeout()}.
'gen_statem:receive_response'(_, _) -> error(eqwalizer_specs).
%% -------- application --------
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_all_env'/1}).
-spec 'application:get_all_env'(App :: atom()) -> [{atom(), dynamic()}].
'application:get_all_env'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_env'/1}).
-spec 'application:get_env'(Param :: atom()) -> undefined | {ok, dynamic()}.
'application:get_env'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_env'/2}).
-spec 'application:get_env'(App :: atom(), Param :: atom()) ->
undefined | {ok, dynamic()}.
'application:get_env'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_env'/3}).
-spec 'application:get_env'(App :: atom(), Param :: atom(), Default :: term()) ->
dynamic().
'application:get_env'(_, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_key'/1}).
-spec 'application:get_key'(Key :: atom()) -> undefined | {ok, dynamic()}.
'application:get_key'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'application:get_key'/2}).
-spec 'application:get_key'(App :: atom(), Key :: atom()) -> undefined | {ok, dynamic()}.
'application:get_key'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'erlang:binary_to_term'/1}).
-spec 'erlang:binary_to_term'(binary()) -> dynamic().
'erlang:binary_to_term'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'ets:info'/2}).
-spec 'ets:info'
(ets:table(), compressed | decentralized_counters | fixed | named_table | read_concurrency | write_concurrency) ->
boolean();
(ets:table(), binary) -> list();
(ets:table(), heir) -> pid() | none;
(ets:table(), id) -> ets:tid();
(ets:table(), keypos | memory | size) -> non_neg_integer();
(ets:table(), name) -> atom();
(ets:table(), node) -> node();
(ets:table(), owner) -> pid();
(ets:table(), safe_fixed | safe_fixed_monotonic_time) -> tuple() | false;
(ets:table(), stats) -> tuple();
(ets:table(), protection) -> ets:table_access();
(ets:table(), type) -> ets:table_type().
'ets:info'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'ets:select'/1}).
-spec 'ets:select'(EtsContinuation) ->
{[dynamic()], EtsContinuation} | '$end_of_table'
when
EtsContinuation :: dynamic().
'ets:select'(_) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'ets:select'/2}).
-spec 'ets:select'(ets:table(), ets:match_spec()) -> [dynamic()].
'ets:select'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'dets:select'/2}).
-spec 'dets:select'(dets:tab_name(), ets:match_spec()) -> [dynamic()].
'dets:select'(_, _) -> error(eqwalizer_specs).
%% -------- gen__batch_server --------
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_batch_server:call'/2}).
-spec 'gen_batch_server:call'(gen_batch_server:server_ref(), term()) -> dynamic().
'gen_batch_server:call'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_batch_server:call'/3}).
-spec 'gen_batch_server:call'(gen_batch_server:server_ref(), term(), timeout()) -> dynamic().
'gen_batch_server:call'(_, _, _) -> error(eqwalizer_specs).
%% -------- gen_server --------
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_server:call'/2}).
-spec 'gen_server:call'(gen_server:server_ref(), term()) -> dynamic().
'gen_server:call'(_, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'gen_server:call'/3}).
-spec 'gen_server:call'(gen_server:server_ref(), term(), timeout()) -> dynamic().
'gen_server:call'(_, _, _) -> error(eqwalizer_specs).
% elp:ignore W0048 (no_dialyzer_attribute)
-dialyzer({nowarn_function, 'persistent_term:get'/2}).
-spec 'persistent_term:get'(dynamic(), dynamic()) -> dynamic().
'persistent_term:get'(_, _) -> error(eqwalizer_specs).