This commit is contained in:
Craig Everett 2018-05-07 14:40:22 +09:00
parent 2e9df29149
commit 72062f80d4

View File

@ -28,7 +28,7 @@
identifier/0, identifier/0,
option/0, option/0,
host/0, host/0,
key_id/0, key_name/0, key_id/0, key_name/0, key_data/0,
user/0, username/0, lower0_9/0, label/0, user/0, username/0, lower0_9/0, label/0,
package_meta/0]). package_meta/0]).
@ -51,8 +51,12 @@
-type host() :: {string() | inet:ip_address(), inet:port_number()}. -type host() :: {string() | inet:ip_address(), inet:port_number()}.
-type key_id() :: {realm(), key_name()}. -type key_id() :: {realm(), key_name()}.
-type key_name() :: lower0_9(). -type key_name() :: lower0_9().
-type user() :: {realm(), username()}. -type key_data() :: {key_id(), public | private, binary()}.
-type username() :: label(). -type user_id() :: {realm(), user_name()}.
-type user_name() :: label().
-type user_data() :: {ID :: user_id(),
RealName :: string(),
Email :: string()}.
-type lower0_9() :: [$a..$z | $0..$9 | $_]. -type lower0_9() :: [$a..$z | $0..$9 | $_].
-type label() :: [$a..$z | $0..$9 | $_ | $- | $.]. -type label() :: [$a..$z | $0..$9 | $_ | $- | $.].
-type package_meta() :: #{package_id := package_id(), -type package_meta() :: #{package_id := package_id(),