@type port_number() :: %Range{first: 0, last: 65535, step: 1}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

port_number() :: %{__struct__: Range, first: 0, last: 65535, step: 1}

@type t() :: %URI{
  authority: nil | binary(),
  fragment: nil | binary(),
  host: nil | binary(),
  path: nil | binary(),
  port: nil | port_number(),
  query: nil | binary(),
  scheme: nil | binary(),
  userinfo: nil | binary()
}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t() :: %URI{
  authority: nil | binary(),
  fragment: nil | binary(),
  host: nil | binary(),
  path: nil | binary(),
  port: nil | port_number(),
  query: nil | binary(),
  scheme: nil | binary(),
  userinfo: nil | binary()
}