More types

This commit is contained in:
Craig Everett 2017-11-29 16:08:36 +09:00
parent eeac89c4c9
commit 71661e2027

11
zx
View File

@ -1834,6 +1834,12 @@ fetch(Socket, PackageID) ->
log(info, "Fetched ~ts", [package_string(LatestID)]). log(info, "Fetched ~ts", [package_string(LatestID)]).
-spec request_zrp(Socket, PackageID) -> Result
when Socket :: gen_tcp:socket(),
PackageID :: package_id(),
Result :: {ok, Latest :: package_id()}
| {error, Reason :: timeout | term()}.
request_zrp(Socket, PackageID) -> request_zrp(Socket, PackageID) ->
ok = send(Socket, {fetch, PackageID}), ok = send(Socket, {fetch, PackageID}),
receive receive
@ -1852,6 +1858,11 @@ request_zrp(Socket, PackageID) ->
end. end.
-spec receive_zrp(Socket, PackageID) -> Result
when Socket :: gen_tcp:socket(),
PackageID :: package_id(),
Result :: ok | {error, timeout}.
receive_zrp(Socket, PackageID) -> receive_zrp(Socket, PackageID) ->
receive receive
{tcp, Socket, Bin} -> {tcp, Socket, Bin} ->