Improve existing specs

arizona-framework · Jun 30, 2024 · 8d17c93 · 8d17c93
1 parent f762bae
commit 8d17c93
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/arizona_example_app.erl b/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.
diff --git a/src/arizona_example_sup.erl b/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,