diff options
| author | Sölvi Páll Ásgeirsson <[email protected]> | 2018-12-13 13:46:27 +0000 |
|---|---|---|
| committer | Sölvi Páll Ásgeirsson <[email protected]> | 2018-12-13 14:07:30 +0000 |
| commit | f87e53dfd230bdac66cbbc756cb92c2f0957c465 (patch) | |
| tree | 631bee8b89597fdcb161d539f0f976c47e0cfedf /lib/stdlib/doc/src/gen_statem.xml | |
| parent | 56f93ad10f89e6b8d3372e45127ec9fdc3fca35b (diff) | |
| download | otp-f87e53dfd230bdac66cbbc756cb92c2f0957c465.tar.gz otp-f87e53dfd230bdac66cbbc756cb92c2f0957c465.tar.bz2 otp-f87e53dfd230bdac66cbbc756cb92c2f0957c465.zip | |
gen_statem exports types related to starting & naming
Currently, a user of gen_statem cannot use gen_statem types
related to naming & starting in their behaviour implementations
As an example, we cannot do:
-spec start_link(Options) -> gen_statem:start_ret() when
Options :: some_complex_thing().
start_link(Options) ->
gen_statem:start_link(?MODULE, [Opts], []).
As dialyzer, if configured to complain about unknown types, will
warn that the type gen_statem:start_ret() is unknown.
Likewise, for the same reason, we cannot do:
-spec do_call_to_gen_statem(ServerRef) -> Reply when
ServerRef :: gen_statem:server_ref(),
Reply :: term().
do_call_to_gen_statem(ServerRef) ->
gen_statem:call(ServerRef, do_thing).
This fixes that by exporting the appropriate types
Diffstat (limited to 'lib/stdlib/doc/src/gen_statem.xml')
0 files changed, 0 insertions, 0 deletions