TypeCheck.DefaultOverrides.URI (TypeCheck v0.8.2) View Source

Link to this section Summary

Types

port_number()

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

t()

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

Link to this section Types

port_number()

Specs

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}

t()

Specs

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()
}