Feature better -spec(_).s (#19)

elvis.config

@@ -2,7 +2,8 @@
   [{config,
     [#{dirs => ["src"],
        filter => "*.erl",
-       ruleset => erl_files},
+       ruleset => erl_files_strict,
+       rules => [{elvis_style, no_macros, #{allow => ['ARIZONA_LIVEVIEW']}}]},
      #{dirs => ["."],
        filter => "rebar.config",
        ruleset => rebar_config,

src/arizona_example_app.erl

@@ -5,14 +5,14 @@
 -export([stop/1]).
 
 -spec start(StartType, StartArgs) -> Started
-    when StartType :: normal,
-         StartArgs :: [],
+    when StartType :: application:start_type(),
+         StartArgs :: term(),
          Started :: supervisor:startlink_ret().
 start(_StartType, _StartArgs) ->
     arizona_example_sup:start_link().
 
 -spec stop(State) -> Stopped
-    when State :: [],
+    when State :: term(),
          Stopped :: ok.
 stop(_State) ->
     ok.

src/arizona_example_sup.erl

@@ -10,11 +10,11 @@ start_link() ->
     supervisor:start_link({local, ?MODULE}, ?MODULE, []).
 
 -spec init(Args) -> Init
-    when Args :: [],
+    when Args :: term(),
          Init :: {ok, {SupFlags, [ChildSpec]}},
          SupFlags :: supervisor:sup_flags(),
          ChildSpec :: supervisor:child_spec().
-init([]) ->
+init(_Args) ->
     SupFlags = #{
         strategy => one_for_all,
         intensity => 0,